com.oracle.graal.pointsto.flow

Class StoreFieldTypeFlow.StoreStaticFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

com.oracle.graal.pointsto.flow.StoreFieldTypeFlow.StoreStaticFieldTypeFlow

Enclosing class:

StoreFieldTypeFlow

public static class StoreFieldTypeFlow.StoreStaticFieldTypeFlow
extends StoreFieldTypeFlow

Nested Class Summary

Nested classes/interfaces inherited from class com.oracle.graal.pointsto.flow.StoreFieldTypeFlow

StoreFieldTypeFlow.StoreInstanceFieldTypeFlow, 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

Method Summary

Modifier and Type	Method and Description
StoreFieldTypeFlow	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
void	initFlow(PointsToAnalysis bb) Initialization code for some type flow corner cases.
boolean	needsInitialization() Type flows that require initialization after the graph is created need to override this method and return true.
String	toString()

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

filter

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, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, filterUncheckedInterface, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

clone, getClass, notify, notifyAll, wait, wait, wait

Method Detail

copy

public StoreFieldTypeFlow copy(PointsToAnalysis bb,
                               MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

initFlow

public void initFlow(PointsToAnalysis bb)

Description copied from class: TypeFlow

Initialization code for some type flow corner cases. TypeFlow.needsInitialization() also needs to be overridden to enable type flow initialization.

Overrides:

initFlow in class TypeFlow<BytecodePosition>

needsInitialization

public boolean needsInitialization()

Description copied from class: TypeFlow

Type flows that require initialization after the graph is created need to override this method and return true.

Overrides:

needsInitialization in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>