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