public class ThisConstructorReference extends SpecialConstructorReference
arguments
Constructor and Description |
---|
ThisConstructorReference()
This constructor reference.
|
ThisConstructorReference(Expression[] arguments)
This constructor reference.
|
ThisConstructorReference(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
ThisConstructorReference(ImmutableArray<Expression> arguments)
This constructor reference.
|
Modifier and Type | Method and Description |
---|---|
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, 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
public ThisConstructorReference()
public ThisConstructorReference(Expression[] arguments)
arguments
- an expression mutable list.public ThisConstructorReference(ImmutableArray<Expression> arguments)
arguments
- an expression mutable list.public ThisConstructorReference(ExtList children)
children
- the children of this AST element as KeY classes.
May contain:
several of Expression (as initializers of the array),
Comments
Must contain:
execution contextpublic void visit(Visitor v)
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.public ReferencePrefix getReferencePrefix()