public class AllocationContextSensitiveObject extends ContextSensitiveAnalysisObject
AnalysisObject.AnalysisObjectKind| 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.
|
arrayElementsTypeStore, EMPTY_ARRAY, id, instanceFieldsTypeStore, kind, merged, objectsTypeComparator, type| 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.
|
| 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() |
getAllObjectsMergedWith, getInstanceFieldFilterFlow, getInstanceFieldFlow, getReferencedObjects, mergeInstanceFieldFlow, mergeInstanceFieldFlow, mergeInstanceFieldsFlows, noteMergecompareTo, equals, getArrayElementsTypeStore, getId, getInstanceFieldFlow, getTypeId, getUnsafeWriteSinkFrozenFilterFlow, hashCode, isAllocationContextSensitiveObject, isConstantContextSensitiveObject, isContextInsensitiveObject, isContextSensitiveObject, isEmptyObjectArrayConstant, isEmptyObjectArrayConstant, isObjectArray, isPrimitiveArray, prefix, typeprotected final BytecodeLocation allocationLabel
protected final AnalysisContext allocationContext
protected AnalysisContext allocatorContext
public AllocationContextSensitiveObject(PointsToAnalysis bb, AnalysisType type, BytecodeLocation allocationSite, AnalysisContext context)
public BytecodeLocation allocationLabel()
public AnalysisContext allocationContext()
public void setAllocatorContext(AnalysisContext allocatorContext)
public ArrayElementsTypeFlow getArrayElementsFlow(PointsToAnalysis bb, boolean isStore)
AnalysisObjectgetArrayElementsFlow in class ContextSensitiveAnalysisObjectpublic String toString()
toString in class AnalysisObject