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 BytecodeLocation	allocationLabel Method and bytecode index of allocation site.
protected AnalysisContext	allocatorContext The context of the method allocating this object.

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, BytecodeLocation 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()
BytecodeLocation	allocationLabel()
ArrayElementsTypeFlow	getArrayElementsFlow(PointsToAnalysis bb, boolean isStore) Returns the array elements type flow corresponding to an analysis object of array type.
void	setAllocatorContext(AnalysisContext allocatorContext)
String	toString()

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

getAllObjectsMergedWith, getInstanceFieldFilterFlow, getInstanceFieldFlow, getReferencedObjects, mergeInstanceFieldFlow, mergeInstanceFieldFlow, mergeInstanceFieldsFlows, noteMerge

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

Methods inherited from class java.lang.Object

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

Field Detail

allocationLabel

protected final BytecodeLocation allocationLabel

Method and bytecode index of allocation site.

allocationContext

protected final AnalysisContext allocationContext

The context of the heap object.

allocatorContext

protected AnalysisContext allocatorContext

The context of the method allocating this object.

Constructor Detail

AllocationContextSensitiveObject

public AllocationContextSensitiveObject(PointsToAnalysis bb,
                                        AnalysisType type,
                                        BytecodeLocation 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 BytecodeLocation allocationLabel()

allocationContext

public AnalysisContext allocationContext()

setAllocatorContext

public void setAllocatorContext(AnalysisContext allocatorContext)

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