de.uka.ilkd.key.proof

Class TermProgramVariableCollector

java.lang.Object

de.uka.ilkd.key.logic.DefaultVisitor

de.uka.ilkd.key.proof.TermProgramVariableCollector

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

TermProgramVariableCollectorKeepUpdatesForBreakpointconditions

public class TermProgramVariableCollector
extends DefaultVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashSet<LocationVariable>	result
private Services	services

Constructor Summary

Constructors

Constructor and Description
TermProgramVariableCollector(Services services)

Method Summary

Modifier and Type	Method and Description
java.util.HashSet<LocationVariable>	result()
void	visit(Term t) is called by the execPostOrder-method of a term

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

result

private final java.util.HashSet<LocationVariable> result

services

private final Services services

Constructor Detail

TermProgramVariableCollector

public TermProgramVariableCollector(Services services)

Method Detail

visit

public void visit(Term t)

is called by the execPostOrder-method of a term

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

result

public java.util.HashSet<LocationVariable> result()