com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

Direct Known Subclasses:

OffsetLoadTypeFlow.UnsafeLoadTypeFlow, OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Enclosing class:

OffsetLoadTypeFlow

public abstract static class OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow
extends OffsetLoadTypeFlow

Nested Class Summary

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

OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow, OffsetLoadTypeFlow.LoadIndexedTypeFlow, OffsetLoadTypeFlow.UnsafeLoadTypeFlow, OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Field Summary

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

objectFlow

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
void	forceUpdate(PointsToAnalysis bb)
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.

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

getObjectState, onObservedSaturated, onObservedUpdate, onSaturated, receiver, setObserved

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, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onSaturated, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, toString, update

Methods inherited from class java.lang.Object

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

Method Detail

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>

forceUpdate

public void forceUpdate(PointsToAnalysis bb)