de.uka.ilkd.key.java.visitor

Class DeclarationProgramVariableCollector

java.lang.Object

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

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

de.uka.ilkd.key.java.visitor.DeclarationProgramVariableCollector

All Implemented Interfaces:

Visitor

public class DeclarationProgramVariableCollector
extends JavaASTVisitor

The DeclarationProgramVariableCollector collects all top level declared program variables relative to the given block to be visited, for example starting with { int j; { int i; } { int h; } for (int k; ...) {} int h; } the collector will return a set containg j, h the h because of the second occurrence of h

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Set<IProgramVariable>	result

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

services

Constructor Summary

Constructors

Constructor and Description
DeclarationProgramVariableCollector(ProgramElement root, Services services) creates a new declaration visitor

Method Summary

Modifier and Type	Method and Description
protected void	addVariable(IProgramVariable var) adds the given variable if we are currently at top level
protected void	doDefaultAction(SourceElement x) the action that is performed just before leaving the node the last time
void	performActionOnFieldSpecification(FieldSpecification x)
void	performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)
void	performActionOnLocationVariable(LocationVariable x)
void	performActionOnProgramConstant(ProgramConstant x)
void	performActionOnVariableSpecification(VariableSpecification x)
java.util.Set<IProgramVariable>	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, 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, performActionOnFinally, performActionOnFloatLiteral, performActionOnFor, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnIf, performActionOnImplements, performActionOnImport, performActionOnInstanceof, performActionOnInterfaceDeclaration, performActionOnIntersect, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLabeledStatement, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLocalVariableDeclaration, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLongLiteral, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopInit, performActionOnLoopInvariant, performActionOnLoopScopeBlock, performActionOnMergeContract, 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, 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, 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 java.util.Set<IProgramVariable> result

Constructor Detail

DeclarationProgramVariableCollector

public DeclarationProgramVariableCollector(ProgramElement root,
                                           Services services)

creates a new declaration visitor

Method Detail

start

public void start()

starts the walker

Overrides:

start in class JavaASTWalker

result

public java.util.Set<IProgramVariable> result()

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

addVariable

protected void addVariable(IProgramVariable var)

adds the given variable if we are currently at top level

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

performActionOnVariableSpecification

public void performActionOnVariableSpecification(VariableSpecification x)

Specified by:

performActionOnVariableSpecification in interface Visitor

Overrides:

performActionOnVariableSpecification in class JavaASTVisitor

performActionOnFieldSpecification

public void performActionOnFieldSpecification(FieldSpecification x)

Specified by:

performActionOnFieldSpecification in interface Visitor

Overrides:

performActionOnFieldSpecification in class JavaASTVisitor

performActionOnImplicitFieldSpecification

public void performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)

Specified by:

performActionOnImplicitFieldSpecification in interface Visitor

Overrides:

performActionOnImplicitFieldSpecification in class JavaASTVisitor

performActionOnLocationVariable

public void performActionOnLocationVariable(LocationVariable x)

Specified by:

performActionOnLocationVariable in interface Visitor

Overrides:

performActionOnLocationVariable in class JavaASTVisitor

performActionOnProgramConstant

public void performActionOnProgramConstant(ProgramConstant x)

Specified by:

performActionOnProgramConstant in interface Visitor

Overrides:

performActionOnProgramConstant in class JavaASTVisitor