com.oracle.graal.pointsto.flow.context.bytecode

Class ContextSensitiveMultiTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.MultiTypeState

com.oracle.graal.pointsto.flow.context.bytecode.ContextSensitiveMultiTypeState

public class ContextSensitiveMultiTypeState
extends MultiTypeState

Nested Class Summary

Nested Classes

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

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisObject[]	objects The objects of this type state.
protected int[]	objectTypeIds See ContextSensitiveMultiTypeState.getObjectTypeIds().

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

canBeNull, merged, typesBitSet, typesCount

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
protected BitSet	bitSet()
boolean	equals(Object o)
ContextSensitiveMultiTypeState.Range	findTypeRange(AnalysisType type)
int	firstTypeId() Get the type of the first object group.
TypeState	forCanBeNull(PointsToAnalysis bb, boolean resultCanBeNull)
int[]	getObjectTypeIds() Returns an array of all type ids from the ContextSensitiveMultiTypeState.objects array.
int	hashCode()
boolean	isMerged()
int	lastTypeId() Get the type of the last object group.
void	noteMerge(PointsToAnalysis bb) Note that the objects of this type state have been merged.
AnalysisObject[]	objectsArray(AnalysisType type)
AnalysisObject[]	objectsArray(ContextSensitiveMultiTypeState.Range typeRange)
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()

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

canBeNull, containsType, exactType, typesBitSet, typesCount, typesIterator

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

objects

protected final AnalysisObject[] objects

The objects of this type state.

objectTypeIds

protected int[] objectTypeIds

See ContextSensitiveMultiTypeState.getObjectTypeIds().

Constructor Detail

ContextSensitiveMultiTypeState

public ContextSensitiveMultiTypeState(PointsToAnalysis bb,
                                      boolean canBeNull,
                                      BitSet typesBitSet,
                                      int typesCount,
                                      AnalysisObject... objects)

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

ContextSensitiveMultiTypeState

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

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

Method Detail

bitSet

protected BitSet bitSet()

getObjectTypeIds

public int[] getObjectTypeIds()

Returns an array of all type ids from the ContextSensitiveMultiTypeState.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.

Overrides:

objectsCount in class MultiTypeState

objectsIterator

protected Iterator<AnalysisObject> objectsIterator(BigBang bb)

Overrides:

objectsIterator in class MultiTypeState

firstTypeId

public int firstTypeId()

Get the type of the first object group.

lastTypeId

public int lastTypeId()

Get the type of the last object group.

forCanBeNull

public TypeState forCanBeNull(PointsToAnalysis bb,
                              boolean resultCanBeNull)

Overrides:

forCanBeNull in class MultiTypeState

findTypeRange

public ContextSensitiveMultiTypeState.Range findTypeRange(AnalysisType type)

objectsArray

public AnalysisObject[] objectsArray(AnalysisType type)

objectsArray

public AnalysisObject[] objectsArray(ContextSensitiveMultiTypeState.Range typeRange)

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.

Overrides:

objectsIterator in class MultiTypeState

noteMerge

public void noteMerge(PointsToAnalysis bb)

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

Overrides:

noteMerge in class MultiTypeState

isMerged

public boolean isMerged()

Overrides:

isMerged in class MultiTypeState

hashCode

public int hashCode()

Overrides:

hashCode in class MultiTypeState

equals

public boolean equals(Object o)

Overrides:

equals in class MultiTypeState

toString

public String toString()

Overrides:

toString in class MultiTypeState