| java.lang.Object
 de.uka.ilkd.key.logic.Visitor
All known Subclasses: de.uka.ilkd.key.rule.soundness.TacletVisitor, de.uka.ilkd.key.logic.ShadowReplaceVisitor, de.uka.ilkd.key.logic.DepthCollector, de.uka.ilkd.key.rule.soundness.TermProgramVariableCollector, de.uka.ilkd.key.proof.decproc.translation.TranslationVisitor, de.uka.ilkd.key.logic.LVRCollector, de.uka.ilkd.key.logic.PostFormulaTransformer, de.uka.ilkd.key.logic.OpCollector, de.uka.ilkd.key.rule.SyntacticalReplaceVisitor, de.uka.ilkd.key.logic.CollisionDeletingSubstitutionTermApplier, de.uka.ilkd.key.logic.BoundVarsVisitor, de.uka.ilkd.key.logic.MVCollector, de.uka.ilkd.key.logic.FunctionNameFunctionSymbolMapper, de.uka.ilkd.key.rule.TacletSchemaVariableCollector, de.uka.ilkd.key.rule.SVNameCorrespondenceCollector,
| Visitor | | abstract public class Visitor (Code) | | This abstract Vistor class declares the interface for a common term visitor.
|
| Method Summary | |
| public void | subtreeEntered(Term subtreeRoot)
this method is called in execPreOrder and execPostOrder in class Term
when entering the subtree rooted in the term subtreeRoot.
Default implementation is to do nothing. | | public void | subtreeLeft(Term subtreeRoot)
this method is called in execPreOrder and execPostOrder in class Term
when leaving the subtree rooted in the term subtreeRoot.
Default implementation is to do nothing. | | abstract public void | visit(Term visited)
|
| subtreeEntered | | public void subtreeEntered(Term subtreeRoot)(Code) | | this method is called in execPreOrder and execPostOrder in class Term
when entering the subtree rooted in the term subtreeRoot.
Default implementation is to do nothing. Subclasses can
override this method
when the visitor behaviour depends on informations bound to subtrees.
Parameters:
subtreeRoot - root of the subtree which the visitor enters. |
| subtreeLeft | | public void subtreeLeft(Term subtreeRoot)(Code) | | this method is called in execPreOrder and execPostOrder in class Term
when leaving the subtree rooted in the term subtreeRoot.
Default implementation is to do nothing. Subclasses can
override this method
when the visitor behaviour depends on informations bound to subtrees.
Parameters:
subtreeRoot - root of the subtree which the visitor leaves. |
| visit | | abstract public void visit(Term visited)(Code) | | the entry method for the visitor pattern
Parameters:
visited - the Term to be visited |
|
|