com.oracle.graal.pointsto.flow

Class DynamicNewInstanceTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<jdk.vm.ci.code.BytecodePosition>

com.oracle.graal.pointsto.flow.DynamicNewInstanceTypeFlow

public final class DynamicNewInstanceTypeFlow
extends TypeFlow<jdk.vm.ci.code.BytecodePosition>

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisContext	allocationContext The allocation context for the generated dynamic object.
protected BytecodeLocation	allocationSite
protected TypeFlow<?>	newTypeFlow The new type provider.

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

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

Constructor Summary

Constructors

Constructor and Description
DynamicNewInstanceTypeFlow(TypeFlow<?> newTypeFlow, AnalysisType type, org.graalvm.compiler.nodes.ValueNode node, BytecodeLocation allocationLabel)

Method Summary

Modifier and Type	Method and Description
AnalysisContext	allocationContext()
BytecodeLocation	allocationSite()
boolean	canSaturate() Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
void	initClone(PointsToAnalysis bb) Initialization code for some clone corner case type flows.
TypeFlow<?>	newTypeFlow()
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
void	setObserved(TypeFlow<?> declaredTypeFlow) Set the type flow that this flow is observing.
String	toString()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, 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, onInputSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, 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

allocationSite

protected final BytecodeLocation allocationSite

newTypeFlow

protected TypeFlow<?> newTypeFlow

The new type provider.

allocationContext

protected final AnalysisContext allocationContext

The allocation context for the generated dynamic object. Null if this is not a clone.

Constructor Detail

DynamicNewInstanceTypeFlow

public DynamicNewInstanceTypeFlow(TypeFlow<?> newTypeFlow,
                                  AnalysisType type,
                                  org.graalvm.compiler.nodes.ValueNode node,
                                  BytecodeLocation allocationLabel)

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>

initClone

public void initClone(PointsToAnalysis bb)

Description copied from class: TypeFlow

Initialization code for some clone corner case type flows.

Overrides:

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

onObservedUpdate

public void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Overrides:

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

newTypeFlow

public TypeFlow<?> newTypeFlow()

allocationSite

public BytecodeLocation allocationSite()

allocationContext

public AnalysisContext allocationContext()

setObserved

public void setObserved(TypeFlow<?> declaredTypeFlow)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

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

onObservedSaturated

public void onObservedSaturated(PointsToAnalysis bb,
                                TypeFlow<?> observed)

Description copied from class: TypeFlow

Notified by an observed flow that it is saturated.

Overrides:

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

canSaturate

public boolean canSaturate()

Description copied from class: TypeFlow

Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.

Overrides:

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

toString

public String toString()

Overrides:

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