de.uka.ilkd.key.java.visitor

Interface Visitor

All Known Implementing Classes:

ContainsAssignmentCondition.ContainsAssignment, ContainsStatementVisitor, CreatingASTVisitor, DeclarationProgramVariableCollector, FieldReplaceVisitor, FinishSymbolicExecutionUntilMergePointMacro.FilterSymbexStrategy.FindBreakVisitor, ForToWhileTransformation, InnerBreakAndContinueReplacer, JavaASTVisitor, LabelCollector, MergeRuleUtils.CollectLocationVariablesVisitor, MergeRuleUtils.CollectLocationVariablesVisitorHashSet, MiscTools.ReadPVCollector, MiscTools.WrittenAndDeclaredPVCollector, OuterBreakContinueAndReturnCollector, OuterBreakContinueAndReturnReplacer, ProgramElementReplacer, ProgramReplaceVisitor, ProgramVariableCollector, ProgVarReplaceVisitor, ReplaceWhileLoop, SymbolicExecutionTreeBuilder.MethodFrameCounterJavaASTVisitor, UndeclaredProgramVariableCollector, WhileInvariantTransformation, WhileLoopTransformation

public interface Visitor

This class is implemented by visitors/walkers. Each AST node implements a visit(Visitor) method that calls the doActionAt method. Similar to the pretty print mechanism.

Method Summary

Modifier and Type	Method and Description
void	performActionOnAbstractProgramElement(AbstractProgramElement x)
void	performActionOnAllFields(AllFields x)
void	performActionOnAllObjects(AllObjects allObjects)
void	performActionOnArrayDeclaration(ArrayDeclaration x)
void	performActionOnArrayInitializer(ArrayInitializer x)
void	performActionOnArrayLengthReference(ArrayLengthReference x)
void	performActionOnArrayReference(ArrayReference x)
void	performActionOnAssert(Assert assert1)
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 aThis)
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 variable)
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 constant)
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 seqGet)
void	performActionOnSeqIndexOf(SeqIndexOf x)
void	performActionOnSeqLength(SeqLength seqLength)
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 transSt)
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)

Method Detail

performActionOnAbstractProgramElement

void performActionOnAbstractProgramElement(AbstractProgramElement x)

performActionOnProgramElementName

void performActionOnProgramElementName(ProgramElementName x)

performActionOnProgramVariable

void performActionOnProgramVariable(ProgramVariable x)

performActionOnIProgramVariable

void performActionOnIProgramVariable(IProgramVariable x)

performActionOnSchemaVariable

void performActionOnSchemaVariable(SchemaVariable x)

performActionOnProgramMethod

void performActionOnProgramMethod(IProgramMethod x)

performActionOnProgramMetaConstruct

void performActionOnProgramMetaConstruct(ProgramTransformer x)

performActionOnContextStatementBlock

void performActionOnContextStatementBlock(ContextStatementBlock x)

performActionOnIntLiteral

void performActionOnIntLiteral(IntLiteral x)

performActionOnBooleanLiteral

void performActionOnBooleanLiteral(BooleanLiteral x)

performActionOnEmptySetLiteral

void performActionOnEmptySetLiteral(EmptySetLiteral x)

performActionOnSingleton

void performActionOnSingleton(Singleton x)

performActionOnSetUnion

void performActionOnSetUnion(SetUnion x)

performActionOnIntersect

void performActionOnIntersect(Intersect x)

performActionOnSetMinus

void performActionOnSetMinus(SetMinus x)

performActionOnAllFields

void performActionOnAllFields(AllFields x)

performActionOnAllObjects

void performActionOnAllObjects(AllObjects allObjects)

performActionOnEmptySeqLiteral

void performActionOnEmptySeqLiteral(EmptySeqLiteral x)

performActionOnSeqSingleton

void performActionOnSeqSingleton(SeqSingleton x)

performActionOnSeqConcat

void performActionOnSeqConcat(SeqConcat x)

performActionOnSeqIndexOf

void performActionOnSeqIndexOf(SeqIndexOf x)

performActionOnSeqSub

void performActionOnSeqSub(SeqSub x)

performActionOnSeqReverse

void performActionOnSeqReverse(SeqReverse x)

performActionOnDLEmbeddedExpression

void performActionOnDLEmbeddedExpression(DLEmbeddedExpression x)

performActionOnStringLiteral

void performActionOnStringLiteral(StringLiteral x)

performActionOnNullLiteral

void performActionOnNullLiteral(NullLiteral x)

performActionOnCharLiteral

void performActionOnCharLiteral(CharLiteral x)

performActionOnDoubleLiteral

void performActionOnDoubleLiteral(DoubleLiteral x)

performActionOnLongLiteral

void performActionOnLongLiteral(LongLiteral x)

performActionOnFloatLiteral

void performActionOnFloatLiteral(FloatLiteral x)

performActionOnPackageSpecification

void performActionOnPackageSpecification(PackageSpecification x)

performActionOnTypeReference

void performActionOnTypeReference(TypeReference x)

performActionOnPackageReference

void performActionOnPackageReference(PackageReference x)

performActionOnThrows

void performActionOnThrows(Throws x)

performActionOnArrayInitializer

void performActionOnArrayInitializer(ArrayInitializer x)

performActionOnCompilationUnit

void performActionOnCompilationUnit(CompilationUnit x)

performActionOnArrayDeclaration

void performActionOnArrayDeclaration(ArrayDeclaration x)

performActionOnSuperArrayDeclaration

void performActionOnSuperArrayDeclaration(SuperArrayDeclaration x)

performActionOnClassDeclaration

void performActionOnClassDeclaration(ClassDeclaration x)

performActionOnInterfaceDeclaration

void performActionOnInterfaceDeclaration(InterfaceDeclaration x)

performActionOnFieldDeclaration

void performActionOnFieldDeclaration(FieldDeclaration x)

performActionOnLocalVariableDeclaration

void performActionOnLocalVariableDeclaration(LocalVariableDeclaration x)

performActionOnVariableDeclaration

void performActionOnVariableDeclaration(VariableDeclaration x)

performActionOnParameterDeclaration

void performActionOnParameterDeclaration(ParameterDeclaration x)

performActionOnMethodDeclaration

void performActionOnMethodDeclaration(MethodDeclaration x)

performActionOnClassInitializer

void performActionOnClassInitializer(ClassInitializer x)

performActionOnStatementBlock

void performActionOnStatementBlock(StatementBlock x)

performActionOnBreak

void performActionOnBreak(Break x)

performActionOnContinue

void performActionOnContinue(Continue x)

performActionOnReturn

void performActionOnReturn(Return x)

performActionOnThrow

void performActionOnThrow(Throw x)

performActionOnDo

void performActionOnDo(Do x)

performActionOnFor

void performActionOnFor(For x)

performActionOnEnhancedFor

void performActionOnEnhancedFor(EnhancedFor x)

performActionOnWhile

void performActionOnWhile(While x)

performActionOnIf

void performActionOnIf(If x)

performActionOnSwitch

void performActionOnSwitch(Switch x)

performActionOnTry

void performActionOnTry(Try x)

performActionOnLabeledStatement

void performActionOnLabeledStatement(LabeledStatement x)

performActionOnMethodFrame

void performActionOnMethodFrame(MethodFrame x)

performActionOnMethodBodyStatement

void performActionOnMethodBodyStatement(MethodBodyStatement x)

performActionOnCatchAllStatement

void performActionOnCatchAllStatement(CatchAllStatement x)

performActionOnSynchronizedBlock

void performActionOnSynchronizedBlock(SynchronizedBlock x)

performActionOnLoopScopeBlock

void performActionOnLoopScopeBlock(LoopScopeBlock x)

performActionOnImport

void performActionOnImport(Import x)

performActionOnExtends

void performActionOnExtends(Extends x)

performActionOnImplements

void performActionOnImplements(Implements x)

performActionOnVariableSpecification

void performActionOnVariableSpecification(VariableSpecification x)

performActionOnFieldSpecification

void performActionOnFieldSpecification(FieldSpecification x)

performActionOnImplicitFieldSpecification

void performActionOnImplicitFieldSpecification(ImplicitFieldSpecification x)

performActionOnBinaryAnd

void performActionOnBinaryAnd(BinaryAnd x)

performActionOnBinaryAndAssignment

void performActionOnBinaryAndAssignment(BinaryAndAssignment x)

performActionOnBinaryOrAssignment

void performActionOnBinaryOrAssignment(BinaryOrAssignment x)

performActionOnBinaryXOrAssignment

void performActionOnBinaryXOrAssignment(BinaryXOrAssignment x)

performActionOnCopyAssignment

void performActionOnCopyAssignment(CopyAssignment x)

performActionOnDivideAssignment

void performActionOnDivideAssignment(DivideAssignment x)

performActionOnMinusAssignment

void performActionOnMinusAssignment(MinusAssignment x)

performActionOnModuloAssignment

void performActionOnModuloAssignment(ModuloAssignment x)

performActionOnPlusAssignment

void performActionOnPlusAssignment(PlusAssignment x)

performActionOnPostDecrement

void performActionOnPostDecrement(PostDecrement x)

performActionOnPostIncrement

void performActionOnPostIncrement(PostIncrement x)

performActionOnPreDecrement

void performActionOnPreDecrement(PreDecrement x)

performActionOnPreIncrement

void performActionOnPreIncrement(PreIncrement x)

performActionOnShiftLeftAssignment

void performActionOnShiftLeftAssignment(ShiftLeftAssignment x)

performActionOnShiftRightAssignment

void performActionOnShiftRightAssignment(ShiftRightAssignment x)

performActionOnTimesAssignment

void performActionOnTimesAssignment(TimesAssignment x)

performActionOnUnsignedShiftRightAssignment

void performActionOnUnsignedShiftRightAssignment(UnsignedShiftRightAssignment x)

performActionOnBinaryNot

void performActionOnBinaryNot(BinaryNot x)

performActionOnBinaryOr

void performActionOnBinaryOr(BinaryOr x)

performActionOnBinaryXOr

void performActionOnBinaryXOr(BinaryXOr x)

performActionOnConditional

void performActionOnConditional(Conditional x)

performActionOnDivide

void performActionOnDivide(Divide x)

performActionOnEquals

void performActionOnEquals(Equals x)

performActionOnGreaterOrEquals

void performActionOnGreaterOrEquals(GreaterOrEquals x)

performActionOnGreaterThan

void performActionOnGreaterThan(GreaterThan x)

performActionOnLessOrEquals

void performActionOnLessOrEquals(LessOrEquals x)

performActionOnLessThan

void performActionOnLessThan(LessThan x)

performActionOnNotEquals

void performActionOnNotEquals(NotEquals x)

performActionOnNewArray

void performActionOnNewArray(NewArray x)

performActionOnInstanceof

void performActionOnInstanceof(Instanceof x)

performActionOnExactInstanceof

void performActionOnExactInstanceof(ExactInstanceof x)

performActionOnNew

void performActionOnNew(New x)

performActionOnTypeCast

void performActionOnTypeCast(TypeCast x)

performActionOnLogicalAnd

void performActionOnLogicalAnd(LogicalAnd x)

performActionOnLogicalNot

void performActionOnLogicalNot(LogicalNot x)

performActionOnLogicalOr

void performActionOnLogicalOr(LogicalOr x)

performActionOnMinus

void performActionOnMinus(Minus x)

performActionOnModulo

void performActionOnModulo(Modulo x)

performActionOnNegative

void performActionOnNegative(Negative x)

performActionOnPlus

void performActionOnPlus(Plus x)

performActionOnPositive

void performActionOnPositive(Positive x)

performActionOnShiftLeft

void performActionOnShiftLeft(ShiftLeft x)

performActionOnShiftRight

void performActionOnShiftRight(ShiftRight x)

performActionOnTimes

void performActionOnTimes(Times x)

performActionOnUnsignedShiftRight

void performActionOnUnsignedShiftRight(UnsignedShiftRight x)

performActionOnArrayReference

void performActionOnArrayReference(ArrayReference x)

performActionOnMetaClassReference

void performActionOnMetaClassReference(MetaClassReference x)

performActionOnMergePointStatement

void performActionOnMergePointStatement(MergePointStatement x)

performActionOnMethodReference

void performActionOnMethodReference(MethodReference x)

performActionOnFieldReference

void performActionOnFieldReference(FieldReference x)

performActionOnSchematicFieldReference

void performActionOnSchematicFieldReference(SchematicFieldReference x)

performActionOnVariableReference

void performActionOnVariableReference(VariableReference x)

performActionOnMethod

void performActionOnMethod(IProgramMethod x)

performActionOnSuperConstructorReference

void performActionOnSuperConstructorReference(SuperConstructorReference x)

performActionOnExecutionContext

void performActionOnExecutionContext(ExecutionContext x)

performActionOnConstructorDeclaration

void performActionOnConstructorDeclaration(ConstructorDeclaration x)

performActionOnThisConstructorReference

void performActionOnThisConstructorReference(ThisConstructorReference x)

performActionOnSuperReference

void performActionOnSuperReference(SuperReference x)

performActionOnThisReference

void performActionOnThisReference(ThisReference x)

performActionOnArrayLengthReference

void performActionOnArrayLengthReference(ArrayLengthReference x)

performActionOnThen

void performActionOnThen(Then x)

performActionOnElse

void performActionOnElse(Else x)

performActionOnCase

void performActionOnCase(Case x)

performActionOnCatch

void performActionOnCatch(Catch x)

performActionOnDefault

void performActionOnDefault(Default x)

performActionOnFinally

void performActionOnFinally(Finally x)

performActionOnModifier

void performActionOnModifier(Modifier x)

performActionOnEmptyStatement

void performActionOnEmptyStatement(EmptyStatement x)

performActionOnComment

void performActionOnComment(Comment x)

performActionOnParenthesizedExpression

void performActionOnParenthesizedExpression(ParenthesizedExpression x)

performActionOnPassiveExpression

void performActionOnPassiveExpression(PassiveExpression x)

performActionOnForUpdates

void performActionOnForUpdates(ForUpdates x)

performActionOnGuard

void performActionOnGuard(Guard x)

performActionOnLoopInit

void performActionOnLoopInit(LoopInit x)

performActionOnAssert

void performActionOnAssert(Assert assert1)

performActionOnProgramConstant

void performActionOnProgramConstant(ProgramConstant constant)

performActionOnLocationVariable

void performActionOnLocationVariable(LocationVariable variable)

performActionOnLoopInvariant

void performActionOnLoopInvariant(LoopSpecification x)

performActionOnBlockContract

void performActionOnBlockContract(BlockContract x)

performActionOnLoopContract

void performActionOnLoopContract(LoopContract x)

performActionOnBlockContract

void performActionOnBlockContract(StatementBlock oldBlock,
                                  StatementBlock newBlock)

Adds block contract for new statement block to block contract of old block statement.

Parameters:

oldBlock - the old block

newBlock - the new block

performActionOnLoopContract

void performActionOnLoopContract(StatementBlock oldBlock,
                                 StatementBlock newBlock)

Adds block contract for new statement block to block contract of old block statement.

Parameters:

oldBlock - the old block

newBlock - the new block

performActionOnLoopContract

void performActionOnLoopContract(LoopStatement oldLoop,
                                 LoopStatement newLoop)

Adds loop contract for new loop statement to loop contract of old loop statement.

Parameters:

oldLoop - the old loop statement

newLoop - the new loop statement

performActionOnMergeContract

void performActionOnMergeContract(MergeContract x)

performActionOnSeqLength

void performActionOnSeqLength(SeqLength seqLength)

performActionOnSeqGet

void performActionOnSeqGet(SeqGet seqGet)

performActionOnTransactionStatement

void performActionOnTransactionStatement(TransactionStatement transSt)

performActionOnEmptyMapLiteral

void performActionOnEmptyMapLiteral(EmptyMapLiteral aThis)