com.oracle.graal.pointsto.flow

Class FormalReceiverTypeFlow

java.lang.Object

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

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

position

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

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Constructor and Description
FormalReceiverTypeFlow(BytecodePosition sourcePosition, AnalysisType declaredType)
FormalReceiverTypeFlow(FormalReceiverTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
boolean	addReceiverState(PointsToAnalysis bb, TypeState add)
boolean	addState(PointsToAnalysis bb, TypeState add) The formal receiver type flow, i.e., the type flow of the 'this' parameter, is linked with the actual receiver type flow through a non-state-transfer link, i.e., a link that exists only for a proper iteration of type flow graphs.
FormalReceiverTypeFlow	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)
protected void	onInputSaturated(PointsToAnalysis bb, TypeFlow<?> input) Notified by an input that it is saturated and it will stop sending updates.

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

position

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

addInput, addObservee, addObserver, addObserver, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filterUncheckedInterface, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Constructor Detail

FormalReceiverTypeFlow

public FormalReceiverTypeFlow(BytecodePosition sourcePosition,
                              AnalysisType declaredType)

FormalReceiverTypeFlow

public FormalReceiverTypeFlow(FormalReceiverTypeFlow original,
                              MethodFlowsGraph methodFlows)

Method Detail

copy

public FormalReceiverTypeFlow copy(PointsToAnalysis 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(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class FormalParamTypeFlow

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

The formal receiver type flow, i.e., the type flow of the 'this' parameter, is linked with the actual receiver type flow through a non-state-transfer link, i.e., a link that exists only for a proper iteration of type flow graphs. This happens because the formal receiver , i.e., 'this' parameter, state must ONLY reflect those objects of the actual receiver that generated the context for the method clone which it belongs to. A direct link would instead transfer all the objects of compatible type from the actual receiver to the formal receiver. The formal receiver state is updated through the FormalReceiverTypeFlow.addReceiverState method invoked from (VirtualInvokeTypeFlow|SpecialInvokeTypeFlow).onObservedUpdate.

Overrides:

addState in class TypeFlow<BytecodePosition>

onInputSaturated

protected void onInputSaturated(PointsToAnalysis bb,
                                TypeFlow<?> input)

Description copied from class: TypeFlow

Notified by an input that it is saturated and it will stop sending updates.

Overrides:

onInputSaturated in class TypeFlow<BytecodePosition>

addReceiverState

public boolean addReceiverState(PointsToAnalysis bb,
                                TypeState add)

format

public String format(boolean withState,
                     boolean withSource)

Overrides:

format in class FormalParamTypeFlow