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