com.oracle.graal.pointsto.flow

Class ProxyTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.graph.Node>

com.oracle.graal.pointsto.flow.ProxyTypeFlow

Direct Known Subclasses:

ExceptionObjectTypeFlow, WordToObjectTypeFlow

public class ProxyTypeFlow
extends TypeFlow<org.graalvm.compiler.graph.Node>

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. TODO: The use of proxy field flows can be avoided by adding an input list in each flow so that when a flow is cloned it can register it's clones to it's inputs.

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(org.graalvm.compiler.graph.Node source, TypeFlow<?> input)
ProxyTypeFlow(ProxyTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
boolean	addState(BigBang bb, TypeState add)
boolean	addUse(BigBang bb, TypeFlow<?> use)
TypeFlow<org.graalvm.compiler.graph.Node>	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeFlow<?>	getInput()
TypeState	getState()
void	initClone(BigBang bb) Initialization code for some clone corner case type flows.
String	toString()
void	update(BigBang bb)

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, clearUses, context, doAddObserver, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isCloseToAllInstantiated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, onObservedUpdate, receiver, removeInput, removeObservee, removeObserver, removeUse, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver

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(ProxyTypeFlow original,
                     MethodFlowsGraph methodFlows)

Method Detail

copy

public TypeFlow<org.graalvm.compiler.graph.Node> copy(BigBang bb,
                                                      MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<org.graalvm.compiler.graph.Node>

initClone

public void initClone(BigBang bb)

Description copied from class: TypeFlow

Initialization code for some clone corner case type flows.

Overrides:

initClone in class TypeFlow<org.graalvm.compiler.graph.Node>

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.graph.Node>

update

public void update(BigBang bb)

Overrides:

update in class TypeFlow<org.graalvm.compiler.graph.Node>

addUse

public boolean addUse(BigBang bb,
                      TypeFlow<?> use)

Overrides:

addUse in class TypeFlow<org.graalvm.compiler.graph.Node>

getState

public TypeState getState()

Overrides:

getState in class TypeFlow<org.graalvm.compiler.graph.Node>

getInput

public TypeFlow<?> getInput()

toString

public String toString()

Overrides:

toString in class TypeFlow<org.graalvm.compiler.graph.Node>