com.oracle.graal.pointsto.flow

Class LoadFieldTypeFlow.LoadStaticFieldTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AccessFieldTypeFlow

com.oracle.graal.pointsto.flow.LoadFieldTypeFlow

com.oracle.graal.pointsto.flow.LoadFieldTypeFlow.LoadStaticFieldTypeFlow

Enclosing class:

LoadFieldTypeFlow

public static class LoadFieldTypeFlow.LoadStaticFieldTypeFlow
extends LoadFieldTypeFlow

Nested Class Summary

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

LoadFieldTypeFlow.LoadInstanceFieldTypeFlow, 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, usedAsAParameter, usedAsAReceiver

Method Summary

Modifier and Type	Method and Description
TypeFlow<BytecodePosition>	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
void	initFlow(PointsToAnalysis bb) Initialization code for some clone corner case type flows.
String	toString()

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, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, 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

Method Detail

copy

public TypeFlow<BytecodePosition> 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 clone corner case type flows.

Overrides:

initFlow in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>