public class ExecCtxtSVWrapper extends ExecutionContext implements KeYRecoderExtension, SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Constructor and Description |
---|
ExecCtxtSVWrapper(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
ExecutionContext |
deepClone() |
SourceElement |
getFirstElement() |
SchemaVariable |
getSV()
returns the schema variable of this type sv wrapper
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort label
|
getASTParent, getChildAt, getChildCount, getChildPositionCode, getExpressionAt, getExpressionCount, getMethodContext, getRuntimeInstance, getTypeReference, getTypeReferenceAt, getTypeReferenceCount, makeParentRoleValid, prettyPrint, replaceChild, setParent
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments, validate
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getIndexOfChild, getIndexOfChild, getRoleOfChild, makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
public ExecCtxtSVWrapper(SchemaVariable sv)
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
public SourceElement getFirstElement()
getFirstElement
in interface SourceElement
getFirstElement
in class JavaSourceElement
public ExecutionContext deepClone()
deepClone
in interface SourceElement
deepClone
in class ExecutionContext
public void accept(SourceVisitor v)
accept
in interface SourceElement
accept
in class ExecutionContext
Copyright © 2003-2019 The KeY-Project.