de.uka.ilkd.key.proof

Class TermProgramVariableCollectorKeepUpdatesForBreakpointconditions

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.proof.TermProgramVariableCollector

de.uka.ilkd.key.proof.TermProgramVariableCollectorKeepUpdatesForBreakpointconditions

All Implemented Interfaces:

Visitor

public class TermProgramVariableCollectorKeepUpdatesForBreakpointconditions
extends TermProgramVariableCollector

Field Summary

Fields

Modifier and Type	Field and Description
private IBreakpointStopCondition	breakpointStopCondition

Constructor Summary

Constructors

Constructor and Description
TermProgramVariableCollectorKeepUpdatesForBreakpointconditions(Services services, IBreakpointStopCondition breakpointStopCondition)

Method Summary

Modifier and Type	Method and Description
private void	addVarsToKeep()
void	visit(Term t) is called by the execPostOrder-method of a term

Methods inherited from class de.uka.ilkd.key.proof.TermProgramVariableCollector

result

Methods inherited from class de.uka.ilkd.key.logic.DefaultVisitor

subtreeEntered, subtreeLeft, visitSubtree

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

breakpointStopCondition

private IBreakpointStopCondition breakpointStopCondition

Constructor Detail

TermProgramVariableCollectorKeepUpdatesForBreakpointconditions

public TermProgramVariableCollectorKeepUpdatesForBreakpointconditions(Services services,
                                                                      IBreakpointStopCondition breakpointStopCondition)

Method Detail

visit

public void visit(Term t)

is called by the execPostOrder-method of a term

Specified by:

visit in interface Visitor

Overrides:

visit in class TermProgramVariableCollector

Parameters:

t - the Term to checked if it is a program variable and if true the variable is added to the list of found variables

addVarsToKeep

private void addVarsToKeep()