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

Class Summary

AObjectSyncPoint	General class for object-related synchronization points.
AObjectSyncPoint.Translated	Class for translated versions on the monitor side.
ObjectEnterWaitSyncPoint	Synchronization point corresponding to an Object.wait call.
ObjectEnterWaitSyncPoint.Translated	Class for translated versions on the monitor side.
ObjectLeaveWaitSyncPoint	Synchronization point corresponding to the end of an Object.wait call.
ObjectLeaveWaitSyncPoint.Translated	Class for translated versions on the monitor side.
ObjectNotifyAllSyncPoint	Synchronization point corresponding to an Object.notifyAll call.
ObjectNotifyAllSyncPoint.Translated	Class for translated versions on the monitor side.
ObjectNotifySyncPoint	Synchronization point corresponding to an Object.notify call.
ObjectNotifySyncPoint.Translated	Class for translated versions on the monitor side.