public class ArrayAccess extends Receiver
| Modifier and Type | Field and Description |
|---|---|
protected Receiver |
index |
protected Receiver |
receiver |
| Constructor and Description |
|---|
ArrayAccess(TypeMirror type,
Receiver receiver,
Receiver index) |
| 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 |
containsSyntacticEqualReceiver(Receiver other)
Returns true if and only if this receiver contains a receiver that is syntactically equal to
other. |
boolean |
equals(@Nullable Object obj) |
Receiver |
getIndex() |
Receiver |
getReceiver() |
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() |
containsUnknown, getType, toStringDebugpublic ArrayAccess(TypeMirror type, Receiver receiver, Receiver index)
public boolean containsOfClass(Class<? extends Receiver> clazz)
containsOfClass in class Receiverpublic Receiver getReceiver()
public Receiver getIndex()
public 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 containsSyntacticEqualReceiver(Receiver other)
Receiverother.containsSyntacticEqualReceiver in class Receiverotherpublic 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