com.oracle.graal.pointsto.flow

Class FieldSinkTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FieldTypeFlow

com.oracle.graal.pointsto.flow.FieldSinkTypeFlow

public class FieldSinkTypeFlow
extends FieldTypeFlow

A sink type flow for all the context sensitive flows of an analysis field.

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
FieldSinkTypeFlow(AnalysisField field, AnalysisType type)

Method Summary

Modifier and Type	Method and Description
String	toString()

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

canSaturate, copy, filterFlow, object, onInputSaturated

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

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

Constructor Detail

FieldSinkTypeFlow

public FieldSinkTypeFlow(AnalysisField field,
                         AnalysisType type)

Method Detail

toString

public String toString()

Overrides:

toString in class FieldTypeFlow