public class ContextStatementBlock extends StatementBlock implements KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private ExecutionContext |
ec |
private static long |
serialVersionUID |
body, name2type, name2var, UNDEFINED_SCOPE
parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
ContextStatementBlock()
Statement block.
|
protected |
ContextStatementBlock(ContextStatementBlock proto)
Statement block.
|
|
ContextStatementBlock(ExecutionContext ec)
Statement block.
|
|
ContextStatementBlock(TypeSVWrapper tr,
MethodSignatureSVWrapper pm,
ExpressionSVWrapper runtime)
Statement block.
|
Modifier and Type | Method and Description |
---|---|
TypeSVWrapper |
getClassContext() |
ExecutionContext |
getExecutionContext() |
ExpressionSVWrapper |
getRuntimeInstance() |
accept, addTypeToScope, addVariableToScope, deepClone, getBody, getChildAt, getChildCount, getChildPositionCode, getStatementAt, getStatementCount, getTypeDeclarationAt, getTypeDeclarationCount, getTypeInScope, getTypesInScope, getVariableInScope, getVariablesInScope, isDefinedScope, makeParentRoleValid, removeTypeFromScope, removeVariableFromScope, replaceChild, setBody, setDefinedScope
getASTParent, getStatementContainer, setStatementContainer
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getASTParent, getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
private ExecutionContext ec
public ContextStatementBlock()
public ContextStatementBlock(TypeSVWrapper tr, MethodSignatureSVWrapper pm, ExpressionSVWrapper runtime)
public ContextStatementBlock(ExecutionContext ec)
protected ContextStatementBlock(ContextStatementBlock proto)
proto
- a statement block.public TypeSVWrapper getClassContext()
public ExpressionSVWrapper getRuntimeInstance()
public ExecutionContext getExecutionContext()