com.oracle.graal.pointsto.flow.context.object

Class ConstantContextSensitiveObject

java.lang.Object

com.oracle.graal.pointsto.flow.context.object.AnalysisObject

com.oracle.graal.pointsto.flow.context.object.ContextSensitiveAnalysisObject

com.oracle.graal.pointsto.flow.context.object.ConstantContextSensitiveObject

All Implemented Interfaces:

Comparable<AnalysisObject>

public class ConstantContextSensitiveObject
extends ContextSensitiveAnalysisObject

A context-sensitive analysis object that represents a constant. The implicit context for this analysis object is the constant that it wraps.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.context.object.AnalysisObject

AnalysisObject.AnalysisObjectKind

Field Summary

Fields inherited from class com.oracle.graal.pointsto.flow.context.object.AnalysisObject

arrayElementsTypeStore, EMPTY_ARRAY, id, instanceFieldsTypeStore, kind, merged, objectsTypeComparator, type

Constructor Summary

Constructors

Constructor and Description
ConstantContextSensitiveObject(PointsToAnalysis bb, AnalysisType type) Constructor used for the merged constant object, i.e., after the number of individual constant objects for a type has reached the maximum number of recorded constants threshold.
ConstantContextSensitiveObject(PointsToAnalysis bb, AnalysisType type, JavaConstant constant)

Method Summary

Modifier and Type	Method and Description
JavaConstant	asConstant()
protected List<AnalysisObject>	getAllObjectsMergedWith() This returns all the objects this object was ever merged with.
boolean	isEmptyObjectArrayConstant(PointsToAnalysis bb) Check if a constant object wraps the empty array constant, e.g.
boolean	isMergedConstantObject() Test if this is the merged constant object for its type.
void	noteMerge(PointsToAnalysis bb) The object has been in contact with an context insensitive object in an union operation.
void	setMergedWithUniqueConstantObject()
String	toString()

Methods inherited from class com.oracle.graal.pointsto.flow.context.object.ContextSensitiveAnalysisObject

getArrayElementsFlow, getInstanceFieldFilterFlow, getInstanceFieldFlow, linkFieldFlows, mergeInstanceFieldFlow, mergeInstanceFieldsFlows

Methods inherited from class com.oracle.graal.pointsto.flow.context.object.AnalysisObject

compareTo, equals, getArrayElementsTypeStore, getId, getInstanceFieldFlow, getTypeId, getUnsafeWriteSinkFrozenFilterFlow, hashCode, isAllocationContextSensitiveObject, isContextInsensitiveObject, isEmptyObjectArrayConstant, isObjectArray, isPrimitiveArray, prefix, type

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantContextSensitiveObject

public ConstantContextSensitiveObject(PointsToAnalysis bb,
                                      AnalysisType type)

Constructor used for the merged constant object, i.e., after the number of individual constant objects for a type has reached the maximum number of recorded constants threshold.

ConstantContextSensitiveObject

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

Method Detail

asConstant

public JavaConstant asConstant()

Overrides:

asConstant in class AnalysisObject

isMergedConstantObject

public boolean isMergedConstantObject()

Test if this is the merged constant object for its type.

setMergedWithUniqueConstantObject

public void setMergedWithUniqueConstantObject()

noteMerge

public void noteMerge(PointsToAnalysis bb)

The object has been in contact with an context insensitive object in an union operation.

Overrides:

noteMerge in class ContextSensitiveAnalysisObject

getAllObjectsMergedWith

protected List<AnalysisObject> getAllObjectsMergedWith()

Description copied from class: ContextSensitiveAnalysisObject

This returns all the objects this object was ever merged with.

Overrides:

getAllObjectsMergedWith in class ContextSensitiveAnalysisObject

isEmptyObjectArrayConstant

public boolean isEmptyObjectArrayConstant(PointsToAnalysis bb)

Description copied from class: AnalysisObject

Check if a constant object wraps the empty array constant, e.g. static final Object[] EMPTY_ELEMENTDATA = {} for ArrayList;

Overrides:

isEmptyObjectArrayConstant in class AnalysisObject

toString

public String toString()

Overrides:

toString in class AnalysisObject