CreatingASTVisitor (KeY API Documentation)

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

All Implemented Interfaces:

Visitor

Direct Known Subclasses:

FieldReplaceVisitor, MergeRuleUtils.CollectLocationVariablesVisitor, MergeRuleUtils.CollectLocationVariablesVisitorHashSet, ProgramElementReplacer, ProgramReplaceVisitor, ProgVarReplaceVisitor, ReplaceWhileLoop
```
public abstract class CreatingASTVisitor
extends JavaASTVisitor
```
Walks through a java AST in depth-left-fist-order.

Nested Class Summary

Nested Classes
Modifier and Type Class and Description

protected class CreatingASTVisitor.DefaultAction

private class CreatingASTVisitor.ParameterDeclarationAction

Nested Classes
Modifier and Type	Class and Description
`protected class`	`CreatingASTVisitor.DefaultAction`
`private class`	`CreatingASTVisitor.ParameterDeclarationAction`

Field Summary

Fields
Modifier and Type Field and Description

protected static java.lang.Boolean CHANGED

(package private) boolean preservesPositionInfo

protected java.util.Deque<ExtList> stack
- Fields inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor
  services

Fields
Modifier and Type	Field and Description
`protected static java.lang.Boolean`	`CHANGED`
`(package private) boolean`	`preservesPositionInfo`
`protected java.util.Deque<ExtList>`	`stack`

Constructor Summary

Constructors
Constructor and Description

CreatingASTVisitor(ProgramElement root, boolean preservesPos, Services services)
create the CreatingASTVisitor

Constructors
Constructor and Description
`CreatingASTVisitor(ProgramElement root, boolean preservesPos, Services services)` create the CreatingASTVisitor

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`protected void`	`addChild(SourceElement x)`
`protected void`	`addChildren(ImmutableArray<ProgramElement> arr)`
`protected void`	`addToTopOfStack(SourceElement x)`
`protected void`	`changed()`
`protected void`	`doDefaultAction(SourceElement x)` called if the program element x is unchanged
`protected static int`	`getPosition(NonTerminalProgramElement pe1, ProgramElement pe2)` returns the position of pe2 in the virtual child array of pe1
`void`	`performActionOnAllFields(AllFields 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`	`performActionOnBreak(Break x)`
`void`	`performActionOnCase(Case x)`
`void`	`performActionOnCatch(Catch x)`
`void`	`performActionOnClassInitializer(ClassInitializer x)`
`void`	`performActionOnConditional(Conditional 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`	`performActionOnElse(Else x)`
`void`	`performActionOnEmptyStatement(EmptyStatement x)`
`void`	`performActionOnEnhancedFor(EnhancedFor x)`
`void`	`performActionOnEquals(Equals x)`
`void`	`performActionOnExecutionContext(ExecutionContext x)`
`void`	`performActionOnFieldReference(FieldReference x)`
`void`	`performActionOnFinally(Finally 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`	`performActionOnInstanceof(Instanceof x)`
`void`	`performActionOnIntersect(Intersect x)`
`void`	`performActionOnLabeledStatement(LabeledStatement x)`
`void`	`performActionOnLessOrEquals(LessOrEquals x)`
`void`	`performActionOnLessThan(LessThan x)`
`void`	`performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)`
`void`	`performActionOnLogicalAnd(LogicalAnd x)`
`void`	`performActionOnLogicalNot(LogicalNot x)`
`void`	`performActionOnLogicalOr(LogicalOr x)`
`void`	`performActionOnLoopInit(LoopInit x)`
`protected void`	`performActionOnLoopInvariant(LoopStatement oldLoop, LoopStatement newLoop)`
`void`	`performActionOnLoopScopeBlock(LoopScopeBlock x)`
`protected void`	`performActionOnMergeContract(MergePointStatement oldLoop, MergePointStatement newLoop)`
`void`	`performActionOnMergePointStatement(MergePointStatement x)`
`void`	`performActionOnMetaClassReference(MetaClassReference x)`
`void`	`performActionOnMethodBodyStatement(MethodBodyStatement x)`
`void`	`performActionOnMethodFrame(MethodFrame x)`
`void`	`performActionOnMethodReference(MethodReference x)`
`void`	`performActionOnMinus(Minus x)`
`void`	`performActionOnMinusAssignment(MinusAssignment 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`	`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`	`performActionOnReturn(Return x)`
`void`	`performActionOnSchematicFieldReference(SchematicFieldReference sfr)`
`void`	`performActionOnSeqConcat(SeqConcat 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`	`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`	`performActionOnTimes(Times x)`
`void`	`performActionOnTimesAssignment(TimesAssignment x)`
`void`	`performActionOnTry(Try x)`
`void`	`performActionOnTypeCast(TypeCast x)`
`void`	`performActionOnTypeReference(TypeReference x)`
`void`	`performActionOnUnsignedShiftRight(UnsignedShiftRight x)`
`void`	`performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)`
`void`	`performActionOnVariableSpecification(VariableSpecification x)`
`void`	`performActionOnWhile(While x)`
`boolean`	`preservesPositionInfo()`
`java.lang.String`	`toString()`
`protected void`	`walk(ProgramElement node)` walks through the AST.

Methods inherited from class de.uka.ilkd.key.java.visitor.JavaASTVisitor
doAction, performActionOnAbstractProgramElement, performActionOnAllObjects, performActionOnArrayDeclaration, performActionOnBlockContract, performActionOnBlockContract, performActionOnBooleanLiteral, performActionOnCatchAllStatement, performActionOnCharLiteral, performActionOnClassDeclaration, performActionOnComment, performActionOnCompilationUnit, performActionOnConstructorDeclaration, performActionOnContextStatementBlock, performActionOnDoubleLiteral, performActionOnEmptyMapLiteral, performActionOnEmptySeqLiteral, performActionOnEmptySetLiteral, performActionOnExactInstanceof, performActionOnExtends, performActionOnFieldDeclaration, performActionOnFieldSpecification, performActionOnFloatLiteral, performActionOnImplements, performActionOnImplicitFieldSpecification, performActionOnImport, performActionOnInterfaceDeclaration, performActionOnIntLiteral, performActionOnIProgramVariable, performActionOnLocationVariable, performActionOnLongLiteral, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopContract, performActionOnLoopInvariant, performActionOnMergeContract, performActionOnMethod, performActionOnMethodDeclaration, performActionOnModifier, performActionOnNullLiteral, performActionOnProgramConstant, performActionOnProgramElementName, performActionOnProgramMetaConstruct, performActionOnProgramMethod, performActionOnProgramVariable, performActionOnSchemaVariable, performActionOnSeqGet, performActionOnSeqIndexOf, performActionOnStringLiteral, performActionOnSuperArrayDeclaration, performActionOnThrows, performActionOnTransactionStatement, performActionOnVariableDeclaration, performActionOnVariableReference

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, wait, wait, wait

- Field Detail
  - CHANGED
```
protected static final java.lang.Boolean CHANGED
```
  - stack
```
protected java.util.Deque<ExtList> stack
```
  - preservesPositionInfo
```
boolean preservesPositionInfo
```
- Constructor Detail
  - CreatingASTVisitor
```
public CreatingASTVisitor(ProgramElement root,
                          boolean preservesPos,
                          Services services)
```
    create the CreatingASTVisitor
    
    Parameters:
    
    root - the ProgramElement where to begin
    
    preservesPos - whether the position should be preserved
    
    services - the services instance
- Method Detail
  - preservesPositionInfo
```
public boolean preservesPositionInfo()
```
  - 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 JavaASTVisitor
    
    Parameters:
    
    node - the JavaProgramElement the walker is at
  - toString
```
public java.lang.String toString()
```
    Overrides:
    
    toString in class java.lang.Object
  - doDefaultAction
```
protected void doDefaultAction(SourceElement x)
```
    called if the program element x is unchanged
    
    Specified by:
    
    doDefaultAction in class JavaASTVisitor
    
    Parameters:
    
    x - The SourceElement.
  - performActionOnAssert
```
public void performActionOnAssert(Assert x)
```
    Specified by:
    
    performActionOnAssert in interface Visitor
    
    Overrides:
    
    performActionOnAssert in class JavaASTVisitor
  - performActionOnEmptyStatement
```
public void performActionOnEmptyStatement(EmptyStatement x)
```
    Specified by:
    
    performActionOnEmptyStatement in interface Visitor
    
    Overrides:
    
    performActionOnEmptyStatement in class JavaASTVisitor
  - performActionOnStatementBlock
```
public void performActionOnStatementBlock(StatementBlock x)
```
    Specified by:
    
    performActionOnStatementBlock in interface Visitor
    
    Overrides:
    
    performActionOnStatementBlock in class JavaASTVisitor
  - performActionOnMergePointStatement
```
public void performActionOnMergePointStatement(MergePointStatement x)
```
    Specified by:
    
    performActionOnMergePointStatement in interface Visitor
    
    Overrides:
    
    performActionOnMergePointStatement in class JavaASTVisitor
  - performActionOnMergeContract
```
protected void performActionOnMergeContract(MergePointStatement oldLoop,
                                            MergePointStatement newLoop)
```
  - performActionOnLoopInvariant
```
protected void performActionOnLoopInvariant(LoopStatement oldLoop,
                                            LoopStatement newLoop)
```
  - performActionOnWhile
```
public void performActionOnWhile(While x)
```
    Specified by:
    
    performActionOnWhile in interface Visitor
    
    Overrides:
    
    performActionOnWhile in class JavaASTVisitor
  - performActionOnDo
```
public void performActionOnDo(Do x)
```
    Specified by:
    
    performActionOnDo in interface Visitor
    
    Overrides:
    
    performActionOnDo in class JavaASTVisitor
  - performActionOnIf
```
public void performActionOnIf(If x)
```
    Specified by:
    
    performActionOnIf in interface Visitor
    
    Overrides:
    
    performActionOnIf in class JavaASTVisitor
  - performActionOnThen
```
public void performActionOnThen(Then x)
```
    Specified by:
    
    performActionOnThen in interface Visitor
    
    Overrides:
    
    performActionOnThen in class JavaASTVisitor
  - performActionOnVariableSpecification
```
public void performActionOnVariableSpecification(VariableSpecification x)
```
    Specified by:
    
    performActionOnVariableSpecification in interface Visitor
    
    Overrides:
    
    performActionOnVariableSpecification in class JavaASTVisitor
  - performActionOnFieldReference
```
public void performActionOnFieldReference(FieldReference x)
```
    Specified by:
    
    performActionOnFieldReference in interface Visitor
    
    Overrides:
    
    performActionOnFieldReference in class JavaASTVisitor
  - performActionOnSchematicFieldReference
```
public void performActionOnSchematicFieldReference(SchematicFieldReference sfr)
```
    Specified by:
    
    performActionOnSchematicFieldReference in interface Visitor
    
    Overrides:
    
    performActionOnSchematicFieldReference in class JavaASTVisitor
  - performActionOnMethodReference
```
public void performActionOnMethodReference(MethodReference x)
```
    Specified by:
    
    performActionOnMethodReference in interface Visitor
    
    Overrides:
    
    performActionOnMethodReference in class JavaASTVisitor
  - performActionOnTypeReference
```
public void performActionOnTypeReference(TypeReference x)
```
    Specified by:
    
    performActionOnTypeReference in interface Visitor
    
    Overrides:
    
    performActionOnTypeReference in class JavaASTVisitor
  - performActionOnElse
```
public void performActionOnElse(Else x)
```
    Specified by:
    
    performActionOnElse in interface Visitor
    
    Overrides:
    
    performActionOnElse in class JavaASTVisitor
  - performActionOnCase
```
public void performActionOnCase(Case x)
```
    Specified by:
    
    performActionOnCase in interface Visitor
    
    Overrides:
    
    performActionOnCase in class JavaASTVisitor
  - performActionOnCatch
```
public void performActionOnCatch(Catch x)
```
    Specified by:
    
    performActionOnCatch in interface Visitor
    
    Overrides:
    
    performActionOnCatch in class JavaASTVisitor
  - performActionOnThrow
```
public void performActionOnThrow(Throw x)
```
    Specified by:
    
    performActionOnThrow in interface Visitor
    
    Overrides:
    
    performActionOnThrow in class JavaASTVisitor
  - performActionOnTry
```
public void performActionOnTry(Try x)
```
    Specified by:
    
    performActionOnTry in interface Visitor
    
    Overrides:
    
    performActionOnTry in class JavaASTVisitor
  - performActionOnDefault
```
public void performActionOnDefault(Default x)
```
    Specified by:
    
    performActionOnDefault in interface Visitor
    
    Overrides:
    
    performActionOnDefault in class JavaASTVisitor
  - performActionOnFinally
```
public void performActionOnFinally(Finally x)
```
    Specified by:
    
    performActionOnFinally in interface Visitor
    
    Overrides:
    
    performActionOnFinally in class JavaASTVisitor
  - performActionOnInstanceof
```
public void performActionOnInstanceof(Instanceof x)
```
    Specified by:
    
    performActionOnInstanceof in interface Visitor
    
    Overrides:
    
    performActionOnInstanceof in class JavaASTVisitor
  - performActionOnBreak
```
public void performActionOnBreak(Break x)
```
    Specified by:
    
    performActionOnBreak in interface Visitor
    
    Overrides:
    
    performActionOnBreak in class JavaASTVisitor
  - performActionOnContinue
```
public void performActionOnContinue(Continue x)
```
    Specified by:
    
    performActionOnContinue in interface Visitor
    
    Overrides:
    
    performActionOnContinue in class JavaASTVisitor
  - performActionOnFor
```
public void performActionOnFor(For x)
```
    Specified by:
    
    performActionOnFor in interface Visitor
    
    Overrides:
    
    performActionOnFor in class JavaASTVisitor
  - performActionOnEnhancedFor
```
public void performActionOnEnhancedFor(EnhancedFor x)
```
    Specified by:
    
    performActionOnEnhancedFor in interface Visitor
    
    Overrides:
    
    performActionOnEnhancedFor in class JavaASTVisitor
  - performActionOnLabeledStatement
```
public void performActionOnLabeledStatement(LabeledStatement x)
```
    Specified by:
    
    performActionOnLabeledStatement in interface Visitor
    
    Overrides:
    
    performActionOnLabeledStatement in class JavaASTVisitor
  - performActionOnMethodFrame
```
public void performActionOnMethodFrame(MethodFrame x)
```
    Specified by:
    
    performActionOnMethodFrame in interface Visitor
    
    Overrides:
    
    performActionOnMethodFrame in class JavaASTVisitor
  - performActionOnMethodBodyStatement
```
public void performActionOnMethodBodyStatement(MethodBodyStatement x)
```
    Specified by:
    
    performActionOnMethodBodyStatement in interface Visitor
    
    Overrides:
    
    performActionOnMethodBodyStatement in class JavaASTVisitor
  - performActionOnSynchronizedBlock
```
public void performActionOnSynchronizedBlock(SynchronizedBlock x)
```
    Specified by:
    
    performActionOnSynchronizedBlock in interface Visitor
    
    Overrides:
    
    performActionOnSynchronizedBlock in class JavaASTVisitor
  - performActionOnLoopScopeBlock
```
public void performActionOnLoopScopeBlock(LoopScopeBlock x)
```
    Specified by:
    
    performActionOnLoopScopeBlock in interface Visitor
    
    Overrides:
    
    performActionOnLoopScopeBlock in class JavaASTVisitor
  - performActionOnCopyAssignment
```
public void performActionOnCopyAssignment(CopyAssignment x)
```
    Specified by:
    
    performActionOnCopyAssignment in interface Visitor
    
    Overrides:
    
    performActionOnCopyAssignment in class JavaASTVisitor
  - performActionOnPreIncrement
```
public void performActionOnPreIncrement(PreIncrement x)
```
    Specified by:
    
    performActionOnPreIncrement in interface Visitor
    
    Overrides:
    
    performActionOnPreIncrement in class JavaASTVisitor
  - performActionOnPostIncrement
```
public void performActionOnPostIncrement(PostIncrement x)
```
    Specified by:
    
    performActionOnPostIncrement in interface Visitor
    
    Overrides:
    
    performActionOnPostIncrement in class JavaASTVisitor
  - performActionOnPlus
```
public void performActionOnPlus(Plus x)
```
    Specified by:
    
    performActionOnPlus in interface Visitor
    
    Overrides:
    
    performActionOnPlus in class JavaASTVisitor
  - performActionOnTimes
```
public void performActionOnTimes(Times x)
```
    Specified by:
    
    performActionOnTimes in interface Visitor
    
    Overrides:
    
    performActionOnTimes in class JavaASTVisitor
  - performActionOnMinus
```
public void performActionOnMinus(Minus x)
```
    Specified by:
    
    performActionOnMinus in interface Visitor
    
    Overrides:
    
    performActionOnMinus in class JavaASTVisitor
  - performActionOnEquals
```
public void performActionOnEquals(Equals x)
```
    Specified by:
    
    performActionOnEquals in interface Visitor
    
    Overrides:
    
    performActionOnEquals in class JavaASTVisitor
  - performActionOnNotEquals
```
public void performActionOnNotEquals(NotEquals x)
```
    Specified by:
    
    performActionOnNotEquals in interface Visitor
    
    Overrides:
    
    performActionOnNotEquals in class JavaASTVisitor
  - performActionOnReturn
```
public void performActionOnReturn(Return x)
```
    Specified by:
    
    performActionOnReturn in interface Visitor
    
    Overrides:
    
    performActionOnReturn in class JavaASTVisitor
  - performActionOnLessThan
```
public void performActionOnLessThan(LessThan x)
```
    Specified by:
    
    performActionOnLessThan in interface Visitor
    
    Overrides:
    
    performActionOnLessThan in class JavaASTVisitor
  - performActionOnParenthesizedExpression
```
public void performActionOnParenthesizedExpression(ParenthesizedExpression x)
```
    Specified by:
    
    performActionOnParenthesizedExpression in interface Visitor
    
    Overrides:
    
    performActionOnParenthesizedExpression in class JavaASTVisitor
  - performActionOnPassiveExpression
```
public void performActionOnPassiveExpression(PassiveExpression x)
```
    Specified by:
    
    performActionOnPassiveExpression in interface Visitor
    
    Overrides:
    
    performActionOnPassiveExpression in class JavaASTVisitor
  - performActionOnTypeCast
```
public void performActionOnTypeCast(TypeCast x)
```
    Specified by:
    
    performActionOnTypeCast in interface Visitor
    
    Overrides:
    
    performActionOnTypeCast in class JavaASTVisitor
  - performActionOnGreaterThan
```
public void performActionOnGreaterThan(GreaterThan x)
```
    Specified by:
    
    performActionOnGreaterThan in interface Visitor
    
    Overrides:
    
    performActionOnGreaterThan in class JavaASTVisitor
  - performActionOnBinaryAnd
```
public void performActionOnBinaryAnd(BinaryAnd x)
```
    Specified by:
    
    performActionOnBinaryAnd in interface Visitor
    
    Overrides:
    
    performActionOnBinaryAnd in class JavaASTVisitor
  - performActionOnBinaryOr
```
public void performActionOnBinaryOr(BinaryOr x)
```
    Specified by:
    
    performActionOnBinaryOr in interface Visitor
    
    Overrides:
    
    performActionOnBinaryOr in class JavaASTVisitor
  - performActionOnBinaryXOr
```
public void performActionOnBinaryXOr(BinaryXOr x)
```
    Specified by:
    
    performActionOnBinaryXOr in interface Visitor
    
    Overrides:
    
    performActionOnBinaryXOr in class JavaASTVisitor
  - performActionOnBinaryNot
```
public void performActionOnBinaryNot(BinaryNot x)
```
    Specified by:
    
    performActionOnBinaryNot in interface Visitor
    
    Overrides:
    
    performActionOnBinaryNot in class JavaASTVisitor
  - performActionOnBinaryAndAssignment
```
public void performActionOnBinaryAndAssignment(BinaryAndAssignment x)
```
    Specified by:
    
    performActionOnBinaryAndAssignment in interface Visitor
    
    Overrides:
    
    performActionOnBinaryAndAssignment in class JavaASTVisitor
  - performActionOnBinaryOrAssignment
```
public void performActionOnBinaryOrAssignment(BinaryOrAssignment x)
```
    Specified by:
    
    performActionOnBinaryOrAssignment in interface Visitor
    
    Overrides:
    
    performActionOnBinaryOrAssignment in class JavaASTVisitor
  - performActionOnBinaryXOrAssignment
```
public void performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)
```
    Specified by:
    
    performActionOnBinaryXOrAssignment in interface Visitor
    
    Overrides:
    
    performActionOnBinaryXOrAssignment in class JavaASTVisitor
  - performActionOnDivideAssignment
```
public void performActionOnDivideAssignment(DivideAssignment x)
```
    Specified by:
    
    performActionOnDivideAssignment in interface Visitor
    
    Overrides:
    
    performActionOnDivideAssignment in class JavaASTVisitor
  - performActionOnMinusAssignment
```
public void performActionOnMinusAssignment(MinusAssignment x)
```
    Specified by:
    
    performActionOnMinusAssignment in interface Visitor
    
    Overrides:
    
    performActionOnMinusAssignment in class JavaASTVisitor
  - performActionOnModuloAssignment
```
public void performActionOnModuloAssignment(ModuloAssignment x)
```
    Specified by:
    
    performActionOnModuloAssignment in interface Visitor
    
    Overrides:
    
    performActionOnModuloAssignment in class JavaASTVisitor
  - performActionOnPlusAssignment
```
public void performActionOnPlusAssignment(PlusAssignment x)
```
    Specified by:
    
    performActionOnPlusAssignment in interface Visitor
    
    Overrides:
    
    performActionOnPlusAssignment in class JavaASTVisitor
  - performActionOnPostDecrement
```
public void performActionOnPostDecrement(PostDecrement x)
```
    Specified by:
    
    performActionOnPostDecrement in interface Visitor
    
    Overrides:
    
    performActionOnPostDecrement in class JavaASTVisitor
  - performActionOnPreDecrement
```
public void performActionOnPreDecrement(PreDecrement x)
```
    Specified by:
    
    performActionOnPreDecrement in interface Visitor
    
    Overrides:
    
    performActionOnPreDecrement in class JavaASTVisitor
  - performActionOnShiftLeftAssignment
```
public void performActionOnShiftLeftAssignment(ShiftLeftAssignment x)
```
    Specified by:
    
    performActionOnShiftLeftAssignment in interface Visitor
    
    Overrides:
    
    performActionOnShiftLeftAssignment in class JavaASTVisitor
  - performActionOnShiftRightAssignment
```
public void performActionOnShiftRightAssignment(ShiftRightAssignment x)
```
    Specified by:
    
    performActionOnShiftRightAssignment in interface Visitor
    
    Overrides:
    
    performActionOnShiftRightAssignment in class JavaASTVisitor
  - performActionOnTimesAssignment
```
public void performActionOnTimesAssignment(TimesAssignment x)
```
    Specified by:
    
    performActionOnTimesAssignment in interface Visitor
    
    Overrides:
    
    performActionOnTimesAssignment in class JavaASTVisitor
  - performActionOnConditional
```
public void performActionOnConditional(Conditional x)
```
    Specified by:
    
    performActionOnConditional in interface Visitor
    
    Overrides:
    
    performActionOnConditional in class JavaASTVisitor
  - performActionOnUnsignedShiftRightAssignment
```
public void performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)
```
    Specified by:
    
    performActionOnUnsignedShiftRightAssignment in interface Visitor
    
    Overrides:
    
    performActionOnUnsignedShiftRightAssignment in class JavaASTVisitor
  - performActionOnDivide
```
public void performActionOnDivide(Divide x)
```
    Specified by:
    
    performActionOnDivide in interface Visitor
    
    Overrides:
    
    performActionOnDivide in class JavaASTVisitor
  - performActionOnNewArray
```
public void performActionOnNewArray(NewArray x)
```
    Specified by:
    
    performActionOnNewArray in interface Visitor
    
    Overrides:
    
    performActionOnNewArray in class JavaASTVisitor
  - performActionOnNew
```
public void performActionOnNew(New x)
```
    Specified by:
    
    performActionOnNew in interface Visitor
    
    Overrides:
    
    performActionOnNew in class JavaASTVisitor
  - performActionOnLogicalNot
```
public void performActionOnLogicalNot(LogicalNot x)
```
    Specified by:
    
    performActionOnLogicalNot in interface Visitor
    
    Overrides:
    
    performActionOnLogicalNot in class JavaASTVisitor
  - performActionOnLogicalAnd
```
public void performActionOnLogicalAnd(LogicalAnd x)
```
    Specified by:
    
    performActionOnLogicalAnd in interface Visitor
    
    Overrides:
    
    performActionOnLogicalAnd in class JavaASTVisitor
  - performActionOnLogicalOr
```
public void performActionOnLogicalOr(LogicalOr x)
```
    Specified by:
    
    performActionOnLogicalOr in interface Visitor
    
    Overrides:
    
    performActionOnLogicalOr in class JavaASTVisitor
  - performActionOnModulo
```
public void performActionOnModulo(Modulo x)
```
    Specified by:
    
    performActionOnModulo in interface Visitor
    
    Overrides:
    
    performActionOnModulo in class JavaASTVisitor
  - performActionOnNegative
```
public void performActionOnNegative(Negative x)
```
    Specified by:
    
    performActionOnNegative in interface Visitor
    
    Overrides:
    
    performActionOnNegative in class JavaASTVisitor
  - performActionOnPositive
```
public void performActionOnPositive(Positive x)
```
    Specified by:
    
    performActionOnPositive in interface Visitor
    
    Overrides:
    
    performActionOnPositive in class JavaASTVisitor
  - performActionOnShiftLeft
```
public void performActionOnShiftLeft(ShiftLeft x)
```
    Specified by:
    
    performActionOnShiftLeft in interface Visitor
    
    Overrides:
    
    performActionOnShiftLeft in class JavaASTVisitor
  - performActionOnShiftRight
```
public void performActionOnShiftRight(ShiftRight x)
```
    Specified by:
    
    performActionOnShiftRight in interface Visitor
    
    Overrides:
    
    performActionOnShiftRight in class JavaASTVisitor
  - performActionOnUnsignedShiftRight
```
public void performActionOnUnsignedShiftRight(UnsignedShiftRight x)
```
    Specified by:
    
    performActionOnUnsignedShiftRight in interface Visitor
    
    Overrides:
    
    performActionOnUnsignedShiftRight in class JavaASTVisitor
  - performActionOnArrayReference
```
public void performActionOnArrayReference(ArrayReference x)
```
    Specified by:
    
    performActionOnArrayReference in interface Visitor
    
    Overrides:
    
    performActionOnArrayReference in class JavaASTVisitor
  - performActionOnMetaClassReference
```
public void performActionOnMetaClassReference(MetaClassReference x)
```
    Specified by:
    
    performActionOnMetaClassReference in interface Visitor
    
    Overrides:
    
    performActionOnMetaClassReference in class JavaASTVisitor
  - performActionOnSuperConstructorReference
```
public void performActionOnSuperConstructorReference(SuperConstructorReference x)
```
    Specified by:
    
    performActionOnSuperConstructorReference in interface Visitor
    
    Overrides:
    
    performActionOnSuperConstructorReference in class JavaASTVisitor
  - performActionOnThisConstructorReference
```
public void performActionOnThisConstructorReference(ThisConstructorReference x)
```
    Specified by:
    
    performActionOnThisConstructorReference in interface Visitor
    
    Overrides:
    
    performActionOnThisConstructorReference in class JavaASTVisitor
  - performActionOnExecutionContext
```
public void performActionOnExecutionContext(ExecutionContext x)
```
    Specified by:
    
    performActionOnExecutionContext in interface Visitor
    
    Overrides:
    
    performActionOnExecutionContext in class JavaASTVisitor
  - performActionOnSuperReference
```
public void performActionOnSuperReference(SuperReference x)
```
    Specified by:
    
    performActionOnSuperReference in interface Visitor
    
    Overrides:
    
    performActionOnSuperReference in class JavaASTVisitor
  - performActionOnThisReference
```
public void performActionOnThisReference(ThisReference x)
```
    Specified by:
    
    performActionOnThisReference in interface Visitor
    
    Overrides:
    
    performActionOnThisReference in class JavaASTVisitor
  - performActionOnArrayLengthReference
```
public void performActionOnArrayLengthReference(ArrayLengthReference x)
```
    Specified by:
    
    performActionOnArrayLengthReference in interface Visitor
    
    Overrides:
    
    performActionOnArrayLengthReference in class JavaASTVisitor
  - performActionOnSwitch
```
public void performActionOnSwitch(Switch x)
```
    Specified by:
    
    performActionOnSwitch in interface Visitor
    
    Overrides:
    
    performActionOnSwitch in class JavaASTVisitor
  - performActionOnClassInitializer
```
public void performActionOnClassInitializer(ClassInitializer x)
```
    Specified by:
    
    performActionOnClassInitializer in interface Visitor
    
    Overrides:
    
    performActionOnClassInitializer in class JavaASTVisitor
  - performActionOnArrayInitializer
```
public void performActionOnArrayInitializer(ArrayInitializer x)
```
    Specified by:
    
    performActionOnArrayInitializer in interface Visitor
    
    Overrides:
    
    performActionOnArrayInitializer in class JavaASTVisitor
  - performActionOnPackageReference
```
public void performActionOnPackageReference(PackageReference x)
```
    Specified by:
    
    performActionOnPackageReference in interface Visitor
    
    Overrides:
    
    performActionOnPackageReference in class JavaASTVisitor
  - performActionOnPackageSpecification
```
public void performActionOnPackageSpecification(PackageSpecification x)
```
    Specified by:
    
    performActionOnPackageSpecification in interface Visitor
    
    Overrides:
    
    performActionOnPackageSpecification in class JavaASTVisitor
  - performActionOnLessOrEquals
```
public void performActionOnLessOrEquals(LessOrEquals x)
```
    Specified by:
    
    performActionOnLessOrEquals in interface Visitor
    
    Overrides:
    
    performActionOnLessOrEquals in class JavaASTVisitor
  - performActionOnGreaterOrEquals
```
public void performActionOnGreaterOrEquals(GreaterOrEquals x)
```
    Specified by:
    
    performActionOnGreaterOrEquals in interface Visitor
    
    Overrides:
    
    performActionOnGreaterOrEquals in class JavaASTVisitor
  - performActionOnLocalVariableDeclaration
```
public void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)
```
    Specified by:
    
    performActionOnLocalVariableDeclaration in interface Visitor
    
    Overrides:
    
    performActionOnLocalVariableDeclaration in class JavaASTVisitor
  - performActionOnParameterDeclaration
```
public void performActionOnParameterDeclaration(ParameterDeclaration x)
```
    Specified by:
    
    performActionOnParameterDeclaration in interface Visitor
    
    Overrides:
    
    performActionOnParameterDeclaration in class JavaASTVisitor
  - performActionOnForUpdates
```
public void performActionOnForUpdates(ForUpdates x)
```
    Specified by:
    
    performActionOnForUpdates in interface Visitor
    
    Overrides:
    
    performActionOnForUpdates in class JavaASTVisitor
  - performActionOnGuard
```
public void performActionOnGuard(Guard x)
```
    Specified by:
    
    performActionOnGuard in interface Visitor
    
    Overrides:
    
    performActionOnGuard in class JavaASTVisitor
  - performActionOnLoopInit
```
public void performActionOnLoopInit(LoopInit x)
```
    Specified by:
    
    performActionOnLoopInit in interface Visitor
    
    Overrides:
    
    performActionOnLoopInit in class JavaASTVisitor
  - performActionOnSingleton
```
public void performActionOnSingleton(Singleton x)
```
    Specified by:
    
    performActionOnSingleton in interface Visitor
    
    Overrides:
    
    performActionOnSingleton in class JavaASTVisitor
  - performActionOnSetUnion
```
public void performActionOnSetUnion(SetUnion x)
```
    Specified by:
    
    performActionOnSetUnion in interface Visitor
    
    Overrides:
    
    performActionOnSetUnion in class JavaASTVisitor
  - performActionOnIntersect
```
public void performActionOnIntersect(Intersect x)
```
    Specified by:
    
    performActionOnIntersect in interface Visitor
    
    Overrides:
    
    performActionOnIntersect in class JavaASTVisitor
  - performActionOnSetMinus
```
public void performActionOnSetMinus(SetMinus x)
```
    Specified by:
    
    performActionOnSetMinus in interface Visitor
    
    Overrides:
    
    performActionOnSetMinus in class JavaASTVisitor
  - performActionOnAllFields
```
public void performActionOnAllFields(AllFields x)
```
    Specified by:
    
    performActionOnAllFields in interface Visitor
    
    Overrides:
    
    performActionOnAllFields in class JavaASTVisitor
  - performActionOnSeqSingleton
```
public void performActionOnSeqSingleton(SeqSingleton x)
```
    Specified by:
    
    performActionOnSeqSingleton in interface Visitor
    
    Overrides:
    
    performActionOnSeqSingleton in class JavaASTVisitor
  - performActionOnSeqConcat
```
public void performActionOnSeqConcat(SeqConcat x)
```
    Specified by:
    
    performActionOnSeqConcat in interface Visitor
    
    Overrides:
    
    performActionOnSeqConcat in class JavaASTVisitor
  - performActionOnSeqReverse
```
public void performActionOnSeqReverse(SeqReverse x)
```
    Specified by:
    
    performActionOnSeqReverse in interface Visitor
    
    Overrides:
    
    performActionOnSeqReverse in class JavaASTVisitor
  - performActionOnDLEmbeddedExpression
```
public void performActionOnDLEmbeddedExpression(DLEmbeddedExpression x)
```
    Specified by:
    
    performActionOnDLEmbeddedExpression in interface Visitor
    
    Overrides:
    
    performActionOnDLEmbeddedExpression in class JavaASTVisitor
  - performActionOnSeqSub
```
public void performActionOnSeqSub(SeqSub x)
```
    Specified by:
    
    performActionOnSeqSub in interface Visitor
    
    Overrides:
    
    performActionOnSeqSub in class JavaASTVisitor
  - performActionOnSeqLength
```
public void performActionOnSeqLength(SeqLength x)
```
    Specified by:
    
    performActionOnSeqLength in interface Visitor
    
    Overrides:
    
    performActionOnSeqLength in class JavaASTVisitor
  - getPosition
```
protected static int getPosition(NonTerminalProgramElement pe1,
                                 ProgramElement pe2)
```
    returns the position of pe2 in the virtual child array of pe1
    
    Parameters:
    
    pe1 - A NonTerminalProgramElement
    
    pe2 - A ProgramElement
    
    Returns:
    
    pe2's position in pe1
  - changed
```
protected void changed()
```
  - addToTopOfStack
```
protected void addToTopOfStack(SourceElement x)
```
  - addChild
```
protected void addChild(SourceElement x)
```
  - addChildren
```
protected void addChildren(ImmutableArray<ProgramElement> arr)
```

Class CreatingASTVisitor

Nested Class Summary

Field Summary

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

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

Field Detail

CHANGED

stack

preservesPositionInfo

Constructor Detail

CreatingASTVisitor

Method Detail

preservesPositionInfo

walk

toString

doDefaultAction

performActionOnAssert

performActionOnEmptyStatement

performActionOnStatementBlock

performActionOnMergePointStatement

performActionOnMergeContract

performActionOnLoopInvariant

performActionOnWhile

performActionOnDo

performActionOnIf

performActionOnThen

performActionOnVariableSpecification

performActionOnFieldReference

performActionOnSchematicFieldReference

performActionOnMethodReference

performActionOnTypeReference

performActionOnElse

performActionOnCase

performActionOnCatch

performActionOnThrow

performActionOnTry

performActionOnDefault

performActionOnFinally

performActionOnInstanceof

performActionOnBreak

performActionOnContinue

performActionOnFor

performActionOnEnhancedFor

performActionOnLabeledStatement

performActionOnMethodFrame

performActionOnMethodBodyStatement

performActionOnSynchronizedBlock

performActionOnLoopScopeBlock

performActionOnCopyAssignment

performActionOnPreIncrement

performActionOnPostIncrement

performActionOnPlus

performActionOnTimes

performActionOnMinus

performActionOnEquals

performActionOnNotEquals

performActionOnReturn

performActionOnLessThan

performActionOnParenthesizedExpression

performActionOnPassiveExpression

performActionOnTypeCast

performActionOnGreaterThan

performActionOnBinaryAnd

performActionOnBinaryOr

performActionOnBinaryXOr

performActionOnBinaryNot

performActionOnBinaryAndAssignment

performActionOnBinaryOrAssignment

performActionOnBinaryXOrAssignment

performActionOnDivideAssignment

performActionOnMinusAssignment

performActionOnModuloAssignment

performActionOnPlusAssignment

performActionOnPostDecrement

performActionOnPreDecrement

performActionOnShiftLeftAssignment