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
ArrayElementsTypeFlow	getArrayElementsFlow(BigBang bb, boolean isStore) Returns the array elements type flow corresponding to an analysis object of array type.
FieldFilterTypeFlow	getInstanceFieldFilterFlow(BigBang bb, AnalysisMethod context, AnalysisField field) Returns the filter field flow corresponding to an unsafe accessed field.
FieldTypeFlow	getInstanceFieldFlow(BigBang bb, AnalysisField field, boolean isStore) Returns the instance field flow corresponding to a filed of the object's type.
List<AnalysisObject>	getReferencedObjects() Returns the list of referenced objects, i.e., field objects or array elements discovered by the static analysis.
void	mergeInstanceFieldsFlows(BigBang bb, AnalysisObject object)
void	noteMerge(BigBang 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, 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(BigBang 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(BigBang bb,
                                     AnalysisObject object)

getArrayElementsFlow

public ArrayElementsTypeFlow getArrayElementsFlow(BigBang 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(BigBang bb,
                                                      AnalysisMethod context,
                                                      AnalysisField field)

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

Overrides:

getInstanceFieldFilterFlow in class AnalysisObject

getInstanceFieldFlow

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

Description copied from class: AnalysisObject

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

Overrides:

getInstanceFieldFlow in class AnalysisObject

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.