Package edu.rice.cs.cunit.record.syncPoints.sync

Class Summary

ASynchronizedObjectSyncPoint	General class for synchronized object-related synchronization points.
ASynchronizedObjectSyncPoint.Translated	Class for translated versions on the monitor side.
SynchronizedEnterBlockSyncPoint	Synchronization point corresponding to the beginning of a synchronized block.
SynchronizedEnterBlockSyncPoint.Translated	Class for translated versions on the monitor side.
SynchronizedLeaveBlockSyncPoint	Synchronization point corresponding to the end of a synchronized block.
SynchronizedLeaveBlockSyncPoint.Translated	Class for translated versions on the monitor side.
SynchronizedTryEnterBlockSyncPoint	Synchronization point corresponding to the attempt to enter a synchronized block.
SynchronizedTryEnterBlockSyncPoint.Translated	Class for translated versions on the monitor side.