de.uka.ilkd.key.strategy.feature

Class ContainsTermFeature.ContainsTermVisitor

java.lang.Object

de.uka.ilkd.key.strategy.feature.ContainsTermFeature.ContainsTermVisitor

All Implemented Interfaces:

Visitor

Enclosing class:

ContainsTermFeature

private class ContainsTermFeature.ContainsTermVisitor
extends java.lang.Object
implements Visitor

Field Summary

Fields

Modifier and Type	Field and Description
(package private) boolean	found
(package private) Term	term

Constructor Summary

Constructors

Constructor and Description
ContainsTermVisitor(Term term)

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.
void	visit(Term visited) the entry method for the visitor pattern
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

Field Detail

found

boolean found

term

Term term

Constructor Detail

ContainsTermVisitor

public ContainsTermVisitor(Term term)

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.

visit

public void visit(Term visited)

Description copied from interface: Visitor

the entry method for the visitor pattern

Specified by:

visit in interface Visitor

Parameters:

visited - the Term to be visited

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.