public class TypeCast extends TypeOperator
typeReference
Constructor and Description |
---|
TypeCast()
Type cast.
|
TypeCast(Expression child,
TypeReference typeref)
Note: The ordering of the arguments does not match the syntactical
appearance of a Java type case, but the order in the superclass
TypeOperator.
|
TypeCast(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
int |
getArity()
Get arity.
|
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 |
getNotation()
Get notation.
|
int |
getPrecedence()
Get precedence.
|
boolean |
isLeftAssociative()
Checks if this operator is left or right associative.
|
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
|
getKeYJavaType, getKeYJavaType, getTypeReference, getTypeReferenceAt, getTypeReferenceCount
getArguments, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, isToBeParenthesized, precedes, reuseSignature
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain
getEndPosition, 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 TypeCast()
public TypeCast(Expression child, TypeReference typeref)
public TypeCast(ExtList children)
children
- the children of this AST element as KeY classes.public int getChildCount()
getChildCount
in interface NonTerminalProgramElement
getChildCount
in class Operator
public ProgramElement getChildAt(int index)
getChildAt
in interface NonTerminalProgramElement
getChildAt
in class Operator
index
- an index into this node's "virtual" child arrayjava.lang.ArrayIndexOutOfBoundsException
- if index is out
of boundspublic int getArity()
public int getPrecedence()
getPrecedence
in class Operator
public int getNotation()
getNotation
in class Operator
public boolean isLeftAssociative()
isLeftAssociative
in class Operator
true
, if the operator is left associative,
false
otherwise.public 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.