de.uka.ilkd.key.logic

Class VariableNamer.CustomJavaASTWalker

java.lang.Object

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

de.uka.ilkd.key.logic.VariableNamer.CustomJavaASTWalker

Enclosing class:

VariableNamer

private abstract static class VariableNamer.CustomJavaASTWalker
extends JavaASTWalker

a customized JavaASTWalker

Field Summary

Fields

Modifier and Type	Field and Description
private int	currentScopeDepth
private ProgramElement	declarationNode
private int	declarationScopeDepth

Constructor Summary

Constructors

Constructor and Description
CustomJavaASTWalker(ProgramElement program, PosInProgram posOfDeclaration)

Method Summary

Modifier and Type	Method and Description
protected void	walk(ProgramElement node) walks through the AST.

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

depth, doAction, root, start

Methods inherited from class java.lang.Object

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

Field Detail

declarationNode

private ProgramElement declarationNode

declarationScopeDepth

private int declarationScopeDepth

currentScopeDepth

private int currentScopeDepth

Constructor Detail

CustomJavaASTWalker

CustomJavaASTWalker(ProgramElement program,
                    PosInProgram posOfDeclaration)

Method Detail

walk

protected void walk(ProgramElement node)

Description copied from class: JavaASTWalker

walks through the AST. While keeping track of the current node

Overrides:

walk in class JavaASTWalker

Parameters:

node - the JavaProgramElement the walker is at