public abstract class SpecialConstructorReference extends JavaNonTerminalProgramElement implements ConstructorReference
Modifier and Type | Field and Description |
---|---|
protected ImmutableArray<Expression> |
arguments |
Constructor and Description |
---|
SpecialConstructorReference() |
SpecialConstructorReference(Expression[] arguments)
Special constructor reference.
|
SpecialConstructorReference(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
SpecialConstructorReference(ExtList children,
PositionInfo pi)
Constructor for the transformation of COMPOST ASTs to KeY.
|
SpecialConstructorReference(ImmutableArray<Expression> arguments)
Special constructor reference.
|
Modifier and Type | Method and Description |
---|---|
ImmutableArray<Expression> |
getArguments()
Get arguments.
|
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.
|
Expression |
getExpressionAt(int index) |
int |
getExpressionCount()
Get the number of expressions in this container.
|
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
getReferencePrefix
protected final ImmutableArray<Expression> arguments
public SpecialConstructorReference()
public SpecialConstructorReference(Expression[] arguments)
arguments
- an expression mutable list.public SpecialConstructorReference(ImmutableArray<Expression> arguments)
arguments
- an expression mutable list.public SpecialConstructorReference(ExtList children)
children
- the children of this AST element as KeY classes.
May contain:
several of Expression (as initializers of the array),
Commentspublic SpecialConstructorReference(ExtList children, PositionInfo pi)
children
- the children of this AST element as KeY classes.
May contain:
several of Expression (as initializers of the array),
Commentspublic 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 getExpressionCount()
getExpressionCount
in interface ExpressionContainer
public Expression getExpressionAt(int index)
getExpressionAt
in interface ExpressionContainer
public ImmutableArray<Expression> getArguments()
getArguments
in interface MethodOrConstructorReference