de.uka.ilkd.key.java.visitor

Class ProgramReplaceVisitor

java.lang.Object

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

de.uka.ilkd.key.java.visitor.JavaASTVisitor

de.uka.ilkd.key.java.visitor.CreatingASTVisitor

de.uka.ilkd.key.java.visitor.ProgramReplaceVisitor

All Implemented Interfaces:

Visitor

public class ProgramReplaceVisitor
extends CreatingASTVisitor

Walks through a java AST in depth-left-fist-order. This walker is used to transform a program according to the given SVInstantiations.

Nested Class Summary

Nested classes/interfaces inherited from class de.uka.ilkd.key.java.visitor.CreatingASTVisitor

CreatingASTVisitor.DefaultAction

Field Summary

Fields

Modifier and Type	Field and Description
private ProgramElement	result
private SVInstantiations	svinsts

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

CHANGED, preservesPositionInfo, stack

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

services

Constructor Summary

Constructors

Constructor and Description
ProgramReplaceVisitor(ProgramElement root, Services services, SVInstantiations svi) create the ProgramReplaceVisitor

Method Summary

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 void	doDefaultAction(SourceElement x) the implemented default action is called if a program element is, and if it has children all its children too are left unchanged
void	performActionOnAbstractProgramElement(AbstractProgramElement x)
void	performActionOnProgramMetaConstruct(ProgramTransformer x)
void	performActionOnSchemaVariable(SchemaVariable sv)
ProgramElement	result()
void	start() starts the walker
java.lang.String	toString()

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

addChild, addChildren, addToTopOfStack, changed, getPosition, performActionOnAllFields, performActionOnArrayInitializer, performActionOnArrayLengthReference, performActionOnArrayReference, performActionOnAssert, performActionOnBinaryAnd, performActionOnBinaryAndAssignment, performActionOnBinaryNot, performActionOnBinaryOr, performActionOnBinaryOrAssignment, performActionOnBinaryXOr, performActionOnBinaryXOrAssignment, performActionOnBreak, performActionOnCase, performActionOnCatch, performActionOnClassInitializer, performActionOnConditional, performActionOnContinue, performActionOnCopyAssignment, performActionOnDefault, performActionOnDivide, performActionOnDivideAssignment, performActionOnDLEmbeddedExpression, performActionOnDo, performActionOnElse, performActionOnEmptyStatement, performActionOnEnhancedFor, performActionOnEquals, performActionOnExecutionContext, performActionOnFieldReference, performActionOnFinally, performActionOnFor, performActionOnForUpdates, performActionOnGreaterOrEquals, performActionOnGreaterThan, performActionOnGuard, performActionOnIf, performActionOnInstanceof, performActionOnIntersect, performActionOnLabeledStatement, performActionOnLessOrEquals, performActionOnLessThan, performActionOnLocalVariableDeclaration, performActionOnLogicalAnd, performActionOnLogicalNot, performActionOnLogicalOr, performActionOnLoopInit, performActionOnLoopInvariant, performActionOnLoopScopeBlock, performActionOnMergeContract, performActionOnMergePointStatement, performActionOnMetaClassReference, performActionOnMethodBodyStatement, performActionOnMethodFrame, performActionOnMethodReference, performActionOnMinus, performActionOnMinusAssignment, performActionOnModulo, performActionOnModuloAssignment, performActionOnNegative, performActionOnNew, performActionOnNewArray, performActionOnNotEquals, performActionOnPackageReference, performActionOnPackageSpecification, performActionOnParameterDeclaration, performActionOnParenthesizedExpression, performActionOnPassiveExpression, performActionOnPlus, performActionOnPlusAssignment, performActionOnPositive, performActionOnPostDecrement, performActionOnPostIncrement, performActionOnPreDecrement, performActionOnPreIncrement, performActionOnReturn, performActionOnSchematicFieldReference, performActionOnSeqConcat, performActionOnSeqLength, performActionOnSeqReverse, performActionOnSeqSingleton, performActionOnSeqSub, performActionOnSetMinus, performActionOnSetUnion, performActionOnShiftLeft, performActionOnShiftLeftAssignment, performActionOnShiftRight, performActionOnShiftRightAssignment, performActionOnSingleton, performActionOnStatementBlock, performActionOnSuperConstructorReference, performActionOnSuperReference, performActionOnSwitch, performActionOnSynchronizedBlock, performActionOnThen, performActionOnThisConstructorReference, performActionOnThisReference, performActionOnThrow, performActionOnTimes, performActionOnTimesAssignment, performActionOnTry, performActionOnTypeCast, performActionOnTypeReference, performActionOnUnsignedShiftRight, performActionOnUnsignedShiftRightAssignment, performActionOnVariableSpecification, performActionOnWhile, preservesPositionInfo, walk

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

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, performActionOnProgramMethod, performActionOnProgramVariable, performActionOnSeqGet, performActionOnSeqIndexOf, performActionOnStringLiteral, performActionOnSuperArrayDeclaration, performActionOnThrows, performActionOnTransactionStatement, performActionOnVariableDeclaration, performActionOnVariableReference

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

depth, root

Methods inherited from class java.lang.Object

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

Field Detail

result

private ProgramElement result

svinsts

private final SVInstantiations svinsts

Constructor Detail

ProgramReplaceVisitor

public ProgramReplaceVisitor(ProgramElement root,
                             Services services,
                             SVInstantiations svi)

create the ProgramReplaceVisitor

Parameters:

root - the ProgramElement where to begin

services - The Services object.

svi - Schema Variable Instantiations

Method Detail

doAction

protected void doAction(ProgramElement node)

the action that is performed just before leaving the node the last time

Overrides:

doAction in class JavaASTVisitor

start

public void start()

starts the walker

Overrides:

start in class JavaASTWalker

result

public ProgramElement result()

Returns:

The result.

toString

public java.lang.String toString()

Overrides:

toString in class CreatingASTVisitor

doDefaultAction

protected void doDefaultAction(SourceElement x)

the implemented default action is called if a program element is, and if it has children all its children too are left unchanged

Overrides:

doDefaultAction in class CreatingASTVisitor

Parameters:

x - The SourceElement.

performActionOnSchemaVariable

public void performActionOnSchemaVariable(SchemaVariable sv)

Specified by:

performActionOnSchemaVariable in interface Visitor

Overrides:

performActionOnSchemaVariable in class JavaASTVisitor

performActionOnProgramMetaConstruct

public void performActionOnProgramMetaConstruct(ProgramTransformer x)

Specified by:

performActionOnProgramMetaConstruct in interface Visitor

Overrides:

performActionOnProgramMetaConstruct in class JavaASTVisitor

performActionOnAbstractProgramElement

public void performActionOnAbstractProgramElement(AbstractProgramElement x)

Specified by:

performActionOnAbstractProgramElement in interface Visitor

Overrides:

performActionOnAbstractProgramElement in class JavaASTVisitor