public class RKeYMetaConstructExpression extends Literal implements ExpressionContainer, KeYRecoderExtension
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected Expression |
child
Child
|
protected java.lang.String |
name |
private static long |
serialVersionUID |
expressionParent
comments
factory
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
RKeYMetaConstructExpression() |
protected |
RKeYMetaConstructExpression(RKeYMetaConstructExpression proto) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
Literal |
deepClone() |
Expression |
getChild()
Get child.
|
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) |
java.lang.Object |
getEquivalentJavaType() |
Expression |
getExpressionAt(int index) |
int |
getExpressionCount()
Get the number of expression in this container.
|
int |
getIndexOfChild(int posCode)
Deprecated.
|
int |
getIndexOfChild(ProgramElement pe) |
java.lang.String |
getName()
returns a String name of this meta construct.
|
int |
getRoleOfChild(int i) |
void |
makeAllParentRolesValid() |
void |
makeParentRoleValid()
Make parent role valid.
|
boolean |
replaceChild(ProgramElement p,
ProgramElement q) |
void |
setChild(Expression expression)
Set child.
|
void |
setName(java.lang.String s)
sets a String name of this meta construct like 'unwind-loop'
|
void |
validateAll() |
getASTParent, getExpressionContainer, setExpressionContainer
getComments, setComments, validate
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getASTParent, getComments, setComments
getEndPosition, getFactory, getFirstElement, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
protected Expression child
protected java.lang.String name
protected RKeYMetaConstructExpression(RKeYMetaConstructExpression proto)
public RKeYMetaConstructExpression()
public void makeParentRoleValid()
makeParentRoleValid
in interface NonTerminalProgramElement
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 int getIndexOfChild(ProgramElement pe)
getIndexOfChild
in interface NonTerminalProgramElement
@Deprecated public int getIndexOfChild(int posCode)
getIndexOfChild
in interface NonTerminalProgramElement
public int getRoleOfChild(int i)
getRoleOfChild
in interface NonTerminalProgramElement
public void makeAllParentRolesValid()
makeAllParentRolesValid
in interface NonTerminalProgramElement
public boolean replaceChild(ProgramElement p, ProgramElement q)
replaceChild
in interface NonTerminalProgramElement
public void setName(java.lang.String s)
s
- the Stringpublic java.lang.String getName()
public Expression getChild()
public void setChild(Expression expression)
expression
- a expression.public int getExpressionCount()
getExpressionCount
in interface ExpressionContainer
public Expression getExpressionAt(int index)
getExpressionAt
in interface ExpressionContainer
public void accept(SourceVisitor v)
accept
in interface SourceElement
public Literal deepClone()
deepClone
in interface Expression
deepClone
in interface SourceElement
public void validateAll() throws ModelException
validateAll
in interface NonTerminalProgramElement
ModelException
public java.lang.Object getEquivalentJavaType()
getEquivalentJavaType
in class Literal