public class Equals extends ComparativeOperator
Constructor and Description |
---|
Equals(Expression lhs,
Expression rhs)
Creates the equals expression
lhs==rhs |
Equals(ExtList children)
Equals.
|
Modifier and Type | Method and Description |
---|---|
int |
getPrecedence()
Get precedence.
|
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
|
getArity, getKeYJavaType, getKeYJavaType, getNotation
getArguments, getChildAt, getChildCount, getExpressionAt, getExpressionCount, getFirstElement, getFirstElementIncludingBlocks, getLastElement, isLeftAssociative, 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, getPositionInfo, getRelativePosition, getStartPosition
public Equals(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 Equals(Expression lhs, Expression rhs)
lhs==rhs
lhs
- the Expression on the left side of the comparisonrhs
- the Expression on the right side of the comparisonpublic int getPrecedence()
getPrecedence
in class Operator
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.