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 context for this analysis object is the constant 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(BigBang 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(BigBang bb, AnalysisType type, jdk.vm.ci.meta.JavaConstant constant)

Method Summary

Modifier and Type	Method and Description
jdk.vm.ci.meta.JavaConstant	getConstant()
boolean	isEmptyObjectArrayConstant(BigBang 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(BigBang bb) The object has been in contact with an context insensitive object in an union operation.
String	toString()

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

getArrayElementsFlow, getInstanceFieldFilterFlow, getInstanceFieldFlow, getReferencedObjects, mergeInstanceFieldsFlows

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ConstantContextSensitiveObject

public ConstantContextSensitiveObject(BigBang 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(BigBang bb,
                                      AnalysisType type,
                                      jdk.vm.ci.meta.JavaConstant constant)

Method Detail

getConstant

public jdk.vm.ci.meta.JavaConstant getConstant()

isMergedConstantObject

public boolean isMergedConstantObject()

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

noteMerge

public void noteMerge(BigBang bb)

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

Overrides:

noteMerge in class ContextSensitiveAnalysisObject

isEmptyObjectArrayConstant

public boolean isEmptyObjectArrayConstant(BigBang 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