|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.deri.wsmo4j.validator.WsmlFullExpressionValidator
public class WsmlFullExpressionValidator
Checks logical expressions for wsml-full validity.
Field Summary | |
---|---|
protected org.omwg.ontology.Axiom |
axiom
|
protected List |
errors
|
Constructor Summary | |
---|---|
protected |
WsmlFullExpressionValidator(org.omwg.ontology.Axiom axiom,
List errors)
|
Method Summary | |
---|---|
void |
visitAtom(org.omwg.logicalexpression.Atom expr)
Checks if an Atom is valid to wsml-full. |
void |
visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
Checks if an AttributeConstraintMolecule is valid to wsml-full. |
void |
visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
Checks if an AttributeInferenceMolecule is valid to wsml-full. |
void |
visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
Checks if an AttributeValueMolecule is valid to wsml-full. |
void |
visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
Checks if a CompoundMolecule is valid to wsml-full. |
void |
visitConjunction(org.omwg.logicalexpression.Conjunction expr)
Checks if a Conjunction is valid to wsml-full. |
void |
visitConstraint(org.omwg.logicalexpression.Constraint expr)
Checks if a Constraint is valid to wsml-full. |
void |
visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
Checks if a Disjunction is valid to wsml-full. |
void |
visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
Checks if an Equivalence is valid to wsml-full. |
void |
visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
Checks if an ExistentialQuantification is valid to wsml-full. |
void |
visitImplication(org.omwg.logicalexpression.Implication expr)
Checks if an Implication is valid to wsml-full. |
void |
visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
Checks if an InverseImplication is valid to wsml-full. |
void |
visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
Checks if a LogicProgrammingRule is valid to wsml-full. |
void |
visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
Checks if a MembershipMolecule is valid to wsml-full. |
void |
visitNegation(org.omwg.logicalexpression.Negation expr)
Checks if a Negation is valid to wsml-full. |
void |
visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
Checks if a NegationAsFailure is valid to wsml-full. |
void |
visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
Checks if a SubConceptMolecule is valid to wsml-full. |
void |
visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
Checks if a UniversalQuantification 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 org.omwg.ontology.Axiom axiom
protected List errors
Constructor Detail |
---|
protected WsmlFullExpressionValidator(org.omwg.ontology.Axiom axiom, List errors)
axiom
- whose logical expression is checkederrors
- list that will be filled with error messages of found variant violationsMethod Detail |
---|
public void visitAtom(org.omwg.logicalexpression.Atom expr)
visitAtom
in interface org.omwg.logicalexpression.Visitor
Visitor.visitAtom(org.omwg.logicalexpression.Atom)
public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)
visitAttributeContraintMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule)
public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)
visitAttributeInferenceMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule)
public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)
visitAttributeValueMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule)
public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)
visitCompoundMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule)
public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)
visitMemberShipMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule)
public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)
visitSubConceptMolecule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule)
public void visitNegation(org.omwg.logicalexpression.Negation expr)
visitNegation
in interface org.omwg.logicalexpression.Visitor
Visitor.visitNegation(org.omwg.logicalexpression.Negation)
public void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
visitNegationAsFailure
in interface org.omwg.logicalexpression.Visitor
Visitor.visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure)
public void visitConstraint(org.omwg.logicalexpression.Constraint expr)
visitConstraint
in interface org.omwg.logicalexpression.Visitor
Visitor.visitConstraint(org.omwg.logicalexpression.Constraint)
public void visitConjunction(org.omwg.logicalexpression.Conjunction expr)
visitConjunction
in interface org.omwg.logicalexpression.Visitor
Visitor.visitConjunction(org.omwg.logicalexpression.Conjunction)
public void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
visitDisjunction
in interface org.omwg.logicalexpression.Visitor
Visitor.visitDisjunction(org.omwg.logicalexpression.Disjunction)
public void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
visitInverseImplication
in interface org.omwg.logicalexpression.Visitor
Visitor.visitInverseImplication(org.omwg.logicalexpression.InverseImplication)
public void visitImplication(org.omwg.logicalexpression.Implication expr)
visitImplication
in interface org.omwg.logicalexpression.Visitor
Visitor.visitImplication(org.omwg.logicalexpression.Implication)
public void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
visitEquivalence
in interface org.omwg.logicalexpression.Visitor
Visitor.visitEquivalence(org.omwg.logicalexpression.Equivalence)
public void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
visitLogicProgrammingRule
in interface org.omwg.logicalexpression.Visitor
Visitor.visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule)
public void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)
visitUniversalQuantification
in interface org.omwg.logicalexpression.Visitor
Visitor.visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification)
public void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
visitExistentialQuantification
in interface org.omwg.logicalexpression.Visitor
Visitor.visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |