com.oracle.graal.pointsto.flow

Class FieldFilterTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.FieldFilterTypeFlow

public class FieldFilterTypeFlow
extends TypeFlow<AnalysisField>

The field filter flow is used for unsafe writes to 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 FieldFilterTypeFlow type. The FieldFilterTypeFlow is a simplified version of FilterTypeFlow in that it is 'not-exact', i.e., it allows all types 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.

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
FieldFilterTypeFlow(AnalysisField field)

Method Summary

Modifier and Type	Method and Description
TypeState	filter(PointsToAnalysis bb, TypeState update)
protected void	notifyObserverOfSaturation(PointsToAnalysis bb, TypeFlow<?> observer)
protected void	notifyUseOfSaturation(PointsToAnalysis bb, TypeFlow<?> use)
protected void	onInputSaturated(PointsToAnalysis bb, TypeFlow<?> input) Notified by an input that it is saturated and it will stop sending updates.
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, onObservedSaturated, onObservedUpdate, 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

FieldFilterTypeFlow

public FieldFilterTypeFlow(AnalysisField field)

Method Detail

filter

public TypeState filter(PointsToAnalysis bb,
                        TypeState update)

Overrides:

filter in class TypeFlow<AnalysisField>

onInputSaturated

protected void onInputSaturated(PointsToAnalysis bb,
                                TypeFlow<?> input)

Description copied from class: TypeFlow

Notified by an input that it is saturated and it will stop sending updates.

Overrides:

onInputSaturated in class TypeFlow<AnalysisField>

notifyUseOfSaturation

protected void notifyUseOfSaturation(PointsToAnalysis bb,
                                     TypeFlow<?> use)

Overrides:

notifyUseOfSaturation in class TypeFlow<AnalysisField>

notifyObserverOfSaturation

protected void notifyObserverOfSaturation(PointsToAnalysis bb,
                                          TypeFlow<?> observer)

Overrides:

notifyObserverOfSaturation in class TypeFlow<AnalysisField>

toString

public String toString()

Overrides:

toString in class TypeFlow<AnalysisField>