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

Class AnalysisObject

java.lang.Object

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

All Implemented Interfaces:

Comparable<AnalysisObject>

Direct Known Subclasses:

ContextSensitiveAnalysisObject

public class AnalysisObject
extends Object
implements Comparable<AnalysisObject>

Models a runtime object at analysis time.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected static class	AnalysisObject.AnalysisObjectKind

Field Summary

Fields

Modifier and Type	Field and Description
protected ArrayElementsTypeStore	arrayElementsTypeStore The array elements flow for this object.
static AnalysisObject[]	EMPTY_ARRAY
protected long	id The id of an analysis object.
protected AtomicReferenceArray<FieldTypeStore>	instanceFieldsTypeStore The instance field flows for this object.
protected AnalysisObject.AnalysisObjectKind	kind
protected boolean	merged Is this a context sensitive object that was merged with a context insensitive object, or a context insensitive object that has merged some context sensitive objects?
static Comparator<AnalysisObject>	objectsTypeComparator
protected AnalysisType	type The concrete type of an analysis object.

Constructor Summary

Constructors

Modifier	Constructor and Description
	AnalysisObject(AnalysisUniverse universe, AnalysisType type) By default an analysis object is context insensitive.
protected	AnalysisObject(AnalysisUniverse universe, AnalysisType type, AnalysisObject.AnalysisObjectKind kind) Constructor allowing the subclasses to specify the type of context sensitivity they implement.

Method Summary

Modifier and Type	Method and Description
int	compareTo(AnalysisObject other)
boolean	equals(Object other)
ArrayElementsTypeFlow	getArrayElementsFlow(BigBang bb, boolean isStore) Returns the array elements type flow corresponding to an analysis object of array type.
ArrayElementsTypeStore	getArrayElementsTypeStore()
long	getId()
FieldFilterTypeFlow	getInstanceFieldFilterFlow(BigBang bb, AnalysisMethod context, AnalysisField field) Returns the filter field flow corresponding to an unsafe accessed filed.
FieldTypeFlow	getInstanceFieldFlow(BigBang bb, AnalysisField field, boolean isStore) Returns the instance field flow corresponding to a filed of the object's type.
FieldTypeFlow	getInstanceFieldFlow(BigBang bb, AnalysisMethod context, AnalysisField field, boolean isStore)
int	getTypeId()
UnsafeWriteSinkTypeFlow	getUnsafeWriteSinkFrozenFilterFlow(BigBang bb, AnalysisMethod context, AnalysisField field)
int	hashCode()
boolean	isAllocationContextSensitiveObject()
boolean	isConstantContextSensitiveObject()
boolean	isContextInsensitiveObject()
boolean	isContextSensitiveObject()
boolean	isEmptyObjectArrayConstant(BigBang bb) Check if a constant object wraps the empty array constant, e.g.
static boolean	isEmptyObjectArrayConstant(BigBang bb, jdk.vm.ci.meta.JavaConstant constant) Check if a constant object wraps the empty array constant, i.e.
boolean	isObjectArray() Check if an analysis object is an object array.
boolean	isPrimitiveArray() Check if an analysis object is a primitive array.
void	noteMerge(BigBang bb) Note that this object has been merged.
String	prefix()
String	toString()
AnalysisType	type()

Methods inherited from class java.lang.Object

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

Field Detail

objectsTypeComparator

public static final Comparator<AnalysisObject> objectsTypeComparator

EMPTY_ARRAY

public static final AnalysisObject[] EMPTY_ARRAY

id

protected final long id

The id of an analysis object. It contains the type ID in the 32 MSB and the actual object ID in the 32 LSB.

type

protected final AnalysisType type

The concrete type of an analysis object.

kind

protected final AnalysisObject.AnalysisObjectKind kind

merged

protected volatile boolean merged

Is this a context sensitive object that was merged with a context insensitive object, or a context insensitive object that has merged some context sensitive objects?

arrayElementsTypeStore

protected final ArrayElementsTypeStore arrayElementsTypeStore

The array elements flow for this object.

instanceFieldsTypeStore

protected volatile AtomicReferenceArray<FieldTypeStore> instanceFieldsTypeStore

The instance field flows for this object.

Constructor Detail

AnalysisObject

public AnalysisObject(AnalysisUniverse universe,
                      AnalysisType type)

By default an analysis object is context insensitive.

AnalysisObject

protected AnalysisObject(AnalysisUniverse universe,
                         AnalysisType type,
                         AnalysisObject.AnalysisObjectKind kind)

Constructor allowing the subclasses to specify the type of context sensitivity they implement.

Method Detail

getTypeId

public int getTypeId()

type

public AnalysisType type()

getId

public long getId()

noteMerge

public void noteMerge(BigBang bb)

Note that this object has been merged. If it is context sensitive then its context sensitivity is invalidated. If it is context insensitive then it means that it has been merged with some context sensitive objects, i.e., it now represents those objects too and their corresponding data, like field and array elements flows.

prefix

public String prefix()

isContextInsensitiveObject

public final boolean isContextInsensitiveObject()

isAllocationContextSensitiveObject

public final boolean isAllocationContextSensitiveObject()

isConstantContextSensitiveObject

public final boolean isConstantContextSensitiveObject()

isContextSensitiveObject

public final boolean isContextSensitiveObject()

getArrayElementsTypeStore

public ArrayElementsTypeStore getArrayElementsTypeStore()

getArrayElementsFlow

public ArrayElementsTypeFlow getArrayElementsFlow(BigBang bb,
                                                  boolean isStore)

Returns the array elements type flow corresponding to an analysis object of array type.

getInstanceFieldFilterFlow

public FieldFilterTypeFlow getInstanceFieldFilterFlow(BigBang bb,
                                                      AnalysisMethod context,
                                                      AnalysisField field)

Returns the filter field flow corresponding to an unsafe accessed filed.

getUnsafeWriteSinkFrozenFilterFlow

public UnsafeWriteSinkTypeFlow getUnsafeWriteSinkFrozenFilterFlow(BigBang bb,
                                                                  AnalysisMethod context,
                                                                  AnalysisField field)

getInstanceFieldFlow

public FieldTypeFlow getInstanceFieldFlow(BigBang bb,
                                          AnalysisField field,
                                          boolean isStore)

Returns the instance field flow corresponding to a filed of the object's type.

getInstanceFieldFlow

public FieldTypeFlow getInstanceFieldFlow(BigBang bb,
                                          AnalysisMethod context,
                                          AnalysisField field,
                                          boolean isStore)

isEmptyObjectArrayConstant

public boolean isEmptyObjectArrayConstant(BigBang bb)

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

isPrimitiveArray

public boolean isPrimitiveArray()

Check if an analysis object is a primitive array.

isObjectArray

public boolean isObjectArray()

Check if an analysis object is an object array.

isEmptyObjectArrayConstant

public static boolean isEmptyObjectArrayConstant(BigBang bb,
                                                 jdk.vm.ci.meta.JavaConstant constant)

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

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(AnalysisObject other)

Specified by:

compareTo in interface Comparable<AnalysisObject>

equals

public final boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object