org.checkerframework.dataflow.analysis

Class FlowExpressions.ArrayCreation

java.lang.Object

org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

org.checkerframework.dataflow.analysis.FlowExpressions.ArrayCreation

Enclosing class:

FlowExpressions

public static class FlowExpressions.ArrayCreation
extends FlowExpressions.Receiver

Field Summary

Fields

Modifier and Type	Field and Description
protected List<FlowExpressions.Receiver>	dimensions
protected List<FlowExpressions.Receiver>	initializers

Fields inherited from class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

type

Constructor Summary

Constructors

Constructor and Description
ArrayCreation(TypeMirror type, List<FlowExpressions.Receiver> dimensions, List<FlowExpressions.Receiver> initializers)

Method Summary

Modifier and Type	Method and Description
boolean	containsOfClass(Class<? extends FlowExpressions.Receiver> clazz)
boolean	containsSyntacticEqualReceiver(FlowExpressions.Receiver other)
boolean	equals(Object obj)
List<FlowExpressions.Receiver>	getDimensions()
List<FlowExpressions.Receiver>	getInitializers()
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(FlowExpressions.Receiver other)
String	toString()

Methods inherited from class org.checkerframework.dataflow.analysis.FlowExpressions.Receiver

containsModifiableAliasOf, containsUnknown, getType

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

dimensions

protected final List<FlowExpressions.Receiver> dimensions

initializers

protected final List<FlowExpressions.Receiver> initializers

Constructor Detail

ArrayCreation

public ArrayCreation(TypeMirror type,
                     List<FlowExpressions.Receiver> dimensions,
                     List<FlowExpressions.Receiver> initializers)

Method Detail

getDimensions

public List<FlowExpressions.Receiver> getDimensions()

getInitializers

public List<FlowExpressions.Receiver> getInitializers()

containsOfClass

public boolean containsOfClass(Class<? extends FlowExpressions.Receiver> clazz)

Specified by:

containsOfClass in class FlowExpressions.Receiver

isUnassignableByOtherCode

public boolean isUnassignableByOtherCode()

Description copied from class: FlowExpressions.Receiver

Returns true if and only if the value this expression stands for cannot be changed (with respect to ==) by a method call. This is the case for local variables, the self reference as well as final field accesses for whose receiver FlowExpressions.Receiver.isUnassignableByOtherCode() is true.

Specified by:

isUnassignableByOtherCode in class FlowExpressions.Receiver

See Also:

FlowExpressions.Receiver.isUnmodifiableByOtherCode()

isUnmodifiableByOtherCode

public boolean isUnmodifiableByOtherCode()

Description copied from class: FlowExpressions.Receiver

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.

Approximately, this returns true if the expression is FlowExpressions.Receiver.isUnassignableByOtherCode() and its type is immutable.

Specified by:

isUnmodifiableByOtherCode in class FlowExpressions.Receiver

See Also:

FlowExpressions.Receiver.isUnassignableByOtherCode()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

syntacticEquals

public boolean syntacticEquals(FlowExpressions.Receiver other)

Overrides:

syntacticEquals in class FlowExpressions.Receiver

Returns:

true if and only if the two receiver are syntactically identical

containsSyntacticEqualReceiver

public boolean containsSyntacticEqualReceiver(FlowExpressions.Receiver other)

Overrides:

containsSyntacticEqualReceiver in class FlowExpressions.Receiver

Returns:

true if and only if this receiver contains a receiver that is syntactically equal to other.

toString

public String toString()

Overrides:

toString in class Object