public class FieldAccess extends Receiver
| Modifier and Type | Field and Description |
|---|---|
protected VariableElement |
field |
protected Receiver |
receiver |
| Constructor and Description |
|---|
FieldAccess(Receiver receiver,
FieldAccessNode node) |
FieldAccess(Receiver receiver,
TypeMirror type,
VariableElement fieldElement) |
| 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) |
VariableElement |
getField() |
Receiver |
getReceiver() |
int |
hashCode() |
boolean |
isFinal() |
boolean |
isStatic() |
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, toStringDebugprotected final Receiver receiver
protected final VariableElement field
public FieldAccess(Receiver receiver, FieldAccessNode node)
public FieldAccess(Receiver receiver, TypeMirror type, VariableElement fieldElement)
public Receiver getReceiver()
public VariableElement getField()
public boolean isFinal()
public boolean isStatic()
public 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 Receiverpublic 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 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()