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

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, jdk.vm.ci.code.BytecodePosition context, AnalysisField field) Returns the filter field flow corresponding to an unsafe accessed field.
FieldTypeFlow	getInstanceFieldFlow(PointsToAnalysis bb, TypeFlow<?> objectFlow, jdk.vm.ci.code.BytecodePosition context, AnalysisField field, boolean isStore)
List<AnalysisObject>	getReferencedObjects() Returns the list of referenced objects, i.e., field objects or array elements discovered by the static analysis.
protected void	mergeInstanceFieldFlow(PointsToAnalysis bb, FieldTypeStore fieldTypeStore)
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

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

Methods inherited from class java.lang.Object

clone, finalize, 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 void mergeInstanceFieldFlow(PointsToAnalysis bb,
                                      FieldTypeStore fieldTypeStore)

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,
                                                      jdk.vm.ci.code.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,
                                          jdk.vm.ci.code.BytecodePosition context,
                                          AnalysisField field,
                                          boolean isStore)

Overrides:

getInstanceFieldFlow in class AnalysisObject

getAllObjectsMergedWith

protected List<AnalysisObject> getAllObjectsMergedWith()

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

getReferencedObjects

public List<AnalysisObject> getReferencedObjects()

Returns the list of referenced objects, i.e., field objects or array elements discovered by the static analysis. Since this list is not updated during the analysis, for complete results this should only be called when the base analysis has finished.