public class TermProgramVariableCollector extends DefaultVisitor
Constructor and Description |
---|
TermProgramVariableCollector(Services services) |
Modifier and Type | Method and Description |
---|---|
java.util.HashSet<LocationVariable> |
result() |
void |
visit(Term t)
is called by the execPostOrder-method of a term
|
subtreeEntered, subtreeLeft, visitSubtree
public TermProgramVariableCollector(Services services)
public void visit(Term t)
t
- the Term to checked if it is a program variable and if true the
variable is added to the list of found variablespublic java.util.HashSet<LocationVariable> result()
Copyright © 2003-2019 The KeY-Project.