org.deri.wsmo4j.logicalexpression
Class AbstractVisitor

java.lang.Object
  org.deri.wsmo4j.logicalexpression.AbstractVisitor

All Implemented Interfaces:

org.omwg.logicalexpression.Visitor

Direct Known Subclasses:

FunctionSymbolHelper, IDCollectHelper, ItemCollectHelper, VisitorSerializeWSML, VisitorSerializeXML

public abstract class AbstractVisitor
extends Object
implements org.omwg.logicalexpression.Visitor

This abstract class represents a visitor for the logical expression tree structure.

Version:

$Revision: 947 $ $Date: 2005-09-13 20:45:06 +0300 (Tue, 13 Sep 2005) $

Author:

DERI Innsbruck, reto.krummenacher@deri.org

See Also:

Visitor, Visitor Pattern

Constructor Summary

AbstractVisitor()

Method Summary

void	visitAtom(org.omwg.logicalexpression.Atom expr)
void	visitConjunction(org.omwg.logicalexpression.Conjunction expr)
void	visitConstraint(org.omwg.logicalexpression.Constraint expr)
void	visitDisjunction(org.omwg.logicalexpression.Disjunction expr)
void	visitEquivalence(org.omwg.logicalexpression.Equivalence expr)
void	visitExistentialQuantification(org.omwg.logicalexpression.ExistentialQuantification expr)
void	visitImplication(org.omwg.logicalexpression.Implication expr)
void	visitInverseImplication(org.omwg.logicalexpression.InverseImplication expr)
void	visitLogicProgrammingRule(org.omwg.logicalexpression.LogicProgrammingRule expr)
void	visitMolecule(org.omwg.logicalexpression.Molecule expr)
void	visitNegation(org.omwg.logicalexpression.Negation expr)
void	visitNegationAsFailure(org.omwg.logicalexpression.NegationAsFailure expr)
void	visitUniversalQuantification(org.omwg.logicalexpression.UniversalQuantification expr)

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.omwg.logicalexpression.Visitor

visitAttributeContraintMolecule, visitAttributeInferenceMolecule, visitAttributeValueMolecule, visitCompoundMolecule, visitMemberShipMolecule, visitSubConceptMolecule

Constructor Detail

AbstractVisitor

public AbstractVisitor()

Method Detail

visitAtom

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

Specified by:

visitAtom in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Atom

See Also:

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

visitMolecule

public void visitMolecule(org.omwg.logicalexpression.Molecule expr)

Parameters:

expr - Molecule

See Also:

org.omwg.logicalexpression.Visitor#visitMolecule(org.omwg.logicalexpression.Molecule)

visitNegation

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

Specified by:

visitNegation in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Unary with operator NEG

See Also:

Visitor.visitNegation(Negation)

visitNegationAsFailure

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

Specified by:

visitNegationAsFailure in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Unary with operator NAF

See Also:

Visitor.visitNegationAsFailure(NegationAsFailure)

visitConstraint

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

Specified by:

visitConstraint in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Unary with operator CONSTRAINT

See Also:

Visitor.visitConstraint(Constraint)

visitConjunction

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

Specified by:

visitConjunction in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator AND

See Also:

Visitor.visitConjunction(Conjunction)

visitDisjunction

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

Specified by:

visitDisjunction in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator OR

See Also:

Visitor.visitDisjunction(Disjunction)

visitInverseImplication

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

Specified by:

visitInverseImplication in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator IMPLIEDBY

See Also:

Visitor.visitInverseImplication(InverseImplication)

visitImplication

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

Specified by:

visitImplication in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator IMPLIES

See Also:

Visitor.visitImplication(Implication)

visitEquivalence

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

Specified by:

visitEquivalence in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator EQUIVALENT

See Also:

Visitor.visitEquivalence(Equivalence)

visitLogicProgrammingRule

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

Specified by:

visitLogicProgrammingRule in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Binary with operator IMPLIESLP

See Also:

Visitor.visitLogicProgrammingRule(LogicProgrammingRule)

visitUniversalQuantification

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

Specified by:

visitUniversalQuantification in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Quantified with operator FORALL

See Also:

Visitor.visitUniversalQuantification(UniversalQuantification)

visitExistentialQuantification

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

Specified by:

visitExistentialQuantification in interface org.omwg.logicalexpression.Visitor

Parameters:

expr - Quantified with operator EXISTS

See Also:

Visitor.visitExistentialQuantification(ExistentialQuantification)