com.oracle.graal.pointsto.flow

Class AllSynchronizedTypeFlow

java.lang.Object

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

com.oracle.graal.pointsto.flow.AllSynchronizedTypeFlow

public class AllSynchronizedTypeFlow
extends TypeFlow<Object>

Keeps track of all synchronized types.

Field Summary

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

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

Constructor Summary

Constructors

Constructor and Description
AllSynchronizedTypeFlow()

Method Summary

Modifier and Type	Method and Description
String	toString()

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

addInput, addObservee, addObserver, addObserver, addState, addState, addUse, addUse, canSaturate, copy, declaredTypeFilter, doAddUse, equals, filter, format, formatSource, getDeclaredType, getInputs, getObservees, getObservers, getSlot, getSource, getState, getUses, graphRef, hashCode, id, initFlow, isAllInstantiated, isClone, isContextInsensitive, isSaturated, isUsedAsAParameter, isUsedAsAReceiver, method, notifyObserverOfSaturation, notifyUseOfSaturation, onInputSaturated, onObservedSaturated, onObservedUpdate, onSaturated, onSaturated, receiver, removeInput, removeObservee, removeObserver, removeUse, replacedObservedWith, replaceObservedWith, setObserved, setSaturated, setSlot, setState, setUsedAsAParameter, setUsedAsAReceiver, swapAtObserver, swapAtUse, swapOut, update

Methods inherited from class java.lang.Object

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

Constructor Detail

AllSynchronizedTypeFlow

public AllSynchronizedTypeFlow()

Method Detail

toString

public String toString()

Overrides:

toString in class TypeFlow<Object>