public class SuperConstructorReference extends SpecialConstructorReference implements ReferenceSuffix
Modifier and Type | Field and Description |
---|---|
protected ReferencePrefix |
prefix
Access path to enclosing class.
|
arguments
Constructor and Description |
---|
SuperConstructorReference() |
SuperConstructorReference(Expression[] arguments)
Super constructor reference.
|
SuperConstructorReference(ExtList children,
ReferencePrefix accessPath)
Constructor for the transformation of COMPOST ASTs to KeY.
|
SuperConstructorReference(ExtList children,
ReferencePrefix accessPath,
PositionInfo pi)
Constructor for the transformation of COMPOST ASTs to KeY.
|
SuperConstructorReference(ReferencePrefix accessPath,
Expression[] arguments)
Super constructor reference.
|
SuperConstructorReference(ReferencePrefix accessPath,
ImmutableArray<Expression> arguments)
Super constructor reference.
|
Modifier and Type | Method and Description |
---|---|
SourceElement |
getFirstElement()
Finds the source element that occurs first in the source.
|
SourceElement |
getFirstElementIncludingBlocks()
Finds the source element that occurs first in the source.
|
ReferencePrefix |
getReferencePrefix() |
void |
prettyPrint(PrettyPrinter p)
Pretty printing the source element.
|
void |
visit(Visitor v)
calls the corresponding method of a visitor in order to
perform some action/transformation on this element
|
getArguments, getChildAt, getChildCount, getExpressionAt, getExpressionCount
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getLastElement, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
equalsModRenaming, getEndPosition, getLastElement, getPositionInfo, getRelativePosition, getStartPosition
protected final ReferencePrefix prefix
public SuperConstructorReference()
public SuperConstructorReference(Expression[] arguments)
arguments
- an expression mutable list.public SuperConstructorReference(ReferencePrefix accessPath, Expression[] arguments)
accessPath
- a reference prefix.arguments
- an expression mutable list.public SuperConstructorReference(ReferencePrefix accessPath, ImmutableArray<Expression> arguments)
accessPath
- a reference prefix.arguments
- an expression mutable list.public SuperConstructorReference(ExtList children, ReferencePrefix accessPath, PositionInfo pi)
children
- the children of this AST element as KeY classes.accessPath
- a ReferencePrefix of the array reference.
May contain:
several of Expression (as initializers of the array),
Comments.
Must contain:
execution context
MUST NOT CONTAIN: the ReferencePrefix for the accessPath because
Expression and ReferencePrefix might not be disjunct.public SuperConstructorReference(ExtList children, ReferencePrefix accessPath)
children
- the children of this AST element as KeY classes.accessPath
- a ReferencePrefix of the array reference.
May contain:
several of Expression (as initializers of the array),
Comments.
Must contain:
execution context
MUST NOT CONTAIN: the ReferencePrefix for the accessPath because
Expression and ReferencePrefix might not be disjunct.public ReferencePrefix getReferencePrefix()
getReferencePrefix
in interface ReferencePrefix
public SourceElement getFirstElement()
JavaSourceElement
getFirstElement
in interface SourceElement
getFirstElement
in class JavaSourceElement
JavaSourceElement.toSource()
,
JavaSourceElement.getStartPosition()
public SourceElement getFirstElementIncludingBlocks()
SourceElement
getFirstElementIncludingBlocks
in interface SourceElement
getFirstElementIncludingBlocks
in class JavaSourceElement
SourceElement.getStartPosition()
public void visit(Visitor v)
SourceElement
visit
in interface SourceElement
v
- the Visitorpublic void prettyPrint(PrettyPrinter p) throws java.io.IOException
JavaSourceElement
prettyPrint
in interface SourceElement
prettyPrint
in class JavaProgramElement
p
- a pretty printer.java.io.IOException
- occasionally thrown.