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 java.util.List<FlowExpressions.Receiver>	dimensions
protected java.util.List<FlowExpressions.Receiver>	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)

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	isUnmodifiableByOtherCode() Returns true if and only if the value this expression stands for cannot be changed by a method call.
boolean	syntacticEquals(FlowExpressions.Receiver other)
java.lang.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 java.util.List<FlowExpressions.Receiver> dimensions

initializers

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

Constructor Detail

ArrayCreation

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

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

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. This is the case for local variables, the self reference as well as final field accesses for whose receiver FlowExpressions.Receiver.isUnmodifiableByOtherCode() is true.

Specified by:

isUnmodifiableByOtherCode in class FlowExpressions.Receiver

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