com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow.UnsafeLoadTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow.UnsafeLoadTypeFlow

Enclosing class:

OffsetLoadTypeFlow

public static class OffsetLoadTypeFlow.UnsafeLoadTypeFlow
extends OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

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

Constructor Summary

Constructors

Constructor and Description
UnsafeLoadTypeFlow(jdk.vm.ci.code.BytecodePosition loadLocation, AnalysisType objectType, AnalysisType componentType, TypeFlow<?> arrayFlow)

Method Summary

Modifier and Type	Method and Description
OffsetLoadTypeFlow.UnsafeLoadTypeFlow	makeCopy(PointsToAnalysis bb, MethodFlowsGraph methodFlows)
void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
String	toString()

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

copy, initFlow

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

getObjectState, onObservedSaturated, onSaturated, receiver, setObserved

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, onSaturated, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

UnsafeLoadTypeFlow

public UnsafeLoadTypeFlow(jdk.vm.ci.code.BytecodePosition loadLocation,
                          AnalysisType objectType,
                          AnalysisType componentType,
                          TypeFlow<?> arrayFlow)

Method Detail

makeCopy

public OffsetLoadTypeFlow.UnsafeLoadTypeFlow makeCopy(PointsToAnalysis bb,
                                                      MethodFlowsGraph methodFlows)

Specified by:

makeCopy in class OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow

onObservedUpdate

public void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

Notify the observer that the observed type flow state has changed.

Specified by:

onObservedUpdate in class OffsetLoadTypeFlow

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>