| java.lang.Object de.uka.ilkd.key.logic.Visitor de.uka.ilkd.key.logic.DepthCollector
DepthCollector | public class DepthCollector extends Visitor (Code) | | This class is used to collect all appearing metavariables and logic
variables in a term, together with their maximum term depth. The
maximum depth of the term itself is also determined
|
Method Summary | |
public int | getMaxDepth() | public int | getMaxDepth(Operator p_var) | public IteratorOfOperator | getVariables() | 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. | 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. | public void | visit(Term t) |
DepthCollector | public DepthCollector()(Code) | | |
getMaxDepth | public int getMaxDepth()(Code) | | the maximum depth of a leaf of the term visited |
getMaxDepth | public int getMaxDepth(Operator p_var)(Code) | | the maximum depth of an occurrence ofp_var , if this variable has been found, or-1 |
getVariables | public IteratorOfOperator getVariables()(Code) | | an iterator iterating the found variables |
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.
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.
when the visitor behaviour depends on informations bound to subtrees.
Parameters: subtreeRoot - root of the subtree which the visitor leaves. |
visit | public void visit(Term t)(Code) | | is called by the execPostOrder-method of a term
|
|
|