|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.deri.wsmo4j.validator.WsmlFlightExpressionValidator
public class WsmlFlightExpressionValidator
Checks logical expressions for wsml-flight validity.
Constructor Summary | |
---|---|
protected |
WsmlFlightExpressionValidator(org.omwg.ontology.Axiom axiom,
org.wsmo.factory.LogicalExpressionFactory leFactory,
List<org.wsmo.validator.ValidationError> errors,
WsmlFullValidator val)
|
Method Summary | |
---|---|
void |
setup()
|
void |
visitAtom(org.omwg.logicalexpression.Atom expr)
Checks if an Atom is valid to wsml-flight. |
void |
visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
Checks if an AttributeConstraintMolecule is valid to wsml-flight. |
void |
visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
Checks if an AttributeInferenceMolecule is valid to wsml-flight. |
void |
visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
Checks if an AttributeValueMolecule is valid to wsml-flight. |
void |
visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
Checks if an CompoundMolecule is valid to wsml-flight. |
void |
visitConjunction(org.omwg.logicalexpression.Conjunction expr)
Checks if a Conjunction is valid to wsml-flight. |
void |
visitConstraint(org.omwg.logicalexpression.Constraint expr)
Checks if a Constraint is valid to wsml-flight. |
void |
visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
Checks if a Disjunction is valid to wsml-flight. |
void |
visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
Checks if an Equivalence is valid to wsml-flight. |
void |
visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
Checks if an ExistentialQuantification is valid to wsml-flight. |
void |
visitImplication(org.omwg.logicalexpression.Implication expr)
Checks if an Implication is valid to wsml-flight. |
void |
visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
Checks if an InverseImplication is valid to wsml-flight. |
void |
visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
Checks if a LogicProgrammingRule is valid to wsml-flight. |
void |
visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
Checks if an MembershipMolecule is valid to wsml-flight. |
void |
visitNegation(org.omwg.logicalexpression.Negation expr)
Checks if a Negation is valid to wsml-flight. |
void |
visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
Checks if a NegationAsFailure is valid to wsml-flight. |
void |
visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
Checks if an SubConceptMolecule is valid to wsml-flight. |
void |
visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
Checks if a UniversalQuantification is valid to wsml-flight. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
protected WsmlFlightExpressionValidator(org.omwg.ontology.Axiom axiom, org.wsmo.factory.LogicalExpressionFactory leFactory, List<org.wsmo.validator.ValidationError> errors, WsmlFullValidator val)
axiom
- whose logical expression is checkederrors
- list that will be filled with error messages of found variant
violationsMethod Detail |
---|
public void setup()
public void visitAtom(org.omwg.logicalexpression.Atom expr)
visitAtom
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitAtom(org.omwg.logicalexpression.Atom)
public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
visitAttributeContraintMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule)
public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
visitAttributeInferenceMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule)
public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
visitAttributeValueMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule)
public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
visitCompoundMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule)
public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
visitMemberShipMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule)
public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
visitSubConceptMolecule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule)
public void visitNegation(org.omwg.logicalexpression.Negation expr)
visitNegation
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitNegation(org.omwg.logicalexpression.Negation)
public void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
visitNegationAsFailure
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure)
public void visitConstraint(org.omwg.logicalexpression.Constraint expr)
visitConstraint
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitConstraint(org.omwg.logicalexpression.Constraint)
public void visitConjunction(org.omwg.logicalexpression.Conjunction expr)
visitConjunction
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitConjunction(org.omwg.logicalexpression.Conjunction)
public void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
visitDisjunction
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitDisjunction(org.omwg.logicalexpression.Disjunction)
public void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
visitInverseImplication
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitInverseImplication(org.omwg.logicalexpression.InverseImplication)
public void visitImplication(org.omwg.logicalexpression.Implication expr)
visitImplication
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitImplication(org.omwg.logicalexpression.Implication)
public void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
visitEquivalence
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitEquivalence(org.omwg.logicalexpression.Equivalence)
public void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
visitLogicProgrammingRule
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule)
public void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
visitUniversalQuantification
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification)
public void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
visitExistentialQuantification
in interface org.omwg.logicalexpression.Visitor
WsmlRuleExpressionValidator.visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |