|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.deri.wsmo4j.validator.WsmlFullValidator
public class WsmlFullValidator
Checks an ontology for wsml-full validity.
Created on Jul 28, 2005 Committed by $Author: morcen $ $Source$,
Field Summary | |
---|---|
protected ConstantTransformer |
constants
|
protected List<org.wsmo.validator.ValidationError> |
errors
|
protected org.wsmo.factory.LogicalExpressionFactory |
leFactory
|
protected LogExprSerializerWSML |
leSerializer
|
protected List<org.wsmo.validator.ValidationWarning> |
warnings
|
Constructor Summary | |
---|---|
WsmlFullValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
|
Method Summary | |
---|---|
protected void |
addError(org.wsmo.common.Entity ent,
org.omwg.ontology.Attribute att,
String msg)
|
protected void |
addError(org.wsmo.common.Entity ent,
String msg)
|
protected void |
addWarning(org.wsmo.common.Entity ent,
String msg,
String quickFix)
|
Collection |
getErrors()
|
boolean |
isValid(org.omwg.logicalexpression.LogicalExpression logExpr,
List<org.wsmo.validator.ValidationError> errorMessages,
List<org.wsmo.validator.ValidationWarning> warningMessages)
|
boolean |
isValid(org.wsmo.common.TopEntity te,
List<org.wsmo.validator.ValidationError> errorMessages,
List<org.wsmo.validator.ValidationWarning> warningMessages)
Given an ontology as TopEntity, the method checks if the different ontology elements are valid and fills the error- and warningMessages lists with errors and warnings if not. |
protected void |
visitAxiom(org.omwg.ontology.Axiom axiom)
Checks if an axiom is valid to wsml-full. |
protected void |
visitConcept(org.omwg.ontology.Concept concept)
Checks if a concept is valid to wsml-full. |
protected void |
visitInstance(org.omwg.ontology.Instance instance)
Checks if an instance is valid to wsml-full. |
protected void |
visitRelation(org.omwg.ontology.Relation relation)
Checks if a relation is valid to wsml-full. |
protected void |
visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance)
Checks if a relation instance is valid to wsml-full. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected ConstantTransformer constants
protected List<org.wsmo.validator.ValidationError> errors
protected List<org.wsmo.validator.ValidationWarning> warnings
protected LogExprSerializerWSML leSerializer
protected org.wsmo.factory.LogicalExpressionFactory leFactory
Constructor Detail |
---|
public WsmlFullValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
Method Detail |
---|
protected void visitAxiom(org.omwg.ontology.Axiom axiom)
axiom
- protected void visitConcept(org.omwg.ontology.Concept concept)
concept
- protected void visitInstance(org.omwg.ontology.Instance instance)
instance
- protected void visitRelation(org.omwg.ontology.Relation relation)
relation
- protected void visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance) throws org.wsmo.common.exception.SynchronisationException, org.wsmo.common.exception.InvalidModelException
relationInstance
-
org.wsmo.common.exception.SynchronisationException
org.wsmo.common.exception.InvalidModelException
public Collection getErrors()
public boolean isValid(org.wsmo.common.TopEntity te, List<org.wsmo.validator.ValidationError> errorMessages, List<org.wsmo.validator.ValidationWarning> warningMessages)
isValid
in interface org.wsmo.validator.Validator
te
- TopEntity to be checkederrorMessages
- list that will be filled with error messages of found variant violations
Validator.isValid(org.wsmo.common.TopEntity, java.util.List,
java.util.List)
public boolean isValid(org.omwg.logicalexpression.LogicalExpression logExpr, List<org.wsmo.validator.ValidationError> errorMessages, List<org.wsmo.validator.ValidationWarning> warningMessages)
protected void addWarning(org.wsmo.common.Entity ent, String msg, String quickFix)
protected void addError(org.wsmo.common.Entity ent, String msg)
protected void addError(org.wsmo.common.Entity ent, org.omwg.ontology.Attribute att, String msg)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |