com.oracle.graal.pointsto.flow

Class FrozenFieldFilterTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FrozenFieldFilterTypeFlow

public class FrozenFieldFilterTypeFlow
extends TypeFlow<AnalysisField>

The frozen field filter flow is used for unsafe writes to frozen type state fields. An unsafe write to an object can write to any of the unsafe accessed fields of that object, however the written values may not be compatible with all the fields. Thus the written values need to be filtered using the field FrozenFieldFilterTypeFlow type. The FrozenFieldFilterTypeFlow is a simplified version of FilterTypeFlow in that it is 'not-exact', i.e., it allows types of that are sub-types of the field declared type, it is always 'assignable', i.e., it allows types that are assignable to the field declared type, and it 'includes-null', i.e., it allows null values to pass through. However it's 'source' is an AnalysisField and not a ValueNode, thus it's a completely different class. The difference between this and The FieldFilterTypeFlow is that this one filters on the types reachable through normal writes only and not by the declared type.

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
FrozenFieldFilterTypeFlow(PointsToAnalysis bb, AnalysisField field, UnsafeWriteSinkTypeFlow unsafeSink)

Method Summary

Modifier and Type	Method and Description
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.TypeFlow

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, clearInputs, clearObservees, clearObservers, clearUses, copy, 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, onObservedSaturated, onSaturated, onSaturated, receiver, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

FrozenFieldFilterTypeFlow

public FrozenFieldFilterTypeFlow(PointsToAnalysis bb,
                                 AnalysisField field,
                                 UnsafeWriteSinkTypeFlow unsafeSink)

Method Detail

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<AnalysisField>

onObservedUpdate

public 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<AnalysisField>

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisField>