de.uka.ilkd.key.java.recoderext

Class ContextStatementBlock

java.lang.Object

recoder.java.JavaSourceElement

recoder.java.JavaProgramElement

recoder.java.JavaNonTerminalProgramElement

recoder.java.statement.JavaStatement

recoder.java.StatementBlock

de.uka.ilkd.key.java.recoderext.ContextStatementBlock

All Implemented Interfaces:

KeYRecoderExtension, java.io.Serializable, java.lang.Cloneable, TypeDeclarationContainer, NonTerminalProgramElement, ProgramElement, ScopeDefiningElement, SourceElement, Statement, StatementContainer, TypeScope, VariableScope, ModelElement

public class ContextStatementBlock
extends StatementBlock
implements KeYRecoderExtension

Statement block.

Author:

AL, AutoDoc

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from interface recoder.java.ProgramElement

ProgramElement.TreeStructure

Nested classes/interfaces inherited from interface recoder.java.SourceElement

SourceElement.Position

Field Summary

Fields

Modifier and Type	Field and Description
private ExecutionContext	ec
private static long	serialVersionUID

Fields inherited from class recoder.java.StatementBlock

body, name2type, name2var, UNDEFINED_SCOPE

Fields inherited from class recoder.java.statement.JavaStatement

parent

Fields inherited from class recoder.java.JavaProgramElement

comments

Fields inherited from class recoder.java.JavaSourceElement

factory

Fields inherited from interface recoder.java.ProgramElement

STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE

Constructor Summary

Constructors

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.

Method Summary

Modifier and Type	Method and Description
TypeSVWrapper	getClassContext()
ExecutionContext	getExecutionContext()
ExpressionSVWrapper	getRuntimeInstance()

Methods inherited from class recoder.java.StatementBlock

accept, addTypeToScope, addVariableToScope, deepClone, getBody, getChildAt, getChildCount, getChildPositionCode, getStatementAt, getStatementCount, getTypeDeclarationAt, getTypeDeclarationCount, getTypeInScope, getTypesInScope, getVariableInScope, getVariablesInScope, isDefinedScope, makeParentRoleValid, removeTypeFromScope, removeVariableFromScope, replaceChild, setBody, setDefinedScope

Methods inherited from class recoder.java.statement.JavaStatement

getASTParent, getStatementContainer, setStatementContainer

Methods inherited from class recoder.java.JavaNonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from class recoder.java.JavaProgramElement

getComments, setComments, validate

Methods inherited from class recoder.java.JavaSourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from class java.lang.Object

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

Methods inherited from interface recoder.java.NonTerminalProgramElement

getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll

Methods inherited from interface recoder.java.ProgramElement

getASTParent, getComments, setComments

Methods inherited from interface recoder.java.SourceElement

getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource

Methods inherited from interface recoder.ModelElement

validate

Field Detail

serialVersionUID

private static final long serialVersionUID

See Also:

Constant Field Values

ec

private ExecutionContext ec

Constructor Detail

ContextStatementBlock

public ContextStatementBlock()

Statement block.

ContextStatementBlock

public ContextStatementBlock(TypeSVWrapper tr,
                             MethodSignatureSVWrapper pm,
                             ExpressionSVWrapper runtime)

Statement block.

ContextStatementBlock

public ContextStatementBlock(ExecutionContext ec)

Statement block.

ContextStatementBlock

protected ContextStatementBlock(ContextStatementBlock proto)

Statement block.

Parameters:

proto - a statement block.

Method Detail

getClassContext

public TypeSVWrapper getClassContext()

getRuntimeInstance

public ExpressionSVWrapper getRuntimeInstance()

getExecutionContext

public ExecutionContext getExecutionContext()