com.oracle.graal.pointsto.typestate

Class MultiTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.MultiTypeState

public class MultiTypeState
extends TypeState

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	MultiTypeState.Range A [left, right) range (interval), i.e., left is inclusive, right is exclusive.

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

TypeState.TypesObjectsIterator

Field Summary

Fields

Modifier and Type	Field and Description
protected BigBang	bigbang
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 AnalysisObject[]	objects The objects of this type state.
protected int[]	objectTypeIds See MultiTypeState.getObjectTypeIds().

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

properties

Method Summary

Modifier and Type	Method and Description
boolean	canBeNull()
boolean	closeToAllInstantiated(BigBang bb) The MultiTypeState overrides this method and provides the proper test.
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(BigBang bb, AnalysisType exactType) This method is needed for accessing the SingleTypeState associated with an specific type of a MutiTypeState, e.g.
TypeState	forCanBeNull(BigBang bb, boolean resultCanBeNull)
int[]	getObjectTypeIds() Returns an array of all type ids from the MultiTypeState.objects array.
boolean	hasExactTypes(BitSet inputTypesBitSet) Returns true if the type state contains exact the same types as the bit set.
int	hashCode()
void	noteMerge(BigBang 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.
Iterator<AnalysisObject>	objectsIterator(AnalysisType exactType) Provides an iterator for the objects corresponding to the type.
String	toString()
int	typesCount() Get the number of types.
Iterator<AnalysisType>	typesIterator() It iterates over the types bit set and gets the types using AnalysisUniverse.getType(int).

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, 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

bigbang

protected final BigBang bigbang

objects

protected final AnalysisObject[] objects

The objects of this type state.

objectTypeIds

protected int[] objectTypeIds

See MultiTypeState.getObjectTypeIds().

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?

Method Detail

getObjectTypeIds

public int[] getObjectTypeIds()

Returns an array of all type ids from the MultiTypeState.objects array. This mitigates the CPU cache misses when iterating over all AnalysisObject and dereferencing the type field over and over again.

objectsCount

public int objectsCount()

Get the number of objects.

Specified by:

objectsCount in class TypeState

objects

public final AnalysisObject[] objects()

Returns the objects as an array.

Specified by:

objects 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

typesCount

public int typesCount()

Description copied from class: TypeState

Get the number of types.

Specified by:

typesCount in class TypeState

typesIterator

public Iterator<AnalysisType> typesIterator()

It iterates over the types bit set and gets the types using AnalysisUniverse.getType(int). The types are iterated in ascending order of their IDs by way of bit set iteration.

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

exactTypeState

public TypeState exactTypeState(BigBang 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

public TypeState forCanBeNull(BigBang bb,
                              boolean resultCanBeNull)

Specified by:

forCanBeNull 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

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

canBeNull

public final boolean canBeNull()

Specified by:

canBeNull in class TypeState

noteMerge

public void noteMerge(BigBang bb)

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

Overrides:

noteMerge in class TypeState

closeToAllInstantiated

public boolean closeToAllInstantiated(BigBang bb)

Description copied from class: TypeState

The MultiTypeState overrides this method and provides the proper test. All the other type states have only 0 or 1 types.

Overrides:

closeToAllInstantiated 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