de.uka.ilkd.key.java.recoderext

Class RecoderModelTransformer.FinalOuterVarsCollector

java.lang.Object

recoder.java.SourceVisitor

de.uka.ilkd.key.java.recoderext.SourceVisitorExtended

de.uka.ilkd.key.java.recoderext.RecoderModelTransformer.FinalOuterVarsCollector

Enclosing class:

RecoderModelTransformer

protected class RecoderModelTransformer.FinalOuterVarsCollector
extends SourceVisitorExtended

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.HashMap<ClassType,java.util.List<Variable>>	lc2fv

Constructor Summary

Constructors

Constructor and Description
FinalOuterVarsCollector()

Method Summary

Modifier and Type	Method and Description
void	visitVariableReference(VariableReference vr)
void	walk(SourceElement s)

Methods inherited from class de.uka.ilkd.key.java.recoderext.SourceVisitorExtended

visitCatchAll

Methods inherited from class recoder.java.SourceVisitor

visitAbstract, visitAnnotationDeclaration, visitAnnotationPropertyDeclaration, visitAnnotationPropertyReference, visitAnnotationUse, visitArrayInitializer, visitArrayLengthReference, visitArrayReference, visitAssert, visitBinaryAnd, visitBinaryAndAssignment, visitBinaryNot, visitBinaryOr, visitBinaryOrAssignment, visitBinaryXOr, visitBinaryXOrAssignment, visitBooleanLiteral, visitBreak, visitCase, visitCatch, visitCharLiteral, visitClassDeclaration, visitClassInitializer, visitComment, visitCompilationUnit, visitConditional, visitConstructorDeclaration, visitContinue, visitCopyAssignment, visitDeclarationSpecifier, visitDefault, visitDivide, visitDivideAssignment, visitDo, visitDocComment, visitDoubleLiteral, visitElementValueArrayInitializer, visitElementValuePair, visitElse, visitEmptyStatement, visitEnhancedFor, visitEnumConstantDeclaration, visitEnumConstantSpecification, visitEnumConstructorReference, visitEnumDeclaration, visitEquals, visitExtends, visitFieldDeclaration, visitFieldReference, visitFieldSpecification, visitFinal, visitFinally, visitFloatLiteral, visitFor, visitGreaterOrEquals, visitGreaterThan, visitIdentifier, visitIf, visitImplements, visitImport, visitInstanceof, visitInterfaceDeclaration, visitIntLiteral, visitLabeledStatement, visitLessOrEquals, visitLessThan, visitLiteral, visitLocalVariableDeclaration, visitLogicalAnd, visitLogicalNot, visitLogicalOr, visitLongLiteral, visitMetaClassReference, visitMethodDeclaration, visitMethodReference, visitMinus, visitMinusAssignment, visitModifier, visitModulo, visitModuloAssignment, visitNative, visitNegative, visitNew, visitNewArray, visitNotEquals, visitNullLiteral, visitOperator, visitPackageReference, visitPackageSpecification, visitParameterDeclaration, visitParenthesizedExpression, visitPlus, visitPlusAssignment, visitPositive, visitPostDecrement, visitPostIncrement, visitPreDecrement, visitPreIncrement, visitPrivate, visitProtected, visitPublic, visitReturn, visitShiftLeft, visitShiftLeftAssignment, visitShiftRight, visitShiftRightAssignment, visitSingleLineComment, visitStatementBlock, visitStatic, visitStrictFp, visitStringLiteral, visitSuperConstructorReference, visitSuperReference, visitSwitch, visitSynchronized, visitSynchronizedBlock, visitThen, visitThisConstructorReference, visitThisReference, visitThrow, visitThrows, visitTimes, visitTimesAssignment, visitTransient, visitTry, visitTypeArgument, visitTypeCast, visitTypeParameter, visitTypeReference, visitUncollatedReferenceQualifier, visitUnsignedShiftRight, visitUnsignedShiftRightAssignment, visitVariableDeclaration, visitVariableSpecification, visitVolatile, visitWhile

Methods inherited from class java.lang.Object

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

Field Detail

lc2fv

private final java.util.HashMap<ClassType,java.util.List<Variable>> lc2fv

Constructor Detail

FinalOuterVarsCollector

public FinalOuterVarsCollector()

Method Detail

walk

public void walk(SourceElement s)

visitVariableReference

public void visitVariableReference(VariableReference vr)

Overrides:

visitVariableReference in class SourceVisitor