com.oracle.graal.pointsto.flow

Class NewInstanceTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<BytecodePosition>

com.oracle.graal.pointsto.flow.SourceTypeFlowBase

com.oracle.graal.pointsto.flow.NewInstanceTypeFlow

Direct Known Subclasses:

BoxTypeFlow

public class NewInstanceTypeFlow
extends SourceTypeFlowBase

Field Summary

Fields

Modifier and Type	Field and Description
protected ConcurrentMap<AnalysisContext,AnalysisObject>	heapObjectsCache The original type flow keeps track of the heap objects created for the clones to avoid duplication of heap object abstractions.
protected AnalysisType	type Source flow has an immutable type state.

Fields inherited from class com.oracle.graal.pointsto.flow.SourceTypeFlowBase

sourceState

Fields inherited from class com.oracle.graal.pointsto.flow.TypeFlow

declaredType, graphRef, id, inQueue, nextId, source, state, usedAsAParameter, usedAsAReceiver

Constructor Summary

Constructors

Modifier	Constructor and Description
	NewInstanceTypeFlow(BytecodePosition position, AnalysisType type)
protected	NewInstanceTypeFlow(BytecodePosition position, AnalysisType type, TypeState typeState)
protected	NewInstanceTypeFlow(PointsToAnalysis bb, NewInstanceTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
protected TypeState	cloneSourceState(PointsToAnalysis bb, MethodFlowsGraph methodFlows) Create the type state for a clone.
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
String	toString()
AnalysisType	type()

Methods inherited from class com.oracle.graal.pointsto.flow.SourceTypeFlowBase

canSaturate, initFlow, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, setSourceState

Methods inherited from class com.oracle.graal.pointsto.flow.TypeFlow

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Field Detail

heapObjectsCache

protected volatile ConcurrentMap<AnalysisContext,AnalysisObject> heapObjectsCache

The original type flow keeps track of the heap objects created for the clones to avoid duplication of heap object abstractions. The allocation context is derived from the allocator context, i.e., the context of the method clone that holds this flow. There is only one NewInstanceTypeFlow per context of a method, however, depending of the analysis policy, multiple NewInstanceTypeFlows can generate objects with the same allocation context.

type

protected final AnalysisType type

Source flow has an immutable type state.

Constructor Detail

NewInstanceTypeFlow

public NewInstanceTypeFlow(BytecodePosition position,
                           AnalysisType type)

NewInstanceTypeFlow

protected NewInstanceTypeFlow(BytecodePosition position,
                              AnalysisType type,
                              TypeState typeState)

NewInstanceTypeFlow

protected NewInstanceTypeFlow(PointsToAnalysis bb,
                              NewInstanceTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

copy

public TypeFlow<BytecodePosition> copy(PointsToAnalysis bb,
                                       MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

cloneSourceState

protected TypeState cloneSourceState(PointsToAnalysis bb,
                                     MethodFlowsGraph methodFlows)

Create the type state for a clone.

type

public AnalysisType type()

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>