public abstract class TypeOperator extends Operator implements TypeReferenceContainer
Modifier and Type | Field and Description |
---|---|
protected TypeReference |
typeReference
Type reference.
|
Constructor and Description |
---|
TypeOperator() |
TypeOperator(Expression[] arguments,
TypeReference typeref) |
TypeOperator(Expression unaryChild,
TypeReference typeref) |
TypeOperator(ExtList children)
Constructor for the transformation of COMPOST ASTs to KeY.
|
TypeOperator(ExtList children,
PositionInfo pi)
Constructor for the transformation of COMPOST ASTs to KeY.
|
Modifier and Type | Method and Description |
---|---|
KeYJavaType |
getKeYJavaType(Services javaServ) |
KeYJavaType |
getKeYJavaType(Services javaServ,
ExecutionContext ec)
returns the
KeYJavaType of an expression |
TypeReference |
getTypeReference()
Get type reference.
|
TypeReference |
getTypeReferenceAt(int index) |
int |
getTypeReferenceCount()
Get the number of type references in this container.
|
getArguments, getArity, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getNotation, getPrecedence, isLeftAssociative, isToBeParenthesized, precedes, reuseSignature
compatibleBlockSize, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrint, prettyPrintMain
getEndPosition, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getChildAt, getChildCount
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
protected final TypeReference typeReference
public TypeOperator(ExtList children)
children
- the children of this AST element as KeY classes.
May contain:
a TypeReference (the referred type)
2 of Expression (the first Expression as left hand
side, the second as right hand side),
Commentspublic TypeOperator(ExtList children, PositionInfo pi)
children
- the children of this AST element as KeY classes.
May contain:
a TypeReference (the referred type)
2 of Expression (the first Expression as left hand
side, the second as right hand side),
Commentspublic TypeOperator(Expression unaryChild, TypeReference typeref)
public TypeOperator(Expression[] arguments, TypeReference typeref)
public TypeOperator()
public int getTypeReferenceCount()
getTypeReferenceCount
in interface TypeReferenceContainer
public TypeReference getTypeReferenceAt(int index)
getTypeReferenceAt
in interface TypeReferenceContainer
public TypeReference getTypeReference()
public KeYJavaType getKeYJavaType(Services javaServ, ExecutionContext ec)
Expression
KeYJavaType
of an expressiongetKeYJavaType
in interface Expression
getKeYJavaType
in class Operator
public KeYJavaType getKeYJavaType(Services javaServ)