public class ProgramContextAdder
extends java.lang.Object
ContextStatementBlockInstantiation
is wrapped
around a given ProgramElement
.Modifier and Type | Field and Description |
---|---|
static ProgramContextAdder |
INSTANCE
singleton instance of the program context adder
|
public static final ProgramContextAdder INSTANCE
public JavaNonTerminalProgramElement start(JavaNonTerminalProgramElement context, StatementBlock putIn, ContextStatementBlockInstantiation ct)
protected JavaNonTerminalProgramElement wrap(JavaNonTerminalProgramElement context, StatementBlock putIn, IntIterator prefixPos, int prefixDepth, PosInProgram prefix, PosInProgram suffix)
protected StatementBlock createStatementBlockWrapper(StatementBlock wrapper, JavaNonTerminalProgramElement replacement)
wrapper
- the StatementBlock where to replace the first statementreplacement
- the StatementBlock that replaces the first statement of the
blockprotected Try createTryStatementWrapper(StatementBlock body, Try old)
protected Exec createExecStatementWrapper(StatementBlock body, Exec old)
protected MethodFrame createMethodFrameWrapper(MethodFrame old, StatementBlock body)
protected LabeledStatement createLabeledStatementWrapper(LabeledStatement old, JavaNonTerminalProgramElement body)
protected LoopScopeBlock createLoopScopeBlockWrapper(LoopScopeBlock old, StatementBlock body)
protected SynchronizedBlock createSynchronizedBlockWrapper(SynchronizedBlock old, StatementBlock body)
Copyright © 2003-2019 The KeY-Project.