de.uka.ilkd.key.java.visitor

Class ProgramContextAdder

java.lang.Object

de.uka.ilkd.key.java.visitor.ProgramContextAdder

public class ProgramContextAdder
extends java.lang.Object

A context given as ContextStatementBlockInstantiation is wrapped around a given ProgramElement.

Field Summary

Fields

Modifier and Type	Field and Description
static ProgramContextAdder	INSTANCE singleton instance of the program context adder

Constructor Summary

Constructors

Modifier	Constructor and Description
private	ProgramContextAdder() an empty private constructor to ensure the singleton property

Method Summary

Modifier and Type	Method and Description
protected LabeledStatement	createLabeledStatementWrapper(LabeledStatement old, JavaNonTerminalProgramElement body)
protected LoopScopeBlock	createLoopScopeBlockWrapper(LoopScopeBlock old, StatementBlock body)
protected MethodFrame	createMethodFrameWrapper(MethodFrame old, StatementBlock body)
protected StatementBlock	createStatementBlockWrapper(StatementBlock wrapper, JavaNonTerminalProgramElement replacement) Replaces the first statement in the wrapper block.
protected SynchronizedBlock	createSynchronizedBlockWrapper(SynchronizedBlock old, StatementBlock body)
protected Try	createTryStatementWrapper(StatementBlock body, Try old)
private StatementBlock	createWrapperBody(JavaNonTerminalProgramElement wrapper, StatementBlock putIn, PosInProgram suffix) inserts the content of the statement block putIn and adds succeeding children of the innermost non terminal element (usually statement block) in the context.
JavaNonTerminalProgramElement	start(JavaNonTerminalProgramElement context, StatementBlock putIn, ContextStatementBlockInstantiation ct) wraps the context around the statements found in the putIn block
protected JavaNonTerminalProgramElement	wrap(JavaNonTerminalProgramElement context, StatementBlock putIn, IntIterator prefixPos, int prefixDepth, PosInProgram prefix, PosInProgram suffix)

Methods inherited from class java.lang.Object

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

Field Detail

INSTANCE

public static final ProgramContextAdder INSTANCE

singleton instance of the program context adder

Constructor Detail

ProgramContextAdder

private ProgramContextAdder()

an empty private constructor to ensure the singleton property

Method Detail

start

public JavaNonTerminalProgramElement start(JavaNonTerminalProgramElement context,
                                           StatementBlock putIn,
                                           ContextStatementBlockInstantiation ct)

wraps the context around the statements found in the putIn block

wrap

protected JavaNonTerminalProgramElement wrap(JavaNonTerminalProgramElement context,
                                             StatementBlock putIn,
                                             IntIterator prefixPos,
                                             int prefixDepth,
                                             PosInProgram prefix,
                                             PosInProgram suffix)

createWrapperBody

private final StatementBlock createWrapperBody(JavaNonTerminalProgramElement wrapper,
                                               StatementBlock putIn,
                                               PosInProgram suffix)

inserts the content of the statement block putIn and adds succeeding children of the innermost non terminal element (usually statement block) in the context.

Parameters:

wrapper - the JavaNonTerminalProgramElement with the context that has to be wrapped around the content of putIn

putIn - the StatementBlock with content that has to be wrapped by the elements hidden in the context

suffix - the PosInProgram describing the position of the first element before the suffix of the context

Returns:

the StatementBlock which encloses the content of putIn together with the succeeding context elements of the innermost context statement block (attention: in a case like {{{oldStmnt; list of further stmnt;}} moreStmnts; } only the underscored part is returned {{ __{putIn;....}__ }moreStmnts;} adding the other braces including the moreStmnts; part has to be done elsewhere.

createStatementBlockWrapper

protected StatementBlock createStatementBlockWrapper(StatementBlock wrapper,
                                                     JavaNonTerminalProgramElement replacement)

Replaces the first statement in the wrapper block. The replacement is optimized as it just returns the replacement block if it is the only child of the statement block to be constructed and the chld is a statementblock too.

Parameters:

wrapper - the StatementBlock where to replace the first statement

replacement - the StatementBlock that replaces the first statement of the block

Returns:

the resulting statement block

createTryStatementWrapper

protected Try createTryStatementWrapper(StatementBlock body,
                                        Try old)

createMethodFrameWrapper

protected MethodFrame createMethodFrameWrapper(MethodFrame old,
                                               StatementBlock body)

createLabeledStatementWrapper

protected LabeledStatement createLabeledStatementWrapper(LabeledStatement old,
                                                         JavaNonTerminalProgramElement body)

createLoopScopeBlockWrapper

protected LoopScopeBlock createLoopScopeBlockWrapper(LoopScopeBlock old,
                                                     StatementBlock body)

createSynchronizedBlockWrapper

protected SynchronizedBlock createSynchronizedBlockWrapper(SynchronizedBlock old,
                                                           StatementBlock body)