public class ProgramVariableSVWrapper extends Identifier implements KeYRecoderExtension, SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
(package private) SchemaVariable |
sv |
id, parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
protected |
ProgramVariableSVWrapper(ProgramVariableSVWrapper proto) |
|
ProgramVariableSVWrapper(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
SchemaVariable |
getSV()
returns the schema variable of this type sv wrapper
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort label
|
accept, deepClone, getASTParent, getParent, getText, setParent, setText
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
SchemaVariable sv
public ProgramVariableSVWrapper(SchemaVariable sv)
protected ProgramVariableSVWrapper(ProgramVariableSVWrapper proto)
public void setSV(SchemaVariable sv)
public SchemaVariable getSV()