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

Class ContextSensitiveSingleTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.SingleTypeState

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

public class ContextSensitiveSingleTypeState
extends SingleTypeState

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisObject[]	objects The objects of this type state.

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

canBeNull, merged, type

Constructor Summary

Constructors

Modifier	Constructor and Description
	ContextSensitiveSingleTypeState(PointsToAnalysis bb, boolean canBeNull, AnalysisType type, AnalysisObject... objects) Creates a new type state from incoming objects.
protected	ContextSensitiveSingleTypeState(PointsToAnalysis bb, boolean canBeNull, ContextSensitiveSingleTypeState other) Create a type state with the same content and a reversed canBeNull value.

Method Summary

Modifier and Type	Method and Description
JavaConstant	asConstant() Returns a non-null value when this type state represents a single constant value, or null if this type state is not a single constant.
protected boolean	checkObjects(BigBang bb)
boolean	equals(Object o)
TypeState	forCanBeNull(PointsToAnalysis bb, boolean stateCanBeNull)
int	hashCode()
boolean	isAllocation()
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)
String	toString()

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

canBeNull, containsType, exactType, singletonIterator, typesCount, typesIterator

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

forConstant, forEmpty, forExactType, forExactType, forIntersection, forNonNull, forNonNullObject, forNull, forSubtraction, forType, forType, forUnion, 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.

Constructor Detail

ContextSensitiveSingleTypeState

public ContextSensitiveSingleTypeState(PointsToAnalysis bb,
                                       boolean canBeNull,
                                       AnalysisType type,
                                       AnalysisObject... objects)

Creates a new type state from incoming objects.

ContextSensitiveSingleTypeState

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

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

Method Detail

checkObjects

protected boolean checkObjects(BigBang bb)

objectsCount

public final int objectsCount()

Description copied from class: TypeState

Get the number of objects.

Overrides:

objectsCount in class SingleTypeState

objectsIterator

public Iterator<AnalysisObject> objectsIterator(BigBang bb)

Overrides:

objectsIterator in class SingleTypeState

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.

Overrides:

objectsIterator in class SingleTypeState

forCanBeNull

public TypeState forCanBeNull(PointsToAnalysis bb,
                              boolean stateCanBeNull)

Overrides:

forCanBeNull in class SingleTypeState

noteMerge

public void noteMerge(PointsToAnalysis bb)

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

Overrides:

noteMerge in class SingleTypeState

isMerged

public boolean isMerged()

Overrides:

isMerged in class SingleTypeState

isAllocation

public boolean isAllocation()

Overrides:

isAllocation in class TypeState

asConstant

public JavaConstant asConstant()

Description copied from class: TypeState

Returns a non-null value when this type state represents a single constant value, or null if this type state is not a single constant. Note that the TypeState.canBeNull() flag still applies when a constant is returned. A type state that is a "constant or null" both returns a non-null result for TypeState.asConstant()} and true for TypeState.canBeNull().

Overrides:

asConstant in class TypeState

hashCode

public int hashCode()

Overrides:

hashCode in class SingleTypeState

equals

public boolean equals(Object o)

Overrides:

equals in class SingleTypeState

toString

public String toString()

Overrides:

toString in class SingleTypeState