public class StatementSVWrapper extends JavaStatement implements KeYRecoderExtension, SVWrapper
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
private static long |
serialVersionUID |
protected SchemaVariable |
sv |
parent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
StatementSVWrapper() |
|
StatementSVWrapper(SchemaVariable sv) |
protected |
StatementSVWrapper(StatementSVWrapper proto) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
StatementSVWrapper |
deepClone() |
ProgramElement |
getChildAt(int index)
Returns the child at the specified index in this node's "virtual"
child array
|
int |
getChildCount()
Returns the number of children of this node.
|
int |
getChildPositionCode(ProgramElement child0) |
Statement |
getStatementAt(int index) |
int |
getStatementCount()
Get the number of statements in this container.
|
SchemaVariable |
getSV()
returns a String name of this meta construct.
|
void |
makeParentRoleValid()
Make parent role valid.
|
boolean |
replaceChild(ProgramElement p,
ProgramElement q)
Replace a single child in the current node.
|
void |
setSV(SchemaVariable sv)
sets the schema variable of sort statement
|
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
getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
protected SchemaVariable sv
protected StatementSVWrapper(StatementSVWrapper proto)
public StatementSVWrapper()
public StatementSVWrapper(SchemaVariable sv)
public void makeParentRoleValid()
makeParentRoleValid
in interface NonTerminalProgramElement
makeParentRoleValid
in class JavaNonTerminalProgramElement
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out
of boundspublic int getChildPositionCode(ProgramElement child0)
getChildPositionCode
in interface NonTerminalProgramElement
public boolean replaceChild(ProgramElement p, ProgramElement q)
replaceChild
in interface NonTerminalProgramElement
p
- the old child.q
- the new child.java.lang.ClassCastException
- if the new child cannot take over
the role of the old one.public void setSV(SchemaVariable sv)
public SchemaVariable getSV()
public int getStatementCount()
public Statement getStatementAt(int index)
public void accept(SourceVisitor v)
accept
in interface SourceElement
public StatementSVWrapper deepClone()
deepClone
in interface SourceElement
deepClone
in interface Statement