com.oracle.graal.pointsto.flow

Class OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow

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.UnsafePartitionLoadTypeFlow

Enclosing class:

OffsetLoadTypeFlow

public static class OffsetLoadTypeFlow.UnsafePartitionLoadTypeFlow
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

Modifier and Type	Field and Description
protected com.oracle.svm.util.UnsafePartitionKind	partitionKind
protected AnalysisType	partitionType

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
UnsafePartitionLoadTypeFlow(BytecodePosition loadLocation, AnalysisType objectType, AnalysisType componentType, TypeFlow<?> arrayFlow, com.oracle.svm.util.UnsafePartitionKind partitionKind, AnalysisType partitionType)

Method Summary

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

forceUpdate, initFlow, needsInitialization

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

Field Detail

partitionKind

protected final com.oracle.svm.util.UnsafePartitionKind partitionKind

partitionType

protected final AnalysisType partitionType

Constructor Detail

UnsafePartitionLoadTypeFlow

public UnsafePartitionLoadTypeFlow(BytecodePosition loadLocation,
                                   AnalysisType objectType,
                                   AnalysisType componentType,
                                   TypeFlow<?> arrayFlow,
                                   com.oracle.svm.util.UnsafePartitionKind partitionKind,
                                   AnalysisType partitionType)

Method Detail

copy

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

Description copied from class: TypeFlow

By default a type flow is not cloneable.

Overrides:

copy in class TypeFlow<BytecodePosition>

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState update)

Overrides:

filter 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

toString

public String toString()

Overrides:

toString in class TypeFlow<BytecodePosition>