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

Class ContextSensitiveAnalysisObject

java.lang.Object

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

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

All Implemented Interfaces:

Comparable<AnalysisObject>

Direct Known Subclasses:

AllocationContextSensitiveObject, ConstantContextSensitiveObject

public class ContextSensitiveAnalysisObject
extends AnalysisObject

This class models analysis objects that retain some information about their allocation. So here context doesn't refer to calling context, but rather to the allocation context of this object (which could contain information about the calling context of its allocator). More importantly, this object abstraction is responsible four correct routing of field and array read and write flows.

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
ContextSensitiveAnalysisObject(AnalysisUniverse universe, AnalysisType type, AnalysisObject.AnalysisObjectKind kind)

Method Summary

Modifier and Type	Method and Description
protected List<AnalysisObject>	getAllObjectsMergedWith() This returns all the objects this object was ever merged with.
ArrayElementsTypeFlow	getArrayElementsFlow(PointsToAnalysis bb, boolean isStore) Returns the array elements type flow corresponding to an analysis object of array type.
FieldFilterTypeFlow	getInstanceFieldFilterFlow(PointsToAnalysis bb, TypeFlow<?> objectFlow, BytecodePosition context, AnalysisField field) Returns the filter field flow corresponding to an unsafe accessed field.
FieldTypeFlow	getInstanceFieldFlow(PointsToAnalysis bb, TypeFlow<?> objectFlow, BytecodePosition context, AnalysisField field, boolean isStore)
protected void	linkFieldFlows(PointsToAnalysis bb, AnalysisField field, FieldTypeStore fieldStore)
protected static void	mergeInstanceFieldFlow(PointsToAnalysis bb, FieldTypeStore fieldTypeStore, AnalysisObject object) Merge the read and write flows of the fieldTypeStore with those of the context insensitive object.
void	mergeInstanceFieldsFlows(PointsToAnalysis bb, AnalysisObject object)
void	noteMerge(PointsToAnalysis bb) The object has been in contact with an context insensitive object in an union operation.

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ContextSensitiveAnalysisObject

public ContextSensitiveAnalysisObject(AnalysisUniverse universe,
                                      AnalysisType type,
                                      AnalysisObject.AnalysisObjectKind kind)

Method Detail

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 AnalysisObject

mergeInstanceFieldsFlows

public void mergeInstanceFieldsFlows(PointsToAnalysis bb,
                                     AnalysisObject object)

mergeInstanceFieldFlow

protected static void mergeInstanceFieldFlow(PointsToAnalysis bb,
                                             FieldTypeStore fieldTypeStore,
                                             AnalysisObject object)

Merge the read and write flows of the fieldTypeStore with those of the context insensitive object.

getArrayElementsFlow

public ArrayElementsTypeFlow getArrayElementsFlow(PointsToAnalysis bb,
                                                  boolean isStore)

Description copied from class: AnalysisObject

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

Overrides:

getArrayElementsFlow in class AnalysisObject

getInstanceFieldFilterFlow

public FieldFilterTypeFlow getInstanceFieldFilterFlow(PointsToAnalysis bb,
                                                      TypeFlow<?> objectFlow,
                                                      BytecodePosition context,
                                                      AnalysisField field)

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

Overrides:

getInstanceFieldFilterFlow in class AnalysisObject

getInstanceFieldFlow

public FieldTypeFlow getInstanceFieldFlow(PointsToAnalysis bb,
                                          TypeFlow<?> objectFlow,
                                          BytecodePosition context,
                                          AnalysisField field,
                                          boolean isStore)

Overrides:

getInstanceFieldFlow in class AnalysisObject

linkFieldFlows

protected void linkFieldFlows(PointsToAnalysis bb,
                              AnalysisField field,
                              FieldTypeStore fieldStore)

Overrides:

linkFieldFlows in class AnalysisObject

getAllObjectsMergedWith

protected List<AnalysisObject> getAllObjectsMergedWith()

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