com.oracle.graal.pointsto.flow

Class FormalReceiverTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<org.graalvm.compiler.nodes.ParameterNode>

com.oracle.graal.pointsto.flow.FormalParamTypeFlow

com.oracle.graal.pointsto.flow.FormalReceiverTypeFlow

public class FormalReceiverTypeFlow
extends FormalParamTypeFlow

Represents the type flow for 'this' parameter for instance methods.

Field Summary

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

method, position

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
FormalReceiverTypeFlow(FormalReceiverTypeFlow original, MethodFlowsGraph methodFlows)
FormalReceiverTypeFlow(org.graalvm.compiler.nodes.ParameterNode source, AnalysisType declaredType, AnalysisMethod method)

Method Summary

Modifier and Type	Method and Description
boolean	addReceiverState(BigBang bb, TypeState add)
boolean	addState(BigBang bb, TypeState add)
FormalReceiverTypeFlow	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(BigBang bb, TypeState newState)
String	toString()

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

method, position

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

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

Methods inherited from class java.lang.Object

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

Constructor Detail

FormalReceiverTypeFlow

public FormalReceiverTypeFlow(org.graalvm.compiler.nodes.ParameterNode source,
                              AnalysisType declaredType,
                              AnalysisMethod method)

FormalReceiverTypeFlow

public FormalReceiverTypeFlow(FormalReceiverTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

copy

public FormalReceiverTypeFlow copy(BigBang bb,
                                   MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class FormalParamTypeFlow

filter

public TypeState filter(BigBang bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<org.graalvm.compiler.nodes.ParameterNode>

addState

public boolean addState(BigBang bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<org.graalvm.compiler.nodes.ParameterNode>

addReceiverState

public boolean addReceiverState(BigBang bb,
                                TypeState add)

toString

public String toString()

Overrides:

toString in class FormalParamTypeFlow