de.uka.ilkd.key.java.visitor

Class ProgramVariableCollector

java.lang.Object

de.uka.ilkd.key.java.visitor.JavaASTWalker

de.uka.ilkd.key.java.visitor.JavaASTVisitor

de.uka.ilkd.key.java.visitor.ProgramVariableCollector

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

UndeclaredProgramVariableCollector

public class ProgramVariableCollector
extends JavaASTVisitor

Walks through a java AST in depth-left-fist-order. This walker is used collect all LocationVariables and optional function locations.

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.LinkedHashSet<LocationVariable>	result

Fields inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor

services

Constructor Summary

Constructors

Constructor and Description
ProgramVariableCollector(ProgramElement root, Services services) collects all program variables occurring in the AST root using this constructor is equivalent to ProggramVariableCollector(root, false)

Method Summary

Modifier and Type	Method and Description
protected void	collectHeapVariables()
protected void	doDefaultAction(SourceElement x) the action that is performed just before leaving the node the last time
void	performActionOnBlockContract(BlockContract x)
void	performActionOnLocationVariable(LocationVariable x)
void	performActionOnLoopContract(LoopContract x)
void	performActionOnLoopInvariant(LoopSpecification x)
void	performActionOnMergeContract(MergeContract x)
java.util.LinkedHashSet<LocationVariable>	result()
void	start() starts the walker
java.lang.String	toString()

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor

doAction, performActionOnAbstractProgramElement, performActionOnAllFields, performActionOnAllObjects, performActionOnArrayDeclaration, performActionOnArrayInitializer, performActionOnArrayLengthReference, performActionOnArrayReference, performActionOnAssert, performActionOnBinaryAnd, performActionOnBinaryAndAssignment, performActionOnBinaryNot, performActionOnBinaryOr, performActionOnBinaryOrAssignment, performActionOnBinaryXOr, performActionOnBinaryXOrAssignment, performActionOnBlockContract, performActionOnBooleanLiteral, performActionOnBreak, performActionOnCase, performActionOnCatch, performActionOnCatchAllStatement, performActionOnCharLiteral, performActionOnClassDeclaration, performActionOnClassInitializer, performActionOnComment, performActionOnCompilationUnit, performActionOnConditional, performActionOnConstructorDeclaration, performActionOnContextStatementBlock, performActionOnContinue, performActionOnCopyAssignment, performActionOnDefault, performActionOnDivide, performActionOnDivideAssignment, performActionOnDLEmbeddedExpression, performActionOnDo, performActionOnDoubleLiteral, performActionOnElse, performActionOnEmptyMapLiteral, performActionOnEmptySeqLiteral, performActionOnEmptySetLiteral, performActionOnEmptyStatement, performActionOnEnhancedFor, performActionOnEquals, performActionOnExactInstanceof, performActionOnExecutionContext, performActionOnExtends, performActionOnFieldDeclaration, performActionOnFieldReference, performActionOnFieldSpecification, performActionOnFinally, performActionOnFloatLiteral, performActionOnFor, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnIf, performActionOnImplements, performActionOnImplicitFieldSpecification, performActionOnImport, performActionOnInstanceof, performActionOnInterfaceDeclaration, performActionOnIntersect, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLabeledStatement, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLocalVariableDeclaration, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLongLiteral, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopInit, performActionOnLoopScopeBlock, performActionOnMergePointStatement, performActionOnMetaClassReference, performActionOnMethod, performActionOnMethodBodyStatement, performActionOnMethodDeclaration, performActionOnMethodFrame, performActionOnMethodReference, performActionOnMinus, performActionOnMinusAssignment, performActionOnModifier, performActionOnModulo, performActionOnModuloAssignment, performActionOnNegative, performActionOnNew, performActionOnNewArray, performActionOnNotEquals, performActionOnNullLiteral, performActionOnPackageReference, performActionOnPackageSpecification, performActionOnParameterDeclaration, performActionOnParenthesizedExpression, performActionOnPassiveExpression, performActionOnPlus, performActionOnPlusAssignment, performActionOnPositive, performActionOnPostDecrement, performActionOnPostIncrement, performActionOnPreDecrement, performActionOnPreIncrement, performActionOnProgramConstant, performActionOnProgramElementName, performActionOnProgramMetaConstruct, performActionOnProgramMethod, performActionOnProgramVariable, performActionOnReturn, performActionOnSchematicFieldReference, performActionOnSchemaVariable, performActionOnSeqConcat, performActionOnSeqGet, performActionOnSeqIndexOf, performActionOnSeqLength, performActionOnSeqReverse, performActionOnSeqSingleton, performActionOnSeqSub, performActionOnSetMinus, performActionOnSetUnion, performActionOnShiftLeft, performActionOnShiftLeftAssignment, performActionOnShiftRight, performActionOnShiftRightAssignment, performActionOnSingleton, performActionOnStatementBlock, performActionOnStringLiteral, performActionOnSuperArrayDeclaration, performActionOnSuperConstructorReference, performActionOnSuperReference, performActionOnSwitch, performActionOnSynchronizedBlock, performActionOnThen, performActionOnThisConstructorReference, performActionOnThisReference, performActionOnThrow, performActionOnThrows, performActionOnTimes, performActionOnTimesAssignment, performActionOnTransactionStatement, performActionOnTry, performActionOnTypeCast, performActionOnTypeReference, performActionOnUnsignedShiftRight, performActionOnUnsignedShiftRightAssignment, performActionOnVariableDeclaration, performActionOnVariableReference, performActionOnVariableSpecification, performActionOnWhile, walk

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTWalker

depth, root

Methods inherited from class java.lang.Object

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

Field Detail

result

private final java.util.LinkedHashSet<LocationVariable> result

Constructor Detail

ProgramVariableCollector

public ProgramVariableCollector(ProgramElement root,
                                Services services)

collects all program variables occurring in the AST root using this constructor is equivalent to ProggramVariableCollector(root, false)

Parameters:

root - the ProgramElement which is the root of the AST

services - the Services object

Method Detail

collectHeapVariables

protected void collectHeapVariables()

start

public void start()

Description copied from class: JavaASTWalker

starts the walker

Overrides:

start in class JavaASTWalker

result

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

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

doDefaultAction

protected void doDefaultAction(SourceElement x)

Description copied from class: JavaASTVisitor

the action that is performed just before leaving the node the last time

Specified by:

doDefaultAction in class JavaASTVisitor

Parameters:

x - the node described above

performActionOnLocationVariable

public void performActionOnLocationVariable(LocationVariable x)

Specified by:

performActionOnLocationVariable in interface Visitor

Overrides:

performActionOnLocationVariable in class JavaASTVisitor

performActionOnMergeContract

public void performActionOnMergeContract(MergeContract x)

Specified by:

performActionOnMergeContract in interface Visitor

Overrides:

performActionOnMergeContract in class JavaASTVisitor

performActionOnLoopInvariant

public void performActionOnLoopInvariant(LoopSpecification x)

Specified by:

performActionOnLoopInvariant in interface Visitor

Overrides:

performActionOnLoopInvariant in class JavaASTVisitor

performActionOnBlockContract

public void performActionOnBlockContract(BlockContract x)

Specified by:

performActionOnBlockContract in interface Visitor

Overrides:

performActionOnBlockContract in class JavaASTVisitor

performActionOnLoopContract

public void performActionOnLoopContract(LoopContract x)

Specified by:

performActionOnLoopContract in interface Visitor

Overrides:

performActionOnLoopContract in class JavaASTVisitor