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

Class AllocationContextSensitiveObject

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.AllocationContextSensitiveObject

All Implemented Interfaces:

Comparable<AnalysisObject>

public class AllocationContextSensitiveObject
extends ContextSensitiveAnalysisObject

Abstraction of a allocation context sensitive heap allocated object.

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.context.object.AnalysisObject

AnalysisObject.AnalysisObjectKind

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisContext	allocationContext The context of the heap object.
protected BytecodePosition	allocationLabel Method and bytecode index of allocation site.

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
AllocationContextSensitiveObject(PointsToAnalysis bb, AnalysisType type, BytecodePosition allocationSite, AnalysisContext context) Creates the allocation sensitive object corresponding to a clone for an allocation site.

Method Summary

Modifier and Type	Method and Description
AnalysisContext	allocationContext()
BytecodePosition	allocationLabel()
ArrayElementsTypeFlow	getArrayElementsFlow(PointsToAnalysis bb, boolean isStore) Returns the array elements type flow corresponding to an analysis object of array type.
String	toString()

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

getAllObjectsMergedWith, getInstanceFieldFilterFlow, getInstanceFieldFlow, linkFieldFlows, mergeInstanceFieldFlow, mergeInstanceFieldsFlows, noteMerge

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, type

Methods inherited from class java.lang.Object

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

Field Detail

allocationLabel

protected final BytecodePosition allocationLabel

Method and bytecode index of allocation site.

allocationContext

protected final AnalysisContext allocationContext

The context of the heap object.

Constructor Detail

AllocationContextSensitiveObject

public AllocationContextSensitiveObject(PointsToAnalysis bb,
                                        AnalysisType type,
                                        BytecodePosition allocationSite,
                                        AnalysisContext context)

Creates the allocation sensitive object corresponding to a clone for an allocation site. It has the same type and allocation site information as the original heap object, but a specific context information.

Method Detail

allocationLabel

public BytecodePosition allocationLabel()

allocationContext

public AnalysisContext allocationContext()

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 ContextSensitiveAnalysisObject

toString

public String toString()

Overrides:

toString in class AnalysisObject