com.oracle.graal.pointsto.typestate

Class SingleTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.SingleTypeState

Direct Known Subclasses:

ConstantTypeState, ContextSensitiveSingleTypeState

public class SingleTypeState
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 AnalysisType	type

Constructor Summary

Constructors

Modifier	Constructor and Description
	SingleTypeState(PointsToAnalysis bb, boolean canBeNull, AnalysisType type) Creates a new type state from incoming objects.
protected	SingleTypeState(PointsToAnalysis bb, boolean canBeNull, SingleTypeState 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 stateCanBeNull)
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.
protected Iterator<AnalysisObject>	objectsIterator(AnalysisType t) Provides an iterator for the objects corresponding to the type.
Iterator<AnalysisObject>	objectsIterator(BigBang bb)
protected static <T> Iterator<T>	singletonIterator(T object)
String	toString()
int	typesCount() Get the number of types.
protected 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

type

protected final AnalysisType type

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

SingleTypeState

public SingleTypeState(PointsToAnalysis bb,
                       boolean canBeNull,
                       AnalysisType type)

Creates a new type state from incoming objects.

SingleTypeState

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

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

Method Detail

typesCount

public final int typesCount()

Description copied from class: TypeState

Get the number of types.

Specified by:

typesCount in class TypeState

objectsCount

public int objectsCount()

Description copied from class: TypeState

Get the number of objects.

Specified by:

objectsCount in class TypeState

canBeNull

public final boolean canBeNull()

Specified by:

canBeNull in class TypeState

exactType

public final 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

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

typesIterator

protected final Iterator<AnalysisType> typesIterator(BigBang bb)

Description copied from class: TypeState

Provides an iterator over the types.

Specified by:

typesIterator in class TypeState

objectsIterator

public Iterator<AnalysisObject> objectsIterator(BigBang bb)

Specified by:

objectsIterator in class TypeState

objectsIterator

protected Iterator<AnalysisObject> objectsIterator(AnalysisType t)

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

singletonIterator

protected static <T> Iterator<T> singletonIterator(T object)

forCanBeNull

public TypeState forCanBeNull(PointsToAnalysis bb,
                              boolean stateCanBeNull)

Specified by:

forCanBeNull 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