public class TermProgramVariableCollectorKeepUpdatesForBreakpointconditions extends TermProgramVariableCollector
Constructor and Description |
---|
TermProgramVariableCollectorKeepUpdatesForBreakpointconditions(Services services,
IBreakpointStopCondition breakpointStopCondition) |
Modifier and Type | Method and Description |
---|---|
void |
visit(Term t)
is called by the execPostOrder-method of a term
|
result
subtreeEntered, subtreeLeft, visitSubtree
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 variablesCopyright © 2003-2019 The KeY-Project.