public class BinaryOperation extends Receiver
| Modifier and Type | Field and Description |
|---|---|
protected Receiver |
left
The left operand.
|
protected Tree.Kind |
operationKind
The binary operation kind.
|
protected Receiver |
right
The right operand.
|
protected com.sun.tools.javac.tree.JCTree.Tag |
tag
The binary operation kind for pretty printing.
|
| Constructor and Description |
|---|
BinaryOperation(BinaryOperationNode node,
Receiver left,
Receiver right)
Create a binary operation.
|
| Modifier and Type | Method and Description |
|---|---|
boolean |
containsModifiableAliasOf(Store<?> store,
Receiver other)
Returns true if and only if
other appears anywhere in this receiver or an expression
appears in this receiver such that other might alias this expression, and that
expression is modifiable. |
boolean |
containsOfClass(Class<? extends Receiver> clazz) |
boolean |
equals(@Nullable Object other) |
Receiver |
getLeft()
Returns the left operand of this binary operation.
|
Tree.Kind |
getOperationKind()
Returns the operator of this binary operation.
|
Receiver |
getRight()
Returns the right operand of this binary operation.
|
int |
hashCode() |
boolean |
isUnassignableByOtherCode()
Returns true if and only if the value this expression stands for cannot be changed (with
respect to ==) by a method call.
|
boolean |
isUnmodifiableByOtherCode()
Returns true if and only if the value this expression stands for cannot be changed by a
method call, including changes to any of its fields.
|
boolean |
syntacticEquals(Receiver other)
Returns true if and only if the two receivers are syntactically identical.
|
String |
toString() |
containsSyntacticEqualReceiver, containsUnknown, getType, toStringDebugprotected final Tree.Kind operationKind
protected final com.sun.tools.javac.tree.JCTree.Tag tag
protected final Receiver left
protected final Receiver right
public BinaryOperation(BinaryOperationNode node, Receiver left, Receiver right)
node - the binary operation nodeleft - the left operandright - the right operandpublic Tree.Kind getOperationKind()
public Receiver getLeft()
public Receiver getRight()
public boolean containsOfClass(Class<? extends Receiver> clazz)
containsOfClass in class Receiverpublic boolean isUnassignableByOtherCode()
ReceiverReceiver.isUnassignableByOtherCode(), and binary
operations whose left and right operands are both Receiver.isUnmodifiableByOtherCode().isUnassignableByOtherCode in class ReceiverReceiver.isUnmodifiableByOtherCode()public boolean isUnmodifiableByOtherCode()
ReceiverApproximately, this returns true if the expression is Receiver.isUnassignableByOtherCode()
and its type is immutable.
isUnmodifiableByOtherCode in class ReceiverReceiver.isUnassignableByOtherCode()public boolean syntacticEquals(Receiver other)
ReceiversyntacticEquals in class Receiverother - the other object to compare to this onepublic boolean containsModifiableAliasOf(Store<?> store, Receiver other)
Receiverother appears anywhere in this receiver or an expression
appears in this receiver such that other might alias this expression, and that
expression is modifiable.
This is always true, except for cases where the Java type information prevents aliasing and none of the subexpressions can alias 'other'.
containsModifiableAliasOf in class Receiver