org.deri.wsmo4j.logicalexpression
Class AbstractVisitor

java.lang.Object
  extended by 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)


Copyright © 2004-2008 Ontotext Lab.. All Rights Reserved.