com.oracle.graal.pointsto.flow

Class InitialParamTypeFlow

java.lang.Object

com.oracle.graal.pointsto.flow.TypeFlow<AnalysisMethod>

com.oracle.graal.pointsto.flow.InitialParamTypeFlow

Direct Known Subclasses:

InitialReceiverTypeFlow

public class InitialParamTypeFlow
extends TypeFlow<AnalysisMethod>

Parameters for entry methods.

Field Summary

Fields

Modifier and Type	Field and Description
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

Constructor and Description
InitialParamTypeFlow(AnalysisMethod source, AnalysisType declaredType, int position)

Method Summary

Modifier and Type	Method and Description
TypeFlow<AnalysisMethod>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
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, filter, format, 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, update

Methods inherited from class java.lang.Object

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

Field Detail

position

protected final int position

The position of the parameter in the method signature.

Constructor Detail

InitialParamTypeFlow

public InitialParamTypeFlow(AnalysisMethod source,
                            AnalysisType declaredType,
                            int position)

Method Detail

method

public AnalysisMethod method()

Overrides:

method in class TypeFlow<AnalysisMethod>

position

public int position()

copy

public TypeFlow<AnalysisMethod> copy(PointsToAnalysis bb,
                                     MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<AnalysisMethod>

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisMethod>