public class TacletVariableSVCollector extends TacletSchemaVariableCollector
varList
Constructor and Description |
---|
TacletVariableSVCollector() |
Modifier and Type | Method and Description |
---|---|
void |
visit(Term t)
visits term t in post order
(
Term.execPostOrder(de.uka.ilkd.key.logic.Visitor) )
and collects all bound schema variables |
collectSVInProgram, contains, size, varIterator, vars, visit, visit, visitFindPart, visitGoalTemplates, visitWithoutAddrule
subtreeEntered, subtreeLeft, visitSubtree
public void visit(Term t)
Term.execPostOrder(de.uka.ilkd.key.logic.Visitor)
)
and collects all bound schema variablesvisit
in interface Visitor
visit
in class TacletSchemaVariableCollector
t
- the Term to be visited (t
must not be null