org.eclipse.palamedes.kif.core.ast
Class ASTVisitor

java.lang.Object
  org.eclipse.palamedes.kif.core.ast.ASTVisitor

Direct Known Subclasses:

DefaultVisitor

public abstract class ASTVisitor
extends java.lang.Object

Constructor Summary

ASTVisitor()

Method Summary

abstract void	visit(KIFConjunction node)
abstract void	visit(KIFDisjunction node)
abstract void	visit(KIFForm node)
abstract void	visit(KIFFunTerm node)
abstract void	visit(KIFImplication node)
abstract void	visit(KIFIndVar node)
abstract void	visit(KIFLogConst node)
abstract void	visit(KIFNegation node)
abstract void	visit(KIFObjConst node)
abstract void	visit(KIFOperator node)
abstract void	visit(KIFRelSent node)

Methods inherited from class java.lang.Object

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

Constructor Detail

ASTVisitor

public ASTVisitor()

Method Detail

visit

public abstract void visit(KIFConjunction node)

visit

public abstract void visit(KIFDisjunction node)

visit

public abstract void visit(KIFForm node)

visit

public abstract void visit(KIFFunTerm node)

visit

public abstract void visit(KIFImplication node)

visit

public abstract void visit(KIFIndVar node)

visit

public abstract void visit(KIFLogConst node)

visit

public abstract void visit(KIFNegation node)

visit

public abstract void visit(KIFObjConst node)

visit

public abstract void visit(KIFOperator node)

visit

public abstract void visit(KIFRelSent node)