com.oracle.graal.pointsto.typestate

Class SingleTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.SingleTypeState

public class SingleTypeState
extends TypeState

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.typestate.TypeState

TypeState.TypesObjectsIterator

Field Summary

Fields

Modifier and Type	Field and Description
protected boolean	canBeNull Can this type state represent the null value?
protected AnalysisObject[]	objects The objects of this type state.

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

properties

Constructor Summary

Constructors

Modifier	Constructor and Description
	SingleTypeState(PointsToAnalysis bb, boolean canBeNull, int properties, AnalysisObject... objects) Creates a new type state from incoming objects.
	SingleTypeState(PointsToAnalysis bb, boolean canBeNull, int properties, ArrayList<AnalysisObject> 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()
protected boolean	checkObjects(BigBang bb)
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	exactTypeState(PointsToAnalysis bb, AnalysisType exactType) This method is needed for accessing the SingleTypeState associated with an specific type of a MutiTypeState, e.g.
protected TypeState	forCanBeNull(PointsToAnalysis bb, boolean stateCanBeNull)
boolean	hasExactTypes(BitSet inputTypesBitSet) Returns true if the type state contains exact the same types as the bit set.
int	hashCode()
void	noteMerge(PointsToAnalysis bb) Note that the objects of this type state have been merged.
AnalysisObject[]	objects() Returns the objects as an array.
AnalysisObject[]	objectsArray(AnalysisType type) Returns the objects corresponding to the type.
int	objectsCount() Get the number of objects.
protected Iterator<AnalysisObject>	objectsIterator(AnalysisType type) Provides an iterator for the objects corresponding to the type.
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

containsObject, forAllocation, forAllocation, forClone, forConstant, forContextInsensitiveTypeState, forEmpty, forExactType, forExactType, forExactTypes, forIntersection, forNonNull, forNonNullObject, forNull, forSubtraction, forType, forType, forUnion, getId, getProperties, getTypesObjectsIterator, isAllocation, isConstant, isEmpty, isMultiTypeState, isNull, isSingleTypeState, objects, objectsStream, setId, types, typesStream, verifyDeclaredType

Methods inherited from class java.lang.Object

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

Field Detail

objects

protected final AnalysisObject[] objects

The objects of this type state.

canBeNull

protected final boolean canBeNull

Can this type state represent the null value?

Constructor Detail

SingleTypeState

public SingleTypeState(PointsToAnalysis bb,
                       boolean canBeNull,
                       int properties,
                       ArrayList<AnalysisObject> objects)

SingleTypeState

public SingleTypeState(PointsToAnalysis bb,
                       boolean canBeNull,
                       int properties,
                       AnalysisObject... objects)

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

checkObjects

protected boolean checkObjects(BigBang bb)

typesCount

public int typesCount()

Description copied from class: TypeState

Get the number of types.

Specified by:

typesCount in class TypeState

hasExactTypes

public boolean hasExactTypes(BitSet inputTypesBitSet)

Description copied from class: TypeState

Returns true if the type state contains exact the same types as the bit set.

Specified by:

hasExactTypes 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

typesIterator

protected Iterator<AnalysisType> typesIterator(BigBang bb)

Description copied from class: TypeState

Provides an iterator over the types.

Specified by:

typesIterator in class TypeState

containsType

public 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

objectsCount

public final int objectsCount()

Description copied from class: TypeState

Get the number of objects.

Specified by:

objectsCount in class TypeState

objects

public final AnalysisObject[] objects()

Description copied from class: TypeState

Returns the objects as an array.

Specified by:

objects in class TypeState

objectsArray

public AnalysisObject[] objectsArray(AnalysisType type)

Description copied from class: TypeState

Returns the objects corresponding to the type. It copies those objects to a new array.

Specified by:

objectsArray in class TypeState

objectsIterator

protected Iterator<AnalysisObject> objectsIterator(AnalysisType type)

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

canBeNull

public final boolean canBeNull()

Specified by:

canBeNull in class TypeState

exactTypeState

public TypeState exactTypeState(PointsToAnalysis bb,
                                AnalysisType exactType)

Description copied from class: TypeState

This method is needed for accessing the SingleTypeState associated with an specific type of a MutiTypeState, e.g. for transferring the state from a virtual invoke type flow to the formal receiver flow of a specific callee resolved on the specified type.

Specified by:

exactTypeState in class TypeState

forCanBeNull

protected 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

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