de.uka.ilkd.key.logic

Class DefaultVisitor

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

BoundVarsVisitor, ClashFreeSubst.VariableCollectVisitor, FocusIsSubFormulaOfInfFlowContractAppFeature.SubFormulaVisitor, InfFlowInputOutputRelationSnippet.SearchVisitor, OpCollector, SolverListener.ContainsModalityOrQueryVisitor, SortCollector, SVNameCorrespondenceCollector, SymbolicExecutionSideProofUtil.ContainsIrrelevantThingsVisitor, SymbolicExecutionSideProofUtil.ContainsModalityOrQueryVisitor, SymbolicExecutionUtil.FindModalityWithSymbolicExecutionLabelId, SyntacticalReplaceVisitor, TacletSchemaVariableCollector, TacletVisitor, TermProgramVariableCollector

public abstract class DefaultVisitor
extends java.lang.Object
implements Visitor

This abstract Vistor class declares the interface for a common term visitor.

Constructor Summary

Constructors

Constructor and Description
DefaultVisitor()

Method Summary

Modifier and Type	Method and Description
void	subtreeEntered(Term subtreeRoot) this method is called in execPreOrder and execPostOrder in class Term when entering the subtree rooted in the term subtreeRoot.
void	subtreeLeft(Term subtreeRoot) this method is called in execPreOrder and execPostOrder in class Term when leaving the subtree rooted in the term subtreeRoot.
boolean	visitSubtree(Term visited) Checks if the subtree below the visited Term should be traversed.

Methods inherited from class java.lang.Object

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

Methods inherited from interface de.uka.ilkd.key.logic.Visitor

visit

Constructor Detail

DefaultVisitor

public DefaultVisitor()

Method Detail

visitSubtree

public boolean visitSubtree(Term visited)

Description copied from interface: Visitor

Checks if the subtree below the visited Term should be traversed.

Specified by:

visitSubtree in interface Visitor

Parameters:

visited - The currently visited Term.

Returns:

true visit sub tree, false skip sub tree.

subtreeEntered

public void subtreeEntered(Term subtreeRoot)

Description copied from interface: Visitor

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.

Specified by:

subtreeEntered in interface Visitor

Parameters:

subtreeRoot - root of the subtree which the visitor enters.

subtreeLeft

public void subtreeLeft(Term subtreeRoot)

Description copied from interface: Visitor

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.

Specified by:

subtreeLeft in interface Visitor

Parameters:

subtreeRoot - root of the subtree which the visitor leaves.