com.oracle.graal.pointsto.flow

Class ProxyTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.ProxyTypeFlow

Direct Known Subclasses:

ExceptionObjectTypeFlow, WordToObjectTypeFlow

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

A proxy class to be used for AllInstantiatedTypeFlows. The cloning mechanism needs a mechanism to clone only those uses of these global flows that belong to the current cloned method. Thus the proxy is just a level of indirection to the global flows where the local uses can be attached. A proxy type flow doesn't participate in any type flow updates. When a method is cloned it links the clones of the uses/observers of the proxy flow directly to the input flow.

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeFlow<?>	input

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
ProxyTypeFlow(jdk.vm.ci.code.BytecodePosition source, TypeFlow<?> input)
ProxyTypeFlow(org.graalvm.compiler.graph.Node source, TypeFlow<?> input)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add)
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeFlow<?>	getInput()
TypeState	getState()
String	toString()
void	update(PointsToAnalysis bb)

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut

Methods inherited from class java.lang.Object

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

Field Detail

input

protected TypeFlow<?> input

Constructor Detail

ProxyTypeFlow

public ProxyTypeFlow(org.graalvm.compiler.graph.Node source,
                     TypeFlow<?> input)

ProxyTypeFlow

public ProxyTypeFlow(jdk.vm.ci.code.BytecodePosition source,
                     TypeFlow<?> input)

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>

getInput

public TypeFlow<?> getInput()

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Overrides:

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

update

public void update(PointsToAnalysis bb)

Overrides:

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

getState

public TypeState getState()

Overrides:

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

toString

public String toString()

Overrides:

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