public class RKeYMetaConstructType extends TypeReference implements KeYRecoderExtension
NamedModelElement.LexicalOrder
ProgramElement.TreeStructure
SourceElement.Position
Modifier and Type | Field and Description |
---|---|
protected Expression |
child
Child
|
protected java.lang.String |
myname |
private static long |
serialVersionUID |
dimensions, name, parent, prefix, typeArguments
comments
factory
LEXICAL_ORDER
STRUCTURAL_EQUALITY, STRUCTURAL_HASH_CODE
Modifier | Constructor and Description |
---|---|
|
RKeYMetaConstructType() |
protected |
RKeYMetaConstructType(RKeYMetaConstructType proto) |
Modifier and Type | Method and Description |
---|---|
void |
accept(SourceVisitor v) |
TypeReference |
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) |
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 |
getName0() |
int |
getRoleOfChild(int i) |
void |
setChild(Expression expression)
Set child.
|
void |
setName(java.lang.String s)
sets a String myname of this meta construct like 'unwind-loop'
|
getASTParent, getDimensions, getFirstElement, getIdentifier, getName, getPackageReference, getParent, getReferencePrefix, getReferenceSuffix, getTypeArguments, getTypeReferenceAt, getTypeReferenceCount, makeParentRoleValid, replaceChild, setDimensions, setIdentifier, setParent, setReferencePrefix, setReferenceSuffix, setTypeArguments
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
makeAllParentRolesValid, validateAll
getComments, setComments
getEndPosition, getFactory, getLastElement, getRelativePosition, getStartPosition, setEndPosition, setRelativePosition, setStartPosition, toSource
validate
private static final long serialVersionUID
protected Expression child
protected java.lang.String myname
protected RKeYMetaConstructType(RKeYMetaConstructType proto)
public RKeYMetaConstructType()
public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
getChildCount
in class TypeReference
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
getChildAt
in class TypeReference
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
getChildPositionCode
in class TypeReference
public int getIndexOfChild(ProgramElement pe)
getIndexOfChild
in interface NonTerminalProgramElement
getIndexOfChild
in class JavaNonTerminalProgramElement
@Deprecated public int getIndexOfChild(int posCode)
getIndexOfChild
in interface NonTerminalProgramElement
getIndexOfChild
in class JavaNonTerminalProgramElement
public int getRoleOfChild(int i)
getRoleOfChild
in interface NonTerminalProgramElement
getRoleOfChild
in class JavaNonTerminalProgramElement
public void setName(java.lang.String s)
s
- the Stringpublic java.lang.String getName0()
public Expression getChild()
public void setChild(Expression expression)
expression
- a expression.public int getExpressionCount()
getExpressionCount
in interface ExpressionContainer
getExpressionCount
in class TypeReference
public Expression getExpressionAt(int index)
getExpressionAt
in interface ExpressionContainer
getExpressionAt
in class TypeReference
public void accept(SourceVisitor v)
accept
in interface SourceElement
accept
in class TypeReference
public TypeReference deepClone()
deepClone
in interface SourceElement
deepClone
in class TypeReference