com.oracle.graal.pointsto.flow

Class FieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FieldTypeFlow

Direct Known Subclasses:

FieldSinkTypeFlow

public class FieldTypeFlow
extends TypeFlow<AnalysisField>

Field Summary

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
FieldTypeFlow(AnalysisField field, AnalysisType type)
FieldTypeFlow(AnalysisField field, AnalysisType type, AnalysisObject object)

Method Summary

Modifier and Type	Method and Description
boolean	canSaturate() Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.
TypeFlow<AnalysisField>	copy(BigBang bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
FieldFilterTypeFlow	filterFlow(BigBang bb) The filter flow is used for unsafe writes and initialiazed on demand.
AnalysisObject	object()
protected void	onInputSaturated(BigBang bb, TypeFlow<?> input) Notified by an input that it is saturated and it will stop sending updates.
String	toString()

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

addInput, addObservee, addObserver, addOriginalObserver, addOriginalUse, addState, addState, addUse, context, declaredTypeFilter, doAddUse, equals, filter, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initClone, isAllInstantiated, isClone, isCloseToAllInstantiated, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObservers, 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

Constructor Detail

FieldTypeFlow

public FieldTypeFlow(AnalysisField field,
                     AnalysisType type)

FieldTypeFlow

public FieldTypeFlow(AnalysisField field,
                     AnalysisType type,
                     AnalysisObject object)

Method Detail

object

public AnalysisObject object()

copy

public TypeFlow<AnalysisField> copy(BigBang bb,
                                    MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<AnalysisField>

canSaturate

public boolean canSaturate()

Description copied from class: TypeFlow

Can this type flow saturate? By default all type flows can saturate, with the exception of a few ones that need to track all their types, e.g., AllInstantiated, AllSynchronized, etc.

Overrides:

canSaturate in class TypeFlow<AnalysisField>

onInputSaturated

protected void onInputSaturated(BigBang 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<AnalysisField>

filterFlow

public FieldFilterTypeFlow filterFlow(BigBang bb)

The filter flow is used for unsafe writes and initialiazed on demand.

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisField>