View Javadoc

1   /*
2    wsmo4j - a WSMO API and Reference Implementation
3    Copyright (c) 2005, University of Innsbruck, Austria
4    This library is free software; you can redistribute it and/or modify it under
5    the terms of the GNU Lesser General Public License as published by the Free
6    Software Foundation; either version 2.1 of the License, or (at your option)
7    any later version.
8    This library is distributed in the hope that it will be useful, but WITHOUT
9    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
10   FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more
11   details.
12   You should have received a copy of the GNU Lesser General Public License along
13   with this library; if not, write to the Free Software Foundation, Inc.,
14   59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
15   */
16  package org.wsmo.validator;
17  
18  
19  /**
20   * Gives Structure to a validation error.
21   *
22   * <pre>
23   *  Created on November 15, 2005
24   *  Committed by $Author: nathaliest $
25   *  $Source$,
26   * </pre>
27   *
28   * @author Holger Lausen
29   * @author nathalie.steinmetz@deri.org
30   * @version $Revision: 1814 $ $Date: 2006-08-22 19:24:09 +0300 (Tue, 22 Aug 2006) $
31   */
32  public interface ValidationError extends ValidationMessage{
33  
34      public static final String META_MODEL_ERR = "Meta Modelling Error:";
35      
36      public static final String CONC_ERR = "Concept Error";
37  
38      public static final String ANON_ID_ERR = "Error in use of anonymous identifiers";
39      
40      public static final String ATTR_ERR = "Attribute Error";
41      
42      public static final String ATTR_FEAT_ERR = "Attribute Feature Error";
43  
44      public static final String ATTR_CONS_ERR = "Attribute Constraint Error";
45  
46      public static final String ATTR_CARD_ERR = "Attribute Cardinality Error";
47  
48      public static final String REL_ARITY_ERR = "Relation Arity Error";
49  
50      public static final String REL_CONS_ERR = "Relation Constraint Error";
51  
52      public static final String REL_ERR = "Relation Error";
53      
54      public static final String REL_INST_ERR = "Relation Instance Error";
55  
56      public static final String AX_HEAD_ERR = "Axiom - Inadmissible Head formula";
57  
58      public static final String AX_BODY_ERR = "Axiom - Inadmissible Body formula";
59      
60      public static final String AX_FORMULA_ERR = "Axiom - Inadmissible formula";
61      
62      public static final String AX_LHS_ERR = "Axiom - Inadmissible left-hand side formula";
63  
64      public static final String AX_RHS_ERR = "Axiom - Inadmissible right-hand side formula";
65      
66      public static final String AX_ATOMIC_ERR = "Axiom - Inadmissible Atomic formula";
67      
68      public static final String AX_IMPL_BY_ERR = "Axiom - Inadmissible inverse implication formula";
69      
70      public static final String AX_IMP_ERR = "Axiom - Inadmissible implication formula";
71      
72      public static final String AX_EQUIV_ERR = "Axiom - Inadmissible equivalence formula";
73  
74      public static final String AX_SAFETY_COND = "Axiom - Safety condition doesn't hold for this logical expression";
75  
76      public static final String AX_GRAPH_ERR = "Axiom - Invalid Graph";
77      
78      public static final String ID_ERR = "Inadmissible Identifier";
79      
80      public static final String IMPORT_ERR = "Error at imported ontology";
81  
82      
83      /**
84       * Returns the String representation of URI representing the variant that the
85       *         error violates
86       * 
87       * @return a String 
88       */
89      public String getViolatesVariant();
90  
91  }
92  
93  /*
94   * $log: $
95   */