com.oracle.graal.pointsto.flow

Class ContextInsensitiveFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FieldTypeFlow

com.oracle.graal.pointsto.flow.ContextInsensitiveFieldTypeFlow

public class ContextInsensitiveFieldTypeFlow
extends FieldTypeFlow

A field type flow that only tracks field types, i.e., it doesn't track any context-sensitive information.

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
ContextInsensitiveFieldTypeFlow(AnalysisField field, AnalysisType type)
ContextInsensitiveFieldTypeFlow(AnalysisField field, AnalysisType type, AnalysisObject object)

Method Summary

Modifier and Type	Method and Description
boolean	addState(PointsToAnalysis bb, TypeState add)
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, addObserver, addState, addUse, addUse, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onObservedSaturated, onObservedUpdate, onSaturated, 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, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ContextInsensitiveFieldTypeFlow

public ContextInsensitiveFieldTypeFlow(AnalysisField field,
                                       AnalysisType type)

ContextInsensitiveFieldTypeFlow

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

Method Detail

addState

public boolean addState(PointsToAnalysis bb,
                        TypeState add)

Overrides:

addState in class TypeFlow<AnalysisField>

toString

public String toString()

Overrides:

toString in class FieldTypeFlow