com.oracle.graal.pointsto.flow

Class NewInstanceTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.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 BytecodeLocation	allocationSite
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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	NewInstanceTypeFlow(PointsToAnalysis bb, NewInstanceTypeFlow original, MethodFlowsGraph methodFlows)
	NewInstanceTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType type, BytecodeLocation allocationLabel)
protected	NewInstanceTypeFlow(org.graalvm.compiler.nodes.ValueNode node, AnalysisType type, BytecodeLocation allocationLabel, TypeState typeState)

Method Summary

Modifier and Type	Method and Description
BytecodeLocation	allocationSite()
protected TypeState	cloneSourceState(PointsToAnalysis bb, MethodFlowsGraph methodFlows) Create the type state for a clone.
TypeFlow<jdk.vm.ci.code.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

addState, canSaturate, initClone, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, context, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, 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, finalize, 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.

allocationSite

protected final BytecodeLocation allocationSite

Constructor Detail

NewInstanceTypeFlow

public NewInstanceTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                           AnalysisType type,
                           BytecodeLocation allocationLabel)

NewInstanceTypeFlow

protected NewInstanceTypeFlow(org.graalvm.compiler.nodes.ValueNode node,
                              AnalysisType type,
                              BytecodeLocation allocationLabel,
                              TypeState typeState)

NewInstanceTypeFlow

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

Method Detail

copy

public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(PointsToAnalysis bb,
                                                      MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<jdk.vm.ci.code.BytecodePosition>

cloneSourceState

protected TypeState cloneSourceState(PointsToAnalysis bb,
                                     MethodFlowsGraph methodFlows)

Create the type state for a clone.

allocationSite

public BytecodeLocation allocationSite()

type

public AnalysisType type()

toString

public String toString()

Overrides:

toString in class TypeFlow<jdk.vm.ci.code.BytecodePosition>