com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

Direct Known Subclasses:

OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow, OffsetLoadTypeFlow.LoadIndexedTypeFlow

public abstract class OffsetLoadTypeFlow
extends TypeFlow<BytecodePosition>

The abstract class for offset load flows (i.e. indexed loads, unsafe loads at offset, java read loads).

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	OffsetLoadTypeFlow.AbstractUnsafeLoadTypeFlow
static class	OffsetLoadTypeFlow.LoadIndexedTypeFlow Implements the type flow of an indexed load operation.
static class	OffsetLoadTypeFlow.UnsafeLoadTypeFlow
static class	OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

Field Summary

Fields

Modifier and Type	Field and Description
protected TypeFlow<?>	objectFlow The type flow of the receiver object of the load operation.

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

declaredType, graphRef, id, inQueue, nextId, source, state

Constructor Summary

Constructors

Constructor and Description
OffsetLoadTypeFlow(BytecodePosition loadLocation, AnalysisType objectType, AnalysisType componentType, TypeFlow<?> objectFlow)
OffsetLoadTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetLoadTypeFlow original)

Method Summary

Modifier and Type	Method and Description
TypeState	getObjectState()
void	onObservedSaturated(PointsToAnalysis bb, TypeFlow<?> observed) Notified by an observed flow that it is saturated.
abstract void	onObservedUpdate(PointsToAnalysis bb) Notify the observer that the observed type flow state has changed.
protected void	onSaturated()
TypeFlow<?>	receiver() Some flows have a receiver (e.g., loads, store and invokes).
void	setObserved(TypeFlow<?> newObjectFlow) Set the type flow that this flow is observing.

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, initFlow, invalidate, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isValid, method, needsInitialization, 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

Field Detail

objectFlow

protected TypeFlow<?> objectFlow

The type flow of the receiver object of the load operation.

Constructor Detail

OffsetLoadTypeFlow

public OffsetLoadTypeFlow(BytecodePosition loadLocation,
                          AnalysisType objectType,
                          AnalysisType componentType,
                          TypeFlow<?> objectFlow)

OffsetLoadTypeFlow

public OffsetLoadTypeFlow(PointsToAnalysis bb,
                          MethodFlowsGraph methodFlows,
                          OffsetLoadTypeFlow original)

Method Detail

setObserved

public void setObserved(TypeFlow<?> newObjectFlow)

Description copied from class: TypeFlow

Set the type flow that this flow is observing.

Overrides:

setObserved in class TypeFlow<BytecodePosition>

onObservedUpdate

public abstract void onObservedUpdate(PointsToAnalysis bb)

Description copied from class: TypeFlow

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

Overrides:

onObservedUpdate in class TypeFlow<BytecodePosition>

onObservedSaturated

public void onObservedSaturated(PointsToAnalysis bb,
                                TypeFlow<?> observed)

Description copied from class: TypeFlow

Notified by an observed flow that it is saturated.

Overrides:

onObservedSaturated in class TypeFlow<BytecodePosition>

onSaturated

protected void onSaturated()

Overrides:

onSaturated in class TypeFlow<BytecodePosition>

receiver

public TypeFlow<?> receiver()

Description copied from class: TypeFlow

Some flows have a receiver (e.g., loads, store and invokes).

Overrides:

receiver in class TypeFlow<BytecodePosition>

getObjectState

public TypeState getObjectState()