com.oracle.graal.pointsto.flow

Class LoadFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

com.oracle.graal.pointsto.flow.LoadFieldTypeFlow

Direct Known Subclasses:

LoadFieldTypeFlow.LoadInstanceFieldTypeFlow, LoadFieldTypeFlow.LoadStaticFieldTypeFlow

public abstract class LoadFieldTypeFlow
extends AccessFieldTypeFlow

Implements a field load operation type flow.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	LoadFieldTypeFlow.LoadInstanceFieldTypeFlow The type state of the load instance field flow reflects the type state of the field on the receiver objects that triggered this load operation.
static class	LoadFieldTypeFlow.LoadStaticFieldTypeFlow

Field Summary

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

field

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

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

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	LoadFieldTypeFlow(BytecodePosition loadLocation, AnalysisField field)
protected	LoadFieldTypeFlow(MethodFlowsGraph methodFlows, LoadFieldTypeFlow original)

Method Summary

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

field, filterObjectState

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filter, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, 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

LoadFieldTypeFlow

protected LoadFieldTypeFlow(BytecodePosition loadLocation,
                            AnalysisField field)

LoadFieldTypeFlow

protected LoadFieldTypeFlow(MethodFlowsGraph methodFlows,
                            LoadFieldTypeFlow original)