com.oracle.graal.pointsto.typestate

Class MultiTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.MultiTypeState

Direct Known Subclasses:

ContextSensitiveMultiTypeState

public class MultiTypeState
extends TypeState

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	canBeNull Can this type state represent the null value?
protected boolean	merged Has this type state been merged with the all-instantiated type state?
protected BitSet	typesBitSet Keep a bit set for types to easily answer queries like contains type or types count, and quickly iterate over the types.
protected int	typesCount Cache the number of types since BitSet.cardinality() computes it every time is called.

Constructor Summary

Constructors

Modifier	Constructor and Description
	MultiTypeState(PointsToAnalysis bb, boolean canBeNull, BitSet typesBitSet, int typesCount) Creates a new type state using the provided types bit set and objects.
protected	MultiTypeState(PointsToAnalysis bb, boolean canBeNull, MultiTypeState other) Create a type state with the same content and a reversed canBeNull value.

Method Summary

Modifier and Type	Method and Description
boolean	canBeNull()
boolean	containsType(AnalysisType exactType) Returns true if this type state contains the type, otherwise it returns false.
boolean	equals(Object o)
AnalysisType	exactType() If this type state has a single, exact type it returns that type, otherwise it returns null.
TypeState	forCanBeNull(PointsToAnalysis bb, boolean resultCanBeNull)
int	hashCode()
boolean	isMerged()
void	noteMerge(PointsToAnalysis bb) Note that the objects of this type state have been merged.
int	objectsCount() Get the number of objects.
Iterator<AnalysisObject>	objectsIterator(AnalysisType exactType) Provides an iterator for the objects corresponding to the type.
protected Iterator<AnalysisObject>	objectsIterator(BigBang bb)
String	toString()
protected BitSet	typesBitSet()
int	typesCount() Get the number of types.
Iterator<AnalysisType>	typesIterator(BigBang bb) Provides an iterator over the types.

Methods inherited from class com.oracle.graal.pointsto.typestate.TypeState

asConstant, forConstant, forEmpty, forExactType, forExactType, forIntersection, forNonNull, forNonNullObject, forNull, forSubtraction, forType, forType, forUnion, isAllocation, isEmpty, isNull, objects, objects, types, typesStream, verifyDeclaredType

Methods inherited from class java.lang.Object

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

Field Detail

typesBitSet

protected final BitSet typesBitSet

Keep a bit set for types to easily answer queries like contains type or types count, and quickly iterate over the types.

typesCount

protected final int typesCount

Cache the number of types since BitSet.cardinality() computes it every time is called.

canBeNull

protected final boolean canBeNull

Can this type state represent the null value?

merged

protected boolean merged

Has this type state been merged with the all-instantiated type state?

Constructor Detail

MultiTypeState

public MultiTypeState(PointsToAnalysis bb,
                      boolean canBeNull,
                      BitSet typesBitSet,
                      int typesCount)

Creates a new type state using the provided types bit set and objects.

MultiTypeState

protected MultiTypeState(PointsToAnalysis bb,
                         boolean canBeNull,
                         MultiTypeState other)

Create a type state with the same content and a reversed canBeNull value.

Method Detail

objectsCount

public int objectsCount()

Get the number of objects.

Specified by:

objectsCount in class TypeState

exactType

public AnalysisType exactType()

Description copied from class: TypeState

If this type state has a single, exact type it returns that type, otherwise it returns null.

Specified by:

exactType in class TypeState

typesCount

public int typesCount()

Description copied from class: TypeState

Get the number of types.

Specified by:

typesCount in class TypeState

typesBitSet

protected BitSet typesBitSet()

typesIterator

public final Iterator<AnalysisType> typesIterator(BigBang bb)

Description copied from class: TypeState

Provides an iterator over the types.

Specified by:

typesIterator in class TypeState

objectsIterator

protected Iterator<AnalysisObject> objectsIterator(BigBang bb)

Specified by:

objectsIterator in class TypeState

objectsIterator

public Iterator<AnalysisObject> objectsIterator(AnalysisType exactType)

Description copied from class: TypeState

Provides an iterator for the objects corresponding to the type. The objects are returned from the internal objects array and are not materialized to a different data structure.

Specified by:

objectsIterator in class TypeState

containsType

public final boolean containsType(AnalysisType exactType)

Description copied from class: TypeState

Returns true if this type state contains the type, otherwise it returns false.

Specified by:

containsType in class TypeState

forCanBeNull

public TypeState forCanBeNull(PointsToAnalysis bb,
                              boolean resultCanBeNull)

Specified by:

forCanBeNull in class TypeState

canBeNull

public final boolean canBeNull()

Specified by:

canBeNull in class TypeState

noteMerge

public void noteMerge(PointsToAnalysis bb)

Note that the objects of this type state have been merged.

Overrides:

noteMerge in class TypeState

isMerged

public boolean isMerged()

Overrides:

isMerged in class TypeState

hashCode

public int hashCode()

Overrides:

hashCode in class TypeState

equals

public boolean equals(Object o)

Specified by:

equals in class TypeState

toString

public String toString()

Overrides:

toString in class Object