com.oracle.graal.pointsto.typestate

Class ConstantTypeState

java.lang.Object

com.oracle.graal.pointsto.typestate.TypeState

com.oracle.graal.pointsto.typestate.SingleTypeState

com.oracle.graal.pointsto.typestate.ConstantTypeState

public class ConstantTypeState
extends SingleTypeState

Models a JavaConstant flowing through the data flow graph. As soon as this constant is merged with any other object (even of the same type) it is erased and the state falls back to a SingleTypeState.

Field Summary

Fields

Modifier and Type	Field and Description
protected JavaConstant	constant The constant object of this type state.

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

canBeNull, merged, type

Constructor Summary

Constructors

Modifier	Constructor and Description
	ConstantTypeState(PointsToAnalysis bb, AnalysisType type, JavaConstant constant) Creates a new type state from incoming objects.
protected	ConstantTypeState(PointsToAnalysis bb, boolean canBeNull, ConstantTypeState 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.
boolean	equals(Object obj)
TypeState	forCanBeNull(PointsToAnalysis bb, boolean stateCanBeNull)
JavaConstant	getConstant()
int	hashCode()
void	noteMerge(PointsToAnalysis bb) Note that the objects of this type state have been merged.
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, isMerged, objectsCount, 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, isAllocation, isEmpty, isNull, objects, objects, types, typesStream, verifyDeclaredType

Methods inherited from class java.lang.Object

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

Field Detail

constant

protected final JavaConstant constant

The constant object of this type state.

Constructor Detail

ConstantTypeState

public ConstantTypeState(PointsToAnalysis bb,
                         AnalysisType type,
                         JavaConstant constant)

Creates a new type state from incoming objects.

ConstantTypeState

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

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

Method Detail

getConstant

public JavaConstant getConstant()

forCanBeNull

public TypeState forCanBeNull(PointsToAnalysis bb,
                              boolean stateCanBeNull)

Overrides:

forCanBeNull 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

noteMerge

public void noteMerge(PointsToAnalysis bb)

Description copied from class: SingleTypeState

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

Overrides:

noteMerge in class SingleTypeState

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 obj)

Overrides:

equals in class SingleTypeState

toString

public String toString()

Overrides:

toString in class SingleTypeState