public class TermProgramVariableCollector extends DefaultVisitor
Modifier and Type | Field and Description |
---|---|
private java.util.HashSet<LocationVariable> |
result |
private Services |
services |
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
private final java.util.HashSet<LocationVariable> result
private final Services services
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()