public class TermProgramVariableCollectorKeepUpdatesForBreakpointconditions extends TermProgramVariableCollector
Modifier and Type | Field and Description |
---|---|
private IBreakpointStopCondition |
breakpointStopCondition |
Constructor and Description |
---|
TermProgramVariableCollectorKeepUpdatesForBreakpointconditions(Services services,
IBreakpointStopCondition breakpointStopCondition) |
Modifier and Type | Method and Description |
---|---|
private void |
addVarsToKeep() |
void |
visit(Term t)
is called by the execPostOrder-method of a term
|
result
subtreeEntered, subtreeLeft, visitSubtree
private IBreakpointStopCondition breakpointStopCondition
public TermProgramVariableCollectorKeepUpdatesForBreakpointconditions(Services services, IBreakpointStopCondition breakpointStopCondition)
public void visit(Term t)
visit
in interface Visitor
visit
in class TermProgramVariableCollector
t
- the Term to checked if it is a program variable and if true the
variable is added to the list of found variablesprivate void addVarsToKeep()