|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.deri.wsmo4j.validator.WsmlFullValidator org.deri.wsmo4j.validator.WsmlRuleValidator
public class WsmlRuleValidator
Checks an ontology for wsml-rule validity.
Created on Aug 18, 2005 Committed by $Author: morcen $ $Source$,
Field Summary |
---|
Fields inherited from class org.deri.wsmo4j.validator.WsmlFullValidator |
---|
constants, errors, leFactory, leSerializer, warnings |
Constructor Summary | |
---|---|
WsmlRuleValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
|
Method Summary | |
---|---|
boolean |
isValid(org.omwg.logicalexpression.LogicalExpression logExpr,
List<org.wsmo.validator.ValidationError> errorMessages,
List<org.wsmo.validator.ValidationWarning> warningMessages)
|
protected void |
visitAxiom(org.omwg.ontology.Axiom axiom)
Checks if an axiom is valid to wsml-rule. |
protected void |
visitConcept(org.omwg.ontology.Concept concept)
Checks if a concept is valid to wsml-rule. |
protected void |
visitInstance(org.omwg.ontology.Instance instance)
Checks if an instance is valid to wsml-rule. |
protected void |
visitRelation(org.omwg.ontology.Relation relation)
Checks if a relation is valid to wsml-rule. |
protected void |
visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance)
Checks if a relation instance is valid to wsml-rule. |
Methods inherited from class org.deri.wsmo4j.validator.WsmlFullValidator |
---|
addError, addError, addWarning, getErrors, isValid |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public WsmlRuleValidator(org.wsmo.factory.LogicalExpressionFactory leFactory)
Method Detail |
---|
protected void visitAxiom(org.omwg.ontology.Axiom axiom)
visitAxiom
in class WsmlFullValidator
WsmlFullValidator.visitAxiom(org.omwg.ontology.Axiom)
protected void visitConcept(org.omwg.ontology.Concept concept)
visitConcept
in class WsmlFullValidator
WsmlFullValidator.visitConcept(org.omwg.ontology.Concept)
protected void visitInstance(org.omwg.ontology.Instance instance)
visitInstance
in class WsmlFullValidator
WsmlFullValidator.visitInstance(org.omwg.ontology.Instance)
protected void visitRelation(org.omwg.ontology.Relation relation)
visitRelation
in class WsmlFullValidator
WsmlFullValidator.visitRelation(org.omwg.ontology.Relation)
protected void visitRelationInstance(org.omwg.ontology.RelationInstance relationInstance) throws org.wsmo.common.exception.SynchronisationException, org.wsmo.common.exception.InvalidModelException
visitRelationInstance
in class WsmlFullValidator
org.wsmo.common.exception.InvalidModelException
org.wsmo.common.exception.SynchronisationException
WsmlFullValidator.visitRelationInstance(org.omwg.ontology.RelationInstance)
public boolean isValid(org.omwg.logicalexpression.LogicalExpression logExpr, List<org.wsmo.validator.ValidationError> errorMessages, List<org.wsmo.validator.ValidationWarning> warningMessages)
isValid
in class WsmlFullValidator
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |