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(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
String	format(boolean withState, boolean withSource)
AnalysisMethod	method()
int	position()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, canSaturate, context, declaredTypeFilter, doAddUse, equals, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, notifyObserverOfSaturation, notifyObservers, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, toString, 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(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>

method

public AnalysisMethod method()

Overrides:

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

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

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

position

public int position()

format

public String format(boolean withState,
                     boolean withSource)

Overrides:

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