Uses of Interface
edu.rice.cs.cunit.record.syncPoints.ISyncPoint.Translated

Packages that use ISyncPoint.Translated

edu.rice.cs.cunit.record.syncPoints.object
edu.rice.cs.cunit.record.syncPoints.sync
edu.rice.cs.cunit.record.syncPoints.thread

Uses of ISyncPoint.Translated in edu.rice.cs.cunit.record.syncPoints.object

Classes in edu.rice.cs.cunit.record.syncPoints.object that implement ISyncPoint.Translated

static class	AObjectSyncPoint.Translated Class for translated versions on the monitor side.
static class	ObjectEnterWaitSyncPoint.Translated Class for translated versions on the monitor side.
static class	ObjectLeaveWaitSyncPoint.Translated Class for translated versions on the monitor side.
static class	ObjectNotifyAllSyncPoint.Translated Class for translated versions on the monitor side.
static class	ObjectNotifySyncPoint.Translated Class for translated versions on the monitor side.

Uses of ISyncPoint.Translated in edu.rice.cs.cunit.record.syncPoints.sync

Classes in edu.rice.cs.cunit.record.syncPoints.sync that implement ISyncPoint.Translated

static class	ASynchronizedObjectSyncPoint.Translated Class for translated versions on the monitor side.
static class	SynchronizedEnterBlockSyncPoint.Translated Class for translated versions on the monitor side.
static class	SynchronizedLeaveBlockSyncPoint.Translated Class for translated versions on the monitor side.
static class	SynchronizedTryEnterBlockSyncPoint.Translated Class for translated versions on the monitor side.

Uses of ISyncPoint.Translated in edu.rice.cs.cunit.record.syncPoints.thread

Classes in edu.rice.cs.cunit.record.syncPoints.thread that implement ISyncPoint.Translated

static class	AThreadSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadDestroySyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadEnterJoinSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadEnterSleepSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadEnterYieldSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadExitSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadInterruptSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadLeaveJoinSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadLeaveSleepSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadLeaveYieldSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadResumeSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadSetPrioritySyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadStartSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadStopSyncPoint.Translated Class for translated versions on the monitor side.
static class	ThreadSuspendSyncPoint.Translated Class for translated versions on the monitor side.