de.uka.ilkd.key.java.visitor

Class UndeclaredProgramVariableCollector

java.lang.Object

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

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

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

de.uka.ilkd.key.java.visitor.UndeclaredProgramVariableCollector

All Implemented Interfaces:

Visitor

public class UndeclaredProgramVariableCollector
extends ProgramVariableCollector

This class is a specialization of ProgramVariableCollector which returns as result (result()) used LocationVariable which are undeclared, but used in the given ProgramElement.

Declared {@link LocationVariable}s are:

• Local variables in blocks and methods
• Self variable of an {@link ExecutionContext}
• Result variable of a {@link MethodFrame}

Author:

Martin Hentschel

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.LinkedHashSet<LocationVariable>	allVariables Contains the super result.
private java.util.LinkedHashSet<IProgramVariable>	declaredVariables Contains the found declared IProgramVariables.
private java.util.LinkedHashSet<LocationVariable>	undeclaredVariables Contains the undeclared variables as result.

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

services

Constructor Summary

Constructors

Constructor and Description
UndeclaredProgramVariableCollector(ProgramElement root, Services services) Constructor.

Method Summary

Modifier and Type	Method and Description
protected void	collectHeapVariables()
java.util.LinkedHashSet<LocationVariable>	getAllVariables() Returns all used variables.
java.util.Set<IProgramVariable>	getDeclaredVariables() Returns the found declared variables.
void	performActionOnExecutionContext(ExecutionContext x)
void	performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)
void	performActionOnMethodFrame(MethodFrame x)
java.util.LinkedHashSet<LocationVariable>	result() Returns the undeclared variables as result.

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

doDefaultAction, performActionOnBlockContract, performActionOnLocationVariable, performActionOnLoopContract, performActionOnLoopInvariant, performActionOnMergeContract, start, 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, performActionOnExtends, performActionOnFieldDeclaration, performActionOnFieldReference, performActionOnFieldSpecification, performActionOnFinally, performActionOnFloatLiteral, performActionOnFor, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnIf, performActionOnImplements, performActionOnImplicitFieldSpecification, performActionOnImport, performActionOnInstanceof, performActionOnInterfaceDeclaration, performActionOnIntersect, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLabeledStatement, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLongLiteral, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopInit, performActionOnLoopScopeBlock, performActionOnMergePointStatement, performActionOnMetaClassReference, performActionOnMethod, performActionOnMethodBodyStatement, performActionOnMethodDeclaration, 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

declaredVariables

private java.util.LinkedHashSet<IProgramVariable> declaredVariables

Contains the found declared IProgramVariables.

allVariables

private java.util.LinkedHashSet<LocationVariable> allVariables

Contains the super result.

undeclaredVariables

private java.util.LinkedHashSet<LocationVariable> undeclaredVariables

Contains the undeclared variables as result.

Constructor Detail

UndeclaredProgramVariableCollector

public UndeclaredProgramVariableCollector(ProgramElement root,
                                          Services services)

Constructor.

Parameters:

root - The ProgramElement to collect undeclared variables in.

services - The Services to use.

Method Detail

collectHeapVariables

protected void collectHeapVariables()

Overrides:

collectHeapVariables in class ProgramVariableCollector

performActionOnLocalVariableDeclaration

public void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)

Specified by:

performActionOnLocalVariableDeclaration in interface Visitor

Overrides:

performActionOnLocalVariableDeclaration in class JavaASTVisitor

performActionOnMethodFrame

public void performActionOnMethodFrame(MethodFrame x)

Specified by:

performActionOnMethodFrame in interface Visitor

Overrides:

performActionOnMethodFrame in class JavaASTVisitor

performActionOnExecutionContext

public void performActionOnExecutionContext(ExecutionContext x)

Specified by:

performActionOnExecutionContext in interface Visitor

Overrides:

performActionOnExecutionContext in class JavaASTVisitor

getDeclaredVariables

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

Returns the found declared variables.

Returns:

The found declared variables.

getAllVariables

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

Returns all used variables.

Returns:

All used variables.

result

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

Returns the undeclared variables as result.

Overrides:

result in class ProgramVariableCollector

Returns:

The undeclared variables.