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

FlowExpression for array creations. new String[]().

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.List<FlowExpressions.Receiver>	dimensions List of dimensions expressions.
protected java.util.List<FlowExpressions.Receiver>	initializers List of initializers.

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

type

Constructor Summary

Constructors

Constructor and Description
ArrayCreation(javax.lang.model.type.TypeMirror type, java.util.List<FlowExpressions.Receiver> dimensions, java.util.List<FlowExpressions.Receiver> initializers) Creates an ArrayCreation object.

Method Summary

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

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

containsModifiableAliasOf, containsUnknown, debugToString, getType

Methods inherited from class java.lang.Object

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

Field Detail

dimensions

protected final java.util.List<FlowExpressions.Receiver> dimensions

List of dimensions expressions. {code null} means that there is no dimension expression.

initializers

protected final java.util.List<FlowExpressions.Receiver> initializers

List of initializers.

Constructor Detail

ArrayCreation

public ArrayCreation(javax.lang.model.type.TypeMirror type,
                     java.util.List<FlowExpressions.Receiver> dimensions,
                     java.util.List<FlowExpressions.Receiver> initializers)

Creates an ArrayCreation object.

Parameters:

type - array type

dimensions - list of dimension expressions; {code null} means that there is no dimension expression

initializers - list of initializer expressions

Method Detail

getDimensions

public java.util.List<FlowExpressions.Receiver> getDimensions()

getInitializers

public java.util.List<FlowExpressions.Receiver> getInitializers()

containsOfClass

public boolean containsOfClass(java.lang.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 java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Overrides:

equals in class java.lang.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 java.lang.String toString()

Overrides:

toString in class java.lang.Object