public abstract class ComparativeOperator extends Operator
Constructor and Description |
---|
ComparativeOperator(Expression lhs,
Expression rhs) |
ComparativeOperator(ExtList children)
Comparative operator.
|
Modifier and Type | Method and Description |
---|---|
int |
getArity()
Get arity.
|
KeYJavaType |
getKeYJavaType(Services services) |
KeYJavaType |
getKeYJavaType(Services services,
ExecutionContext ec)
returns the
KeYJavaType of an expression |
int |
getNotation()
Get notation.
|
getArguments, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, 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
getComments, match
equalsModRenaming, getEndPosition, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
public ComparativeOperator(ExtList children)
children
- an ExtList with all children of this node
the first children in list will be the one on the left
side, the second the one on the right side.public ComparativeOperator(Expression lhs, Expression rhs)
public int getArity()
public int getNotation()
getNotation
in class Operator
public KeYJavaType getKeYJavaType(Services services, ExecutionContext ec)
Expression
KeYJavaType
of an expressiongetKeYJavaType
in interface Expression
getKeYJavaType
in class Operator
public KeYJavaType getKeYJavaType(Services services)