com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow.LoadIndexedTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow

com.oracle.graal.pointsto.flow.OffsetLoadTypeFlow.LoadIndexedTypeFlow

Enclosing class:

OffsetLoadTypeFlow

public static class OffsetLoadTypeFlow.LoadIndexedTypeFlow
extends OffsetLoadTypeFlow

Implements the type flow of an indexed load operation. The type state of an indexed load flow reflects the elements type state of the receiver array objects that triggered the load operation, i.e., the loaded values. The declared type of a load operation is the component type of the receiver array, if known statically, null otherwise.

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

Constructor Summary

Constructors

Constructor and Description
LoadIndexedTypeFlow(BytecodePosition loadLocation, AnalysisType arrayType, TypeFlow<?> arrayFlow)
LoadIndexedTypeFlow(PointsToAnalysis bb, MethodFlowsGraph methodFlows, OffsetLoadTypeFlow.LoadIndexedTypeFlow original)

Method Summary

Modifier and Type	Method and Description
OffsetLoadTypeFlow.LoadIndexedTypeFlow	copy(PointsToAnalysis bb, MethodFlowsGraph methodFlows) By default a type flow is not cloneable.
TypeState	filter(PointsToAnalysis bb, TypeState newState)
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

getObjectState, onObservedSaturated, 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, declaredTypeFilter, declaredTypeFilter, doAddUse, equals, 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, update

Methods inherited from class java.lang.Object

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

Constructor Detail

LoadIndexedTypeFlow

public LoadIndexedTypeFlow(BytecodePosition loadLocation,
                           AnalysisType arrayType,
                           TypeFlow<?> arrayFlow)

LoadIndexedTypeFlow

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

Method Detail

copy

public OffsetLoadTypeFlow.LoadIndexedTypeFlow copy(PointsToAnalysis bb,
                                                   MethodFlowsGraph methodFlows)

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

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

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState newState)

Overrides:

filter in class TypeFlow<BytecodePosition>

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>