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

Packages that use ISyncPoint

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

Uses of ISyncPoint in edu.rice.cs.cunit

Fields in edu.rice.cs.cunit declared as ISyncPoint

private static ISyncPoint[]

SyncPointBuffer._syncPoints Array of synchronization points.

Methods in edu.rice.cs.cunit with parameters of type ISyncPoint

static void

SyncPointBuffer.add(ISyncPoint sp) Adds a synchronization point to the list.

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

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

class	AObjectSyncPoint General class for object-related synchronization points.
class	ObjectEnterWaitSyncPoint Synchronization point corresponding to an Object.wait call.
class	ObjectLeaveWaitSyncPoint Synchronization point corresponding to the end of an Object.wait call.
class	ObjectNotifyAllSyncPoint Synchronization point corresponding to an Object.notifyAll call.
class	ObjectNotifySyncPoint Synchronization point corresponding to an Object.notify call.

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

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

class	ASynchronizedObjectSyncPoint General class for synchronized object-related synchronization points.
class	SynchronizedEnterBlockSyncPoint Synchronization point corresponding to the beginning of a synchronized block.
class	SynchronizedLeaveBlockSyncPoint Synchronization point corresponding to the end of a synchronized block.
class	SynchronizedTryEnterBlockSyncPoint Synchronization point corresponding to the attempt to enter a synchronized block.

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

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

class	AThreadSyncPoint General class for thread-related synchronization points.
class	ThreadDestroySyncPoint Synchronization point corresponding to a Thread.destroy call.
class	ThreadEnterJoinSyncPoint Synchronization point corresponding to a Thread.join call.
class	ThreadEnterSleepSyncPoint Synchronization point corresponding to a Thread.sleep call.
class	ThreadEnterYieldSyncPoint Synchronization point corresponding to a Thread.yield call.
class	ThreadExitSyncPoint Synchronization point corresponding to a Thread.exit call.
class	ThreadInterruptSyncPoint Synchronization point corresponding to a Thread.interrupt call.
class	ThreadLeaveJoinSyncPoint Synchronization point corresponding to the end of a Thread.join call.
class	ThreadLeaveSleepSyncPoint Synchronization point corresponding to the end of a Thread.sleep call.
class	ThreadLeaveYieldSyncPoint Synchronization point corresponding to the end of a Thread.yield call.
class	ThreadResumeSyncPoint Synchronization point corresponding to a Thread.resume call.
class	ThreadSetPrioritySyncPoint Synchronization point corresponding to a Thread.setPriority call.
class	ThreadStartSyncPoint Synchronization point corresponding to a Thread.start call.
class	ThreadStopSyncPoint Synchronization point corresponding to a Thread.stop call.
class	ThreadSuspendSyncPoint Synchronization point corresponding to a Thread.suspend call.