| java.lang.Object de.uka.ilkd.key.java.visitor.ProgramContextAdder
Method Summary | |
protected LabeledStatement | createLabeledStatementWrapper(LabeledStatement old, JavaNonTerminalProgramElement 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) | public JavaNonTerminalProgramElement | start(JavaNonTerminalProgramElement context, StatementBlock putIn, ContextStatementBlockInstantiation ct) | protected JavaNonTerminalProgramElement | wrap(JavaNonTerminalProgramElement context, StatementBlock putIn, IntIterator prefixPos, int prefixDepth, PosInProgram prefix, PosInProgram suffix) |
createStatementBlockWrapper | protected StatementBlock createStatementBlockWrapper(StatementBlock wrapper, JavaNonTerminalProgramElement replacement)(Code) | | 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 firststatement Parameters: replacement - the StatementBlock that replaces the firststatement of the block the resulting statement block |
|
|