com.oracle.graal.pointsto.flow

Class InitialReceiverTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.InitialParamTypeFlow

com.oracle.graal.pointsto.flow.InitialReceiverTypeFlow

public class InitialReceiverTypeFlow
extends InitialParamTypeFlow

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

Field Summary

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

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
InitialReceiverTypeFlow(AnalysisMethod source, AnalysisType declaredType)

Method Summary

Modifier and Type	Method and Description
boolean	addUse(PointsToAnalysis bb, TypeFlow<?> use) The state of the formal receiver type flow cannot be updated directly, thus FormalReceiverTypeFlow.addReceiverState(PointsToAnalysis, TypeState) needs to be used.
TypeFlow<AnalysisMethod>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
String	toString()
void	update(PointsToAnalysis bb)

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

method, position

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, canSaturate, context, declaredTypeFilter, doAddUse, equals, 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

Methods inherited from class java.lang.Object

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

Constructor Detail

InitialReceiverTypeFlow

public InitialReceiverTypeFlow(AnalysisMethod source,
                               AnalysisType declaredType)

Method Detail

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 InitialParamTypeFlow

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<AnalysisMethod>

addUse

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

The state of the formal receiver type flow cannot be updated directly, thus FormalReceiverTypeFlow.addReceiverState(PointsToAnalysis, TypeState) needs to be used. See FormalReceiverTypeFlow.addState(PointsToAnalysis, TypeState) for a complete explanation.

Overrides:

addUse in class TypeFlow<AnalysisMethod>

update

public void update(PointsToAnalysis bb)

Overrides:

update in class TypeFlow<AnalysisMethod>

toString

public String toString()

Overrides:

toString in class InitialParamTypeFlow