com.oracle.graal.pointsto.flow

Class FormalParamTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FormalParamTypeFlow

Direct Known Subclasses:

FormalReceiverTypeFlow

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

Field Summary

Fields

Modifier and Type	Field and Description
protected AnalysisMethod	method The holding method.
protected int	position The position of the parameter in the method signature.

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

Method Summary

Modifier and Type	Method and Description
TypeFlow<jdk.vm.ci.code.BytecodePosition>	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(BigBang bb, TypeState newState)
AnalysisMethod	method()
int	position()
String	toString()

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

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

Methods inherited from class java.lang.Object

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

Field Detail

method

protected final AnalysisMethod method

The holding method.

position

protected final int position

The position of the parameter in the method signature.

Constructor Detail

FormalParamTypeFlow

public FormalParamTypeFlow(org.graalvm.compiler.nodes.ParameterNode source,
                           AnalysisType declaredType,
                           AnalysisMethod method,
                           int position)

FormalParamTypeFlow

protected FormalParamTypeFlow(FormalParamTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

copy

public TypeFlow<jdk.vm.ci.code.BytecodePosition> copy(BigBang 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>

method

public AnalysisMethod method()

Overrides:

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

filter

public TypeState filter(BigBang bb,
                        TypeState newState)

Overrides:

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

position

public int position()

toString

public String toString()

Overrides:

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