com.oracle.graal.pointsto.flow

Class StoreFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

Direct Known Subclasses:

StoreFieldTypeFlow.StoreInstanceFieldTypeFlow, StoreFieldTypeFlow.StoreStaticFieldTypeFlow

public abstract class StoreFieldTypeFlow
extends AccessFieldTypeFlow

Implements a field store operation type flow.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	StoreFieldTypeFlow.StoreInstanceFieldTypeFlow The state of the StoreFieldTypeFlow reflects the state of the stored value.
static class	StoreFieldTypeFlow.StoreStaticFieldTypeFlow

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	StoreFieldTypeFlow(BytecodePosition storeLocation, AnalysisField field)
protected	StoreFieldTypeFlow(StoreFieldTypeFlow original, MethodFlowsGraph methodFlows)

Method Summary

Modifier and Type	Method and Description
TypeState	filter(PointsToAnalysis bb, TypeState newState)

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, 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

StoreFieldTypeFlow

protected StoreFieldTypeFlow(BytecodePosition storeLocation,
                             AnalysisField field)

StoreFieldTypeFlow

protected StoreFieldTypeFlow(StoreFieldTypeFlow original,
                             MethodFlowsGraph methodFlows)

Method Detail

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<BytecodePosition>