JavaASTVisitor (KeY API Documentation)

java.lang.Object
- de.uka.ilkd.key.java.visitor.JavaASTWalker
- - de.uka.ilkd.key.java.visitor.JavaASTVisitor

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

ContainsAssignmentCondition.ContainsAssignment, ContainsStatementVisitor, CreatingASTVisitor, DeclarationProgramVariableCollector, FinishSymbolicExecutionUntilMergePointMacro.FilterSymbexStrategy.FindBreakVisitor, InnerBreakAndContinueReplacer, LabelCollector, MiscTools.ReadPVCollector, MiscTools.WrittenAndDeclaredPVCollector, OuterBreakContinueAndReturnCollector, OuterBreakContinueAndReturnReplacer, ProgramVariableCollector, SymbolicExecutionTreeBuilder.MethodFrameCounterJavaASTVisitor, WhileLoopTransformation
```
public abstract class JavaASTVisitor
extends JavaASTWalker
implements Visitor
```
Extends the JavaASTWalker to use the visitor mechanism. The methods inherited by the Visitor interface are all implemented that they call the method doDefaultAction(ProgramElement) .

Field Summary

Fields
Modifier and Type Field and Description

protected Services services

Fields
Modifier and Type	Field and Description
`protected Services`	`services`

Constructor Summary

Constructors
Constructor and Description

JavaASTVisitor(ProgramElement root, Services services)
create the JavaASTVisitor

Constructors
Constructor and Description
`JavaASTVisitor(ProgramElement root, Services services)` create the JavaASTVisitor

Method Summary

All Methods Instance Methods Abstract Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`doAction(ProgramElement node)` the action that is performed just before leaving the node the last time
`protected abstract void`	`doDefaultAction(SourceElement node)` the action that is performed just before leaving the node the last time
`void`	`performActionOnAbstractProgramElement(AbstractProgramElement x)`
`void`	`performActionOnAllFields(AllFields x)`
`void`	`performActionOnAllObjects(AllObjects x)`
`void`	`performActionOnArrayDeclaration(ArrayDeclaration x)`
`void`	`performActionOnArrayInitializer(ArrayInitializer x)`
`void`	`performActionOnArrayLengthReference(ArrayLengthReference x)`
`void`	`performActionOnArrayReference(ArrayReference x)`
`void`	`performActionOnAssert(Assert x)`
`void`	`performActionOnBinaryAnd(BinaryAnd x)`
`void`	`performActionOnBinaryAndAssignment(BinaryAndAssignment x)`
`void`	`performActionOnBinaryNot(BinaryNot x)`
`void`	`performActionOnBinaryOr(BinaryOr x)`
`void`	`performActionOnBinaryOrAssignment(BinaryOrAssignment x)`
`void`	`performActionOnBinaryXOr(BinaryXOr x)`
`void`	`performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)`
`void`	`performActionOnBlockContract(BlockContract x)`
`void`	`performActionOnBlockContract(StatementBlock oldBlock, StatementBlock newBlock)` Adds block contract for new statement block to block contract of old block statement.
`void`	`performActionOnBooleanLiteral(BooleanLiteral x)`
`void`	`performActionOnBreak(Break x)`
`void`	`performActionOnCase(Case x)`
`void`	`performActionOnCatch(Catch x)`
`void`	`performActionOnCatchAllStatement(CatchAllStatement x)`
`void`	`performActionOnCharLiteral(CharLiteral x)`
`void`	`performActionOnClassDeclaration(ClassDeclaration x)`
`void`	`performActionOnClassInitializer(ClassInitializer x)`
`void`	`performActionOnComment(Comment x)`
`void`	`performActionOnCompilationUnit(CompilationUnit x)`
`void`	`performActionOnConditional(Conditional x)`
`void`	`performActionOnConstructorDeclaration(ConstructorDeclaration x)`
`void`	`performActionOnContextStatementBlock(ContextStatementBlock x)`
`void`	`performActionOnContinue(Continue x)`
`void`	`performActionOnCopyAssignment(CopyAssignment x)`
`void`	`performActionOnDefault(Default x)`
`void`	`performActionOnDivide(Divide x)`
`void`	`performActionOnDivideAssignment(DivideAssignment x)`
`void`	`performActionOnDLEmbeddedExpression(DLEmbeddedExpression x)`
`void`	`performActionOnDo(Do x)`
`void`	`performActionOnDoubleLiteral(DoubleLiteral x)`
`void`	`performActionOnElse(Else x)`
`void`	`performActionOnEmptyMapLiteral(EmptyMapLiteral x)`
`void`	`performActionOnEmptySeqLiteral(EmptySeqLiteral x)`
`void`	`performActionOnEmptySetLiteral(EmptySetLiteral x)`
`void`	`performActionOnEmptyStatement(EmptyStatement x)`
`void`	`performActionOnEnhancedFor(EnhancedFor x)`
`void`	`performActionOnEquals(Equals x)`
`void`	`performActionOnExactInstanceof(ExactInstanceof x)`
`void`	`performActionOnExecutionContext(ExecutionContext x)`
`void`	`performActionOnExtends(Extends x)`
`void`	`performActionOnFieldDeclaration(FieldDeclaration x)`
`void`	`performActionOnFieldReference(FieldReference x)`
`void`	`performActionOnFieldSpecification(FieldSpecification x)`
`void`	`performActionOnFinally(Finally x)`
`void`	`performActionOnFloatLiteral(FloatLiteral x)`
`void`	`performActionOnFor(For x)`
`void`	`performActionOnForUpdates(ForUpdates x)`
`void`	`performActionOnGreaterOrEquals(GreaterOrEquals x)`
`void`	`performActionOnGreaterThan(GreaterThan x)`
`void`	`performActionOnGuard(Guard x)`
`void`	`performActionOnIf(If x)`
`void`	`performActionOnImplements(Implements x)`
`void`	`performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)`
`void`	`performActionOnImport(Import x)`
`void`	`performActionOnInstanceof(Instanceof x)`
`void`	`performActionOnInterfaceDeclaration(InterfaceDeclaration x)`
`void`	`performActionOnIntersect(Intersect x)`
`void`	`performActionOnIntLiteral(IntLiteral x)`
`void`	`performActionOnIProgramVariable(IProgramVariable x)`
`void`	`performActionOnLabeledStatement(LabeledStatement x)`
`void`	`performActionOnLessOrEquals(LessOrEquals x)`
`void`	`performActionOnLessThan(LessThan x)`
`void`	`performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)`
`void`	`performActionOnLocationVariable(LocationVariable x)`
`void`	`performActionOnLogicalAnd(LogicalAnd x)`
`void`	`performActionOnLogicalNot(LogicalNot x)`
`void`	`performActionOnLogicalOr(LogicalOr x)`
`void`	`performActionOnLongLiteral(LongLiteral x)`
`void`	`performActionOnLoopContract(LoopContract x)`
`void`	`performActionOnLoopContract(LoopStatement oldLoop, LoopStatement newLoop)` Adds loop contract for new loop statement to loop contract of old loop statement.
`void`	`performActionOnLoopContract(StatementBlock oldBlock, StatementBlock newBlock)` Adds block contract for new statement block to block contract of old block statement.
`void`	`performActionOnLoopInit(LoopInit x)`
`void`	`performActionOnLoopInvariant(LoopSpecification x)`
`void`	`performActionOnLoopScopeBlock(LoopScopeBlock x)`
`void`	`performActionOnMergeContract(MergeContract x)`
`void`	`performActionOnMergePointStatement(MergePointStatement x)`
`void`	`performActionOnMetaClassReference(MetaClassReference x)`
`void`	`performActionOnMethod(IProgramMethod x)`
`void`	`performActionOnMethodBodyStatement(MethodBodyStatement x)`
`void`	`performActionOnMethodDeclaration(MethodDeclaration x)`
`void`	`performActionOnMethodFrame(MethodFrame x)`
`void`	`performActionOnMethodReference(MethodReference x)`
`void`	`performActionOnMinus(Minus x)`
`void`	`performActionOnMinusAssignment(MinusAssignment x)`
`void`	`performActionOnModifier(Modifier x)`
`void`	`performActionOnModulo(Modulo x)`
`void`	`performActionOnModuloAssignment(ModuloAssignment x)`
`void`	`performActionOnNegative(Negative x)`
`void`	`performActionOnNew(New x)`
`void`	`performActionOnNewArray(NewArray x)`
`void`	`performActionOnNotEquals(NotEquals x)`
`void`	`performActionOnNullLiteral(NullLiteral x)`
`void`	`performActionOnPackageReference(PackageReference x)`
`void`	`performActionOnPackageSpecification(PackageSpecification x)`
`void`	`performActionOnParameterDeclaration(ParameterDeclaration x)`
`void`	`performActionOnParenthesizedExpression(ParenthesizedExpression x)`
`void`	`performActionOnPassiveExpression(PassiveExpression x)`
`void`	`performActionOnPlus(Plus x)`
`void`	`performActionOnPlusAssignment(PlusAssignment x)`
`void`	`performActionOnPositive(Positive x)`
`void`	`performActionOnPostDecrement(PostDecrement x)`
`void`	`performActionOnPostIncrement(PostIncrement x)`
`void`	`performActionOnPreDecrement(PreDecrement x)`
`void`	`performActionOnPreIncrement(PreIncrement x)`
`void`	`performActionOnProgramConstant(ProgramConstant x)`
`void`	`performActionOnProgramElementName(ProgramElementName x)`
`void`	`performActionOnProgramMetaConstruct(ProgramTransformer x)`
`void`	`performActionOnProgramMethod(IProgramMethod x)`
`void`	`performActionOnProgramVariable(ProgramVariable x)`
`void`	`performActionOnReturn(Return x)`
`void`	`performActionOnSchematicFieldReference(SchematicFieldReference x)`
`void`	`performActionOnSchemaVariable(SchemaVariable x)`
`void`	`performActionOnSeqConcat(SeqConcat x)`
`void`	`performActionOnSeqGet(SeqGet x)`
`void`	`performActionOnSeqIndexOf(SeqIndexOf x)`
`void`	`performActionOnSeqLength(SeqLength x)`
`void`	`performActionOnSeqReverse(SeqReverse x)`
`void`	`performActionOnSeqSingleton(SeqSingleton x)`
`void`	`performActionOnSeqSub(SeqSub x)`
`void`	`performActionOnSetMinus(SetMinus x)`
`void`	`performActionOnSetUnion(SetUnion x)`
`void`	`performActionOnShiftLeft(ShiftLeft x)`
`void`	`performActionOnShiftLeftAssignment(ShiftLeftAssignment x)`
`void`	`performActionOnShiftRight(ShiftRight x)`
`void`	`performActionOnShiftRightAssignment(ShiftRightAssignment x)`
`void`	`performActionOnSingleton(Singleton x)`
`void`	`performActionOnStatementBlock(StatementBlock x)`
`void`	`performActionOnStringLiteral(StringLiteral x)`
`void`	`performActionOnSuperArrayDeclaration(SuperArrayDeclaration x)`
`void`	`performActionOnSuperConstructorReference(SuperConstructorReference x)`
`void`	`performActionOnSuperReference(SuperReference x)`
`void`	`performActionOnSwitch(Switch x)`
`void`	`performActionOnSynchronizedBlock(SynchronizedBlock x)`
`void`	`performActionOnThen(Then x)`
`void`	`performActionOnThisConstructorReference(ThisConstructorReference x)`
`void`	`performActionOnThisReference(ThisReference x)`
`void`	`performActionOnThrow(Throw x)`
`void`	`performActionOnThrows(Throws x)`
`void`	`performActionOnTimes(Times x)`
`void`	`performActionOnTimesAssignment(TimesAssignment x)`
`void`	`performActionOnTransactionStatement(TransactionStatement x)`
`void`	`performActionOnTry(Try x)`
`void`	`performActionOnTypeCast(TypeCast x)`
`void`	`performActionOnTypeReference(TypeReference x)`
`void`	`performActionOnUnsignedShiftRight(UnsignedShiftRight x)`
`void`	`performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)`
`void`	`performActionOnVariableDeclaration(VariableDeclaration x)`
`void`	`performActionOnVariableReference(VariableReference x)`
`void`	`performActionOnVariableSpecification(VariableSpecification x)`
`void`	`performActionOnWhile(While x)`
`protected void`	`walk(ProgramElement node)` walks through the AST.

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTWalker
depth, root, start

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - services
```
protected final Services services
```
- Constructor Detail
  - JavaASTVisitor
```
public JavaASTVisitor(ProgramElement root,
                      Services services)
```
    create the JavaASTVisitor
    
    Parameters:
    
    root - the ProgramElement where to begin
    
    services - the Services object
- 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
  - doAction
```
protected void doAction(ProgramElement node)
```
    the action that is performed just before leaving the node the last time
    
    Specified by:
    
    doAction in class JavaASTWalker
  - doDefaultAction
```
protected abstract void doDefaultAction(SourceElement node)
```
    the action that is performed just before leaving the node the last time
    
    Parameters:
    
    node - the node described above
  - performActionOnAbstractProgramElement
```
public void performActionOnAbstractProgramElement(AbstractProgramElement x)
```
    Specified by:
    
    performActionOnAbstractProgramElement in interface Visitor
  - performActionOnArrayDeclaration
```
public void performActionOnArrayDeclaration(ArrayDeclaration x)
```
    Specified by:
    
    performActionOnArrayDeclaration in interface Visitor
  - performActionOnArrayInitializer
```
public void performActionOnArrayInitializer(ArrayInitializer x)
```
    Specified by:
    
    performActionOnArrayInitializer in interface Visitor
  - performActionOnArrayLengthReference
```
public void performActionOnArrayLengthReference(ArrayLengthReference x)
```
    Specified by:
    
    performActionOnArrayLengthReference in interface Visitor
  - performActionOnArrayReference
```
public void performActionOnArrayReference(ArrayReference x)
```
    Specified by:
    
    performActionOnArrayReference in interface Visitor
  - performActionOnAssert
```
public void performActionOnAssert(Assert x)
```
    Specified by:
    
    performActionOnAssert in interface Visitor
  - performActionOnBinaryAnd
```
public void performActionOnBinaryAnd(BinaryAnd x)
```
    Specified by:
    
    performActionOnBinaryAnd in interface Visitor
  - performActionOnBinaryAndAssignment
```
public void performActionOnBinaryAndAssignment(BinaryAndAssignment x)
```
    Specified by:
    
    performActionOnBinaryAndAssignment in interface Visitor
  - performActionOnBinaryNot
```
public void performActionOnBinaryNot(BinaryNot x)
```
    Specified by:
    
    performActionOnBinaryNot in interface Visitor
  - performActionOnBinaryOr
```
public void performActionOnBinaryOr(BinaryOr x)
```
    Specified by:
    
    performActionOnBinaryOr in interface Visitor
  - performActionOnBinaryOrAssignment
```
public void performActionOnBinaryOrAssignment(BinaryOrAssignment x)
```
    Specified by:
    
    performActionOnBinaryOrAssignment in interface Visitor
  - performActionOnBinaryXOr
```
public void performActionOnBinaryXOr(BinaryXOr x)
```
    Specified by:
    
    performActionOnBinaryXOr in interface Visitor
  - performActionOnBinaryXOrAssignment
```
public void performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)
```
    Specified by:
    
    performActionOnBinaryXOrAssignment in interface Visitor
  - performActionOnBooleanLiteral
```
public void performActionOnBooleanLiteral(BooleanLiteral x)
```
    Specified by:
    
    performActionOnBooleanLiteral in interface Visitor
  - performActionOnEmptySetLiteral
```
public void performActionOnEmptySetLiteral(EmptySetLiteral x)
```
    Specified by:
    
    performActionOnEmptySetLiteral in interface Visitor
  - performActionOnSingleton
```
public void performActionOnSingleton(Singleton x)
```
    Specified by:
    
    performActionOnSingleton in interface Visitor
  - performActionOnSetUnion
```
public void performActionOnSetUnion(SetUnion x)
```
    Specified by:
    
    performActionOnSetUnion in interface Visitor
  - performActionOnIntersect
```
public void performActionOnIntersect(Intersect x)
```
    Specified by:
    
    performActionOnIntersect in interface Visitor
  - performActionOnSetMinus
```
public void performActionOnSetMinus(SetMinus x)
```
    Specified by:
    
    performActionOnSetMinus in interface Visitor
  - performActionOnAllFields
```
public void performActionOnAllFields(AllFields x)
```
    Specified by:
    
    performActionOnAllFields in interface Visitor
  - performActionOnAllObjects
```
public void performActionOnAllObjects(AllObjects x)
```
    Specified by:
    
    performActionOnAllObjects in interface Visitor
  - performActionOnEmptySeqLiteral
```
public void performActionOnEmptySeqLiteral(EmptySeqLiteral x)
```
    Specified by:
    
    performActionOnEmptySeqLiteral in interface Visitor
  - performActionOnSeqSingleton
```
public void performActionOnSeqSingleton(SeqSingleton x)
```
    Specified by:
    
    performActionOnSeqSingleton in interface Visitor
  - performActionOnSeqConcat
```
public void performActionOnSeqConcat(SeqConcat x)
```
    Specified by:
    
    performActionOnSeqConcat in interface Visitor
  - performActionOnSeqSub
```
public void performActionOnSeqSub(SeqSub x)
```
    Specified by:
    
    performActionOnSeqSub in interface Visitor
  - performActionOnSeqReverse
```
public void performActionOnSeqReverse(SeqReverse x)
```
    Specified by:
    
    performActionOnSeqReverse in interface Visitor
  - performActionOnDLEmbeddedExpression
```
public void performActionOnDLEmbeddedExpression(DLEmbeddedExpression x)
```
    Specified by:
    
    performActionOnDLEmbeddedExpression in interface Visitor
  - performActionOnSeqIndexOf
```
public void performActionOnSeqIndexOf(SeqIndexOf x)
```
    Specified by:
    
    performActionOnSeqIndexOf in interface Visitor
  - performActionOnSeqGet
```
public void performActionOnSeqGet(SeqGet x)
```
    Specified by:
    
    performActionOnSeqGet in interface Visitor
  - performActionOnSeqLength
```
public void performActionOnSeqLength(SeqLength x)
```
    Specified by:
    
    performActionOnSeqLength in interface Visitor
  - performActionOnBreak
```
public void performActionOnBreak(Break x)
```
    Specified by:
    
    performActionOnBreak in interface Visitor
  - performActionOnCase
```
public void performActionOnCase(Case x)
```
    Specified by:
    
    performActionOnCase in interface Visitor
  - performActionOnCatch
```
public void performActionOnCatch(Catch x)
```
    Specified by:
    
    performActionOnCatch in interface Visitor
  - performActionOnCatchAllStatement
```
public void performActionOnCatchAllStatement(CatchAllStatement x)
```
    Specified by:
    
    performActionOnCatchAllStatement in interface Visitor
  - performActionOnCharLiteral
```
public void performActionOnCharLiteral(CharLiteral x)
```
    Specified by:
    
    performActionOnCharLiteral in interface Visitor
  - performActionOnClassDeclaration
```
public void performActionOnClassDeclaration(ClassDeclaration x)
```
    Specified by:
    
    performActionOnClassDeclaration in interface Visitor
  - performActionOnClassInitializer
```
public void performActionOnClassInitializer(ClassInitializer x)
```
    Specified by:
    
    performActionOnClassInitializer in interface Visitor
  - performActionOnComment
```
public void performActionOnComment(Comment x)
```
    Specified by:
    
    performActionOnComment in interface Visitor
  - performActionOnCompilationUnit
```
public void performActionOnCompilationUnit(CompilationUnit x)
```
    Specified by:
    
    performActionOnCompilationUnit in interface Visitor
  - performActionOnConditional
```
public void performActionOnConditional(Conditional x)
```
    Specified by:
    
    performActionOnConditional in interface Visitor
  - performActionOnConstructorDeclaration
```
public void performActionOnConstructorDeclaration(ConstructorDeclaration x)
```
    Specified by:
    
    performActionOnConstructorDeclaration in interface Visitor
  - performActionOnContextStatementBlock
```
public void performActionOnContextStatementBlock(ContextStatementBlock x)
```
    Specified by:
    
    performActionOnContextStatementBlock in interface Visitor
  - performActionOnContinue
```
public void performActionOnContinue(Continue x)
```
    Specified by:
    
    performActionOnContinue in interface Visitor
  - performActionOnCopyAssignment
```
public void performActionOnCopyAssignment(CopyAssignment x)
```
    Specified by:
    
    performActionOnCopyAssignment in interface Visitor
  - performActionOnDefault
```
public void performActionOnDefault(Default x)
```
    Specified by:
    
    performActionOnDefault in interface Visitor
  - performActionOnDivide
```
public void performActionOnDivide(Divide x)
```
    Specified by:
    
    performActionOnDivide in interface Visitor
  - performActionOnDivideAssignment
```
public void performActionOnDivideAssignment(DivideAssignment x)
```
    Specified by:
    
    performActionOnDivideAssignment in interface Visitor
  - performActionOnDo
```
public void performActionOnDo(Do x)
```
    Specified by:
    
    performActionOnDo in interface Visitor
  - performActionOnDoubleLiteral
```
public void performActionOnDoubleLiteral(DoubleLiteral x)
```
    Specified by:
    
    performActionOnDoubleLiteral in interface Visitor
  - performActionOnElse
```
public void performActionOnElse(Else x)
```
    Specified by:
    
    performActionOnElse in interface Visitor
  - performActionOnEmptyStatement
```
public void performActionOnEmptyStatement(EmptyStatement x)
```
    Specified by:
    
    performActionOnEmptyStatement in interface Visitor
  - performActionOnEquals
```
public void performActionOnEquals(Equals x)
```
    Specified by:
    
    performActionOnEquals in interface Visitor
  - performActionOnExactInstanceof
```
public void performActionOnExactInstanceof(ExactInstanceof x)
```
    Specified by:
    
    performActionOnExactInstanceof in interface Visitor
  - performActionOnExecutionContext
```
public void performActionOnExecutionContext(ExecutionContext x)
```
    Specified by:
    
    performActionOnExecutionContext in interface Visitor
  - performActionOnExtends
```
public void performActionOnExtends(Extends x)
```
    Specified by:
    
    performActionOnExtends in interface Visitor
  - performActionOnEnhancedFor
```
public void performActionOnEnhancedFor(EnhancedFor x)
```
    Specified by:
    
    performActionOnEnhancedFor in interface Visitor
  - performActionOnFieldDeclaration
```
public void performActionOnFieldDeclaration(FieldDeclaration x)
```
    Specified by:
    
    performActionOnFieldDeclaration in interface Visitor
  - performActionOnFieldReference
```
public void performActionOnFieldReference(FieldReference x)
```
    Specified by:
    
    performActionOnFieldReference in interface Visitor
  - performActionOnFieldSpecification
```
public void performActionOnFieldSpecification(FieldSpecification x)
```
    Specified by:
    
    performActionOnFieldSpecification in interface Visitor
  - performActionOnFinally
```
public void performActionOnFinally(Finally x)
```
    Specified by:
    
    performActionOnFinally in interface Visitor
  - performActionOnFloatLiteral
```
public void performActionOnFloatLiteral(FloatLiteral x)
```
    Specified by:
    
    performActionOnFloatLiteral in interface Visitor
  - performActionOnFor
```
public void performActionOnFor(For x)
```
    Specified by:
    
    performActionOnFor in interface Visitor
  - performActionOnForUpdates
```
public void performActionOnForUpdates(ForUpdates x)
```
    Specified by:
    
    performActionOnForUpdates in interface Visitor
  - performActionOnGreaterOrEquals
```
public void performActionOnGreaterOrEquals(GreaterOrEquals x)
```
    Specified by:
    
    performActionOnGreaterOrEquals in interface Visitor
  - performActionOnGreaterThan
```
public void performActionOnGreaterThan(GreaterThan x)
```
    Specified by:
    
    performActionOnGreaterThan in interface Visitor
  - performActionOnGuard
```
public void performActionOnGuard(Guard x)
```
    Specified by:
    
    performActionOnGuard in interface Visitor
  - performActionOnIf
```
public void performActionOnIf(If x)
```
    Specified by:
    
    performActionOnIf in interface Visitor
  - performActionOnImplements
```
public void performActionOnImplements(Implements x)
```
    Specified by:
    
    performActionOnImplements in interface Visitor
  - performActionOnImplicitFieldSpecification
```
public void performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)
```
    Specified by:
    
    performActionOnImplicitFieldSpecification in interface Visitor
  - performActionOnImport
```
public void performActionOnImport(Import x)
```
    Specified by:
    
    performActionOnImport in interface Visitor
  - performActionOnInstanceof
```
public void performActionOnInstanceof(Instanceof x)
```
    Specified by:
    
    performActionOnInstanceof in interface Visitor
  - performActionOnInterfaceDeclaration
```
public void performActionOnInterfaceDeclaration(InterfaceDeclaration x)
```
    Specified by:
    
    performActionOnInterfaceDeclaration in interface Visitor
  - performActionOnIntLiteral
```
public void performActionOnIntLiteral(IntLiteral x)
```
    Specified by:
    
    performActionOnIntLiteral in interface Visitor
  - performActionOnLabeledStatement
```
public void performActionOnLabeledStatement(LabeledStatement x)
```
    Specified by:
    
    performActionOnLabeledStatement in interface Visitor
  - performActionOnLessOrEquals
```
public void performActionOnLessOrEquals(LessOrEquals x)
```
    Specified by:
    
    performActionOnLessOrEquals in interface Visitor
  - performActionOnLessThan
```
public void performActionOnLessThan(LessThan x)
```
    Specified by:
    
    performActionOnLessThan in interface Visitor
  - performActionOnLocalVariableDeclaration
```
public void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)
```
    Specified by:
    
    performActionOnLocalVariableDeclaration in interface Visitor
  - performActionOnLocationVariable
```
public void performActionOnLocationVariable(LocationVariable x)
```
    Specified by:
    
    performActionOnLocationVariable in interface Visitor
  - performActionOnLogicalAnd
```
public void performActionOnLogicalAnd(LogicalAnd x)
```
    Specified by:
    
    performActionOnLogicalAnd in interface Visitor
  - performActionOnLogicalNot
```
public void performActionOnLogicalNot(LogicalNot x)
```
    Specified by:
    
    performActionOnLogicalNot in interface Visitor
  - performActionOnLogicalOr
```
public void performActionOnLogicalOr(LogicalOr x)
```
    Specified by:
    
    performActionOnLogicalOr in interface Visitor
  - performActionOnLongLiteral
```
public void performActionOnLongLiteral(LongLiteral x)
```
    Specified by:
    
    performActionOnLongLiteral in interface Visitor
  - performActionOnLoopInit
```
public void performActionOnLoopInit(LoopInit x)
```
    Specified by:
    
    performActionOnLoopInit in interface Visitor
  - performActionOnMetaClassReference
```
public void performActionOnMetaClassReference(MetaClassReference x)
```
    Specified by:
    
    performActionOnMetaClassReference in interface Visitor
  - performActionOnMethod
```
public void performActionOnMethod(IProgramMethod x)
```
    Specified by:
    
    performActionOnMethod in interface Visitor
  - performActionOnMethodBodyStatement
```
public void performActionOnMethodBodyStatement(MethodBodyStatement x)
```
    Specified by:
    
    performActionOnMethodBodyStatement in interface Visitor
  - performActionOnMethodDeclaration
```
public void performActionOnMethodDeclaration(MethodDeclaration x)
```
    Specified by:
    
    performActionOnMethodDeclaration in interface Visitor
  - performActionOnMethodFrame
```
public void performActionOnMethodFrame(MethodFrame x)
```
    Specified by:
    
    performActionOnMethodFrame in interface Visitor
  - performActionOnMethodReference
```
public void performActionOnMethodReference(MethodReference x)
```
    Specified by:
    
    performActionOnMethodReference in interface Visitor
  - performActionOnMinus
```
public void performActionOnMinus(Minus x)
```
    Specified by:
    
    performActionOnMinus in interface Visitor
  - performActionOnMinusAssignment
```
public void performActionOnMinusAssignment(MinusAssignment x)
```
    Specified by:
    
    performActionOnMinusAssignment in interface Visitor
  - performActionOnModifier
```
public void performActionOnModifier(Modifier x)
```
    Specified by:
    
    performActionOnModifier in interface Visitor
  - performActionOnModulo
```
public void performActionOnModulo(Modulo x)
```
    Specified by:
    
    performActionOnModulo in interface Visitor
  - performActionOnModuloAssignment
```
public void performActionOnModuloAssignment(ModuloAssignment x)
```
    Specified by:
    
    performActionOnModuloAssignment in interface Visitor
  - performActionOnNegative
```
public void performActionOnNegative(Negative x)
```
    Specified by:
    
    performActionOnNegative in interface Visitor
  - performActionOnNew
```
public void performActionOnNew(New x)
```
    Specified by:
    
    performActionOnNew in interface Visitor
  - performActionOnNewArray
```
public void performActionOnNewArray(NewArray x)
```
    Specified by:
    
    performActionOnNewArray in interface Visitor
  - performActionOnNotEquals
```
public void performActionOnNotEquals(NotEquals x)
```
    Specified by:
    
    performActionOnNotEquals in interface Visitor
  - performActionOnNullLiteral
```
public void performActionOnNullLiteral(NullLiteral x)
```
    Specified by:
    
    performActionOnNullLiteral in interface Visitor
  - performActionOnPackageReference
```
public void performActionOnPackageReference(PackageReference x)
```
    Specified by:
    
    performActionOnPackageReference in interface Visitor
  - performActionOnPackageSpecification
```
public void performActionOnPackageSpecification(PackageSpecification x)
```
    Specified by:
    
    performActionOnPackageSpecification in interface Visitor
  - performActionOnParameterDeclaration
```
public void performActionOnParameterDeclaration(ParameterDeclaration x)
```
    Specified by:
    
    performActionOnParameterDeclaration in interface Visitor
  - performActionOnParenthesizedExpression
```
public void performActionOnParenthesizedExpression(ParenthesizedExpression x)
```
    Specified by:
    
    performActionOnParenthesizedExpression in interface Visitor
  - performActionOnPassiveExpression
```
public void performActionOnPassiveExpression(PassiveExpression x)
```
    Specified by:
    
    performActionOnPassiveExpression in interface Visitor
  - performActionOnPlus
```
public void performActionOnPlus(Plus x)
```
    Specified by:
    
    performActionOnPlus in interface Visitor
  - performActionOnPlusAssignment
```
public void performActionOnPlusAssignment(PlusAssignment x)
```
    Specified by:
    
    performActionOnPlusAssignment in interface Visitor
  - performActionOnPositive
```
public void performActionOnPositive(Positive x)
```
    Specified by:
    
    performActionOnPositive in interface Visitor
  - performActionOnPostDecrement
```
public void performActionOnPostDecrement(PostDecrement x)
```
    Specified by:
    
    performActionOnPostDecrement in interface Visitor
  - performActionOnPostIncrement
```
public void performActionOnPostIncrement(PostIncrement x)
```
    Specified by:
    
    performActionOnPostIncrement in interface Visitor
  - performActionOnPreDecrement
```
public void performActionOnPreDecrement(PreDecrement x)
```
    Specified by:
    
    performActionOnPreDecrement in interface Visitor
  - performActionOnPreIncrement
```
public void performActionOnPreIncrement(PreIncrement x)
```
    Specified by:
    
    performActionOnPreIncrement in interface Visitor
  - performActionOnProgramConstant
```
public void performActionOnProgramConstant(ProgramConstant x)
```
    Specified by:
    
    performActionOnProgramConstant in interface Visitor
  - performActionOnProgramElementName
```
public void performActionOnProgramElementName(ProgramElementName x)
```
    Specified by:
    
    performActionOnProgramElementName in interface Visitor
  - performActionOnProgramMetaConstruct
```
public void performActionOnProgramMetaConstruct(ProgramTransformer x)
```
    Specified by:
    
    performActionOnProgramMetaConstruct in interface Visitor
  - performActionOnProgramMethod
```
public void performActionOnProgramMethod(IProgramMethod x)
```
    Specified by:
    
    performActionOnProgramMethod in interface Visitor
  - performActionOnProgramVariable
```
public void performActionOnProgramVariable(ProgramVariable x)
```
    Specified by:
    
    performActionOnProgramVariable in interface Visitor
  - performActionOnIProgramVariable
```
public void performActionOnIProgramVariable(IProgramVariable x)
```
    Specified by:
    
    performActionOnIProgramVariable in interface Visitor
  - performActionOnReturn
```
public void performActionOnReturn(Return x)
```
    Specified by:
    
    performActionOnReturn in interface Visitor
  - performActionOnSchematicFieldReference
```
public void performActionOnSchematicFieldReference(SchematicFieldReference x)
```
    Specified by:
    
    performActionOnSchematicFieldReference in interface Visitor
  - performActionOnSchemaVariable
```
public void performActionOnSchemaVariable(SchemaVariable x)
```
    Specified by:
    
    performActionOnSchemaVariable in interface Visitor
  - performActionOnShiftLeft
```
public void performActionOnShiftLeft(ShiftLeft x)
```
    Specified by:
    
    performActionOnShiftLeft in interface Visitor
  - performActionOnShiftLeftAssignment
```
public void performActionOnShiftLeftAssignment(ShiftLeftAssignment x)
```
    Specified by:
    
    performActionOnShiftLeftAssignment in interface Visitor
  - performActionOnShiftRight
```
public void performActionOnShiftRight(ShiftRight x)
```
    Specified by:
    
    performActionOnShiftRight in interface Visitor
  - performActionOnShiftRightAssignment
```
public void performActionOnShiftRightAssignment(ShiftRightAssignment x)
```
    Specified by:
    
    performActionOnShiftRightAssignment in interface Visitor
  - performActionOnStatementBlock
```
public void performActionOnStatementBlock(StatementBlock x)
```
    Specified by:
    
    performActionOnStatementBlock in interface Visitor
  - performActionOnStringLiteral
```
public void performActionOnStringLiteral(StringLiteral x)
```
    Specified by:
    
    performActionOnStringLiteral in interface Visitor
  - performActionOnSuperArrayDeclaration
```
public void performActionOnSuperArrayDeclaration(SuperArrayDeclaration x)
```
    Specified by:
    
    performActionOnSuperArrayDeclaration in interface Visitor
  - performActionOnSuperConstructorReference
```
public void performActionOnSuperConstructorReference(SuperConstructorReference x)
```
    Specified by:
    
    performActionOnSuperConstructorReference in interface Visitor
  - performActionOnSuperReference
```
public void performActionOnSuperReference(SuperReference x)
```
    Specified by:
    
    performActionOnSuperReference in interface Visitor
  - performActionOnSwitch
```
public void performActionOnSwitch(Switch x)
```
    Specified by:
    
    performActionOnSwitch in interface Visitor
  - performActionOnSynchronizedBlock
```
public void performActionOnSynchronizedBlock(SynchronizedBlock x)
```
    Specified by:
    
    performActionOnSynchronizedBlock in interface Visitor
  - performActionOnLoopScopeBlock
```
public void performActionOnLoopScopeBlock(LoopScopeBlock x)
```
    Specified by:
    
    performActionOnLoopScopeBlock in interface Visitor
  - performActionOnThen
```
public void performActionOnThen(Then x)
```
    Specified by:
    
    performActionOnThen in interface Visitor
  - performActionOnThisConstructorReference
```
public void performActionOnThisConstructorReference(ThisConstructorReference x)
```
    Specified by:
    
    performActionOnThisConstructorReference in interface Visitor
  - performActionOnThisReference
```
public void performActionOnThisReference(ThisReference x)
```
    Specified by:
    
    performActionOnThisReference in interface Visitor
  - performActionOnThrow
```
public void performActionOnThrow(Throw x)
```
    Specified by:
    
    performActionOnThrow in interface Visitor
  - performActionOnThrows
```
public void performActionOnThrows(Throws x)
```
    Specified by:
    
    performActionOnThrows in interface Visitor
  - performActionOnTimes
```
public void performActionOnTimes(Times x)
```
    Specified by:
    
    performActionOnTimes in interface Visitor
  - performActionOnTimesAssignment
```
public void performActionOnTimesAssignment(TimesAssignment x)
```
    Specified by:
    
    performActionOnTimesAssignment in interface Visitor
  - performActionOnTry
```
public void performActionOnTry(Try x)
```
    Specified by:
    
    performActionOnTry in interface Visitor
  - performActionOnTypeCast
```
public void performActionOnTypeCast(TypeCast x)
```
    Specified by:
    
    performActionOnTypeCast in interface Visitor
  - performActionOnTypeReference
```
public void performActionOnTypeReference(TypeReference x)
```
    Specified by:
    
    performActionOnTypeReference in interface Visitor
  - performActionOnUnsignedShiftRight
```
public void performActionOnUnsignedShiftRight(UnsignedShiftRight x)
```
    Specified by:
    
    performActionOnUnsignedShiftRight in interface Visitor
  - performActionOnUnsignedShiftRightAssignment
```
public void performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)
```
    Specified by:
    
    performActionOnUnsignedShiftRightAssignment in interface Visitor
  - performActionOnVariableDeclaration
```
public void performActionOnVariableDeclaration(VariableDeclaration x)
```
    Specified by:
    
    performActionOnVariableDeclaration in interface Visitor
  - performActionOnVariableReference
```
public void performActionOnVariableReference(VariableReference x)
```
    Specified by:
    
    performActionOnVariableReference in interface Visitor
  - performActionOnVariableSpecification
```
public void performActionOnVariableSpecification(VariableSpecification x)
```
    Specified by:
    
    performActionOnVariableSpecification in interface Visitor
  - performActionOnWhile
```
public void performActionOnWhile(While x)
```
    Specified by:
    
    performActionOnWhile in interface Visitor
  - performActionOnMergePointStatement
```
public void performActionOnMergePointStatement(MergePointStatement x)
```
    Specified by:
    
    performActionOnMergePointStatement in interface Visitor
  - performActionOnLoopInvariant
```
public void performActionOnLoopInvariant(LoopSpecification x)
```
    Specified by:
    
    performActionOnLoopInvariant in interface Visitor
  - performActionOnBlockContract
```
public void performActionOnBlockContract(BlockContract x)
```
    Specified by:
    
    performActionOnBlockContract in interface Visitor
  - performActionOnLoopContract
```
public void performActionOnLoopContract(LoopContract x)
```
    Specified by:
    
    performActionOnLoopContract in interface Visitor
  - performActionOnBlockContract
```
public void performActionOnBlockContract(StatementBlock oldBlock,
                                         StatementBlock newBlock)
```
    Description copied from interface: Visitor
    
    Adds block contract for new statement block to block contract of old block statement.
    
    Specified by:
    
    performActionOnBlockContract in interface Visitor
    
    Parameters:
    
    oldBlock - the old block
    
    newBlock - the new block
  - performActionOnLoopContract
```
public void performActionOnLoopContract(StatementBlock oldBlock,
                                        StatementBlock newBlock)
```
    Description copied from interface: Visitor
    
    Adds block contract for new statement block to block contract of old block statement.
    
    Specified by:
    
    performActionOnLoopContract in interface Visitor
    
    Parameters:
    
    oldBlock - the old block
    
    newBlock - the new block
  - performActionOnLoopContract
```
public void performActionOnLoopContract(LoopStatement oldLoop,
                                        LoopStatement newLoop)
```
    Description copied from interface: Visitor
    
    Adds loop contract for new loop statement to loop contract of old loop statement.
    
    Specified by:
    
    performActionOnLoopContract in interface Visitor
    
    Parameters:
    
    oldLoop - the old loop statement
    
    newLoop - the new loop statement
  - performActionOnMergeContract
```
public void performActionOnMergeContract(MergeContract x)
```
    Specified by:
    
    performActionOnMergeContract in interface Visitor
  - performActionOnTransactionStatement
```
public void performActionOnTransactionStatement(TransactionStatement x)
```
    Specified by:
    
    performActionOnTransactionStatement in interface Visitor
  - performActionOnEmptyMapLiteral
```
public void performActionOnEmptyMapLiteral(EmptyMapLiteral x)
```
    Specified by:
    
    performActionOnEmptyMapLiteral in interface Visitor

Class JavaASTVisitor

Field Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

Field Detail

services

Constructor Detail

JavaASTVisitor

Method Detail

walk

doAction

doDefaultAction

performActionOnAbstractProgramElement

performActionOnArrayDeclaration

performActionOnArrayInitializer

performActionOnArrayLengthReference

performActionOnArrayReference

performActionOnAssert

performActionOnBinaryAnd

performActionOnBinaryAndAssignment

performActionOnBinaryNot

performActionOnBinaryOr

performActionOnBinaryOrAssignment

performActionOnBinaryXOr

performActionOnBinaryXOrAssignment

performActionOnBooleanLiteral

performActionOnEmptySetLiteral

performActionOnSingleton

performActionOnSetUnion

performActionOnIntersect

performActionOnSetMinus

performActionOnAllFields

performActionOnAllObjects

performActionOnEmptySeqLiteral

performActionOnSeqSingleton

performActionOnSeqConcat

performActionOnSeqSub

performActionOnSeqReverse

performActionOnDLEmbeddedExpression

performActionOnSeqIndexOf

performActionOnSeqGet

performActionOnSeqLength

performActionOnBreak

performActionOnCase

performActionOnCatch

performActionOnCatchAllStatement

performActionOnCharLiteral

performActionOnClassDeclaration

performActionOnClassInitializer

performActionOnComment

performActionOnCompilationUnit

performActionOnConditional

performActionOnConstructorDeclaration

performActionOnContextStatementBlock

performActionOnContinue

performActionOnCopyAssignment

performActionOnDefault

performActionOnDivide

performActionOnDivideAssignment

performActionOnDo

performActionOnDoubleLiteral

performActionOnElse

performActionOnEmptyStatement

performActionOnEquals

performActionOnExactInstanceof

performActionOnExecutionContext

performActionOnExtends

performActionOnEnhancedFor

performActionOnFieldDeclaration

performActionOnFieldReference

performActionOnFieldSpecification

performActionOnFinally

performActionOnFloatLiteral

performActionOnFor

performActionOnForUpdates

performActionOnGreaterOrEquals

performActionOnGreaterThan

performActionOnGuard