org.deri.wsmo4j.validator
Class WsmlCoreExpressionValidator

java.lang.Object
  org.deri.wsmo4j.validator.WsmlCoreExpressionValidator

All Implemented Interfaces:

org.omwg.logicalexpression.Visitor

public class WsmlCoreExpressionValidator
extends Object
implements org.omwg.logicalexpression.Visitor

Checks logical expressions for wsml-core validity.

  Created on Aug 19, 2005
  Committed by $Author: morcen $
  $Source$,
 

Version:

$Revision: 1946 $ $Date: 2007-04-02 15:13:28 +0300 (Mon, 02 Apr 2007) $

Author:

nathalie.steinmetz@deri.org

Nested Class Summary

protected class

WsmlCoreExpressionValidator.Graph

Constructor Summary

protected

WsmlCoreExpressionValidator(org.omwg.ontology.Axiom axiom, org.wsmo.factory.LogicalExpressionFactory leFactory, List<org.wsmo.validator.ValidationError> errors, WsmlCoreValidator val)

Method Summary

Set	getLHSVariables()
int	getNumberOfMolecules()
protected void	setup()
void	visitAtom(org.omwg.logicalexpression.Atom expr) Checks if an atom is valid to wsml-core.
void	visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr) Checks if an AttributeConstraintMolecule is valid to wsml-core.
void	visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr) Checks if an AttributeInferenceMolecule is valid to wsml-core.
void	visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr) Checks if an AttributeValueMolecule is valid to wsml-core.
void	visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr) Checks if a CompoundMolecule is valid to wsml-core.
void	visitConjunction(org.omwg.logicalexpression.Conjunction expr) Checks if a Conjunction is valid to wsml-core.
void	visitConstraint(org.omwg.logicalexpression.Constraint expr) Checks if a Constraint is valid to wsml-core.
void	visitDisjunction(org.omwg.logicalexpression.Disjunction expr) Checks if a Disjunction is valid to wsml-core.
void	visitEquivalence(org.omwg.logicalexpression.Equivalence expr) Checks if an Equivalence is valid to wsml-core.
void	visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr) Checks if an ExistentialQuantification is valid to wsml-core.
void	visitImplication(org.omwg.logicalexpression.Implication expr) Checks if an Implication is valid to wsml-core.
void	visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr) Checks if an InverseImplication is valid to wsml-core.
void	visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr) Checks if a LogicProgrammingRule is valid to wsml-core.
void	visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr) Checks if a MembershipMolecule is valid to wsml-core.
void	visitNegation(org.omwg.logicalexpression.Negation expr) Checks if a Negation is valid to wsml-core.
void	visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr) Checks if a NegationAsFailure is valid to wsml-core.
void	visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr) Checks if a SubConceptMolecule is valid to wsml-core.
void	visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr) Checks if a UniversalQuantification is valid to wsml-core.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

WsmlCoreExpressionValidator

protected WsmlCoreExpressionValidator(org.omwg.ontology.Axiom axiom,
                                      org.wsmo.factory.LogicalExpressionFactory leFactory,
                                      List<org.wsmo.validator.ValidationError> errors,
                                      WsmlCoreValidator val)

Parameters:

axiom - whose logical expression is checked

errors - list that will be filled with error messages of found variant violations

Method Detail

setup

protected void setup()

visitAtom

public void visitAtom(org.omwg.logicalexpression.Atom expr)

Checks if an atom is valid to wsml-core.

Specified by:

visitAtom in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitAtom(org.omwg.logicalexpression.Atom)

visitAttributeContraintMolecule

public void visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule expr)

Checks if an AttributeConstraintMolecule is valid to wsml-core.

Specified by:

visitAttributeContraintMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitAttributeContraintMolecule(org.omwg.logicalexpression.AttributeConstraintMolecule)

visitAttributeInferenceMolecule

public void visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule expr)

Checks if an AttributeInferenceMolecule is valid to wsml-core.

Specified by:

visitAttributeInferenceMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitAttributeInferenceMolecule(org.omwg.logicalexpression.AttributeInferenceMolecule)

visitAttributeValueMolecule

public void visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule expr)

Checks if an AttributeValueMolecule is valid to wsml-core.

Specified by:

visitAttributeValueMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitAttributeValueMolecule(org.omwg.logicalexpression.AttributeValueMolecule)

visitCompoundMolecule

public void visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule expr)

Checks if a CompoundMolecule is valid to wsml-core.

Specified by:

visitCompoundMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitCompoundMolecule(org.omwg.logicalexpression.CompoundMolecule)

visitMemberShipMolecule

public void visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule expr)

Checks if a MembershipMolecule is valid to wsml-core.

Specified by:

visitMemberShipMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitMemberShipMolecule(org.omwg.logicalexpression.MembershipMolecule)

visitSubConceptMolecule

public void visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule expr)

Checks if a SubConceptMolecule is valid to wsml-core.

Specified by:

visitSubConceptMolecule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitSubConceptMolecule(org.omwg.logicalexpression.SubConceptMolecule)

visitNegation

public void visitNegation(org.omwg.logicalexpression.Negation expr)

Checks if a Negation is valid to wsml-core.

Specified by:

visitNegation in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitNegation(org.omwg.logicalexpression.Negation)

visitNegationAsFailure

public void visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)

Checks if a NegationAsFailure is valid to wsml-core.

Specified by:

visitNegationAsFailure in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure)

visitConstraint

public void visitConstraint(org.omwg.logicalexpression.Constraint expr)

Checks if a Constraint is valid to wsml-core.

Specified by:

visitConstraint in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitConstraint(org.omwg.logicalexpression.Constraint)

visitConjunction

public void visitConjunction(org.omwg.logicalexpression.Conjunction expr)

Checks if a Conjunction is valid to wsml-core.

Specified by:

visitConjunction in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitConjunction(org.omwg.logicalexpression.Conjunction)

visitDisjunction

public void visitDisjunction(org.omwg.logicalexpression.Disjunction expr)

Checks if a Disjunction is valid to wsml-core.

Specified by:

visitDisjunction in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitDisjunction(org.omwg.logicalexpression.Disjunction)

visitInverseImplication

public void visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)

Checks if an InverseImplication is valid to wsml-core.

Specified by:

visitInverseImplication in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitInverseImplication(org.omwg.logicalexpression.InverseImplication)

visitImplication

public void visitImplication(org.omwg.logicalexpression.Implication expr)

Checks if an Implication is valid to wsml-core.

Specified by:

visitImplication in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitImplication(org.omwg.logicalexpression.Implication)

visitEquivalence

public void visitEquivalence(org.omwg.logicalexpression.Equivalence expr)

Checks if an Equivalence is valid to wsml-core.

Specified by:

visitEquivalence in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitEquivalence(org.omwg.logicalexpression.Equivalence)

visitLogicProgrammingRule

public void visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)

Checks if a LogicProgrammingRule is valid to wsml-core.

Specified by:

visitLogicProgrammingRule in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule)

visitUniversalQuantification

public void visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)

Checks if a UniversalQuantification is valid to wsml-core.

Specified by:

visitUniversalQuantification in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification)

visitExistentialQuantification

public void visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)

Checks if an ExistentialQuantification is valid to wsml-core.

Specified by:

visitExistentialQuantification in interface org.omwg.logicalexpression.Visitor

See Also:

WsmlFlightExpressionValidator.visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification)

getNumberOfMolecules

public int getNumberOfMolecules()

getLHSVariables

public Set getLHSVariables()