Uses of Class
edu.rice.cs.cunit.instrumentors.DoNotInstrument

Packages that use DoNotInstrument

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

Uses of DoNotInstrument in edu.rice.cs.cunit

Classes in edu.rice.cs.cunit with annotations of type DoNotInstrument

class

SyncPointBuffer Class that records synchronization points.

Uses of DoNotInstrument in edu.rice.cs.cunit.record.syncPoints

Classes in edu.rice.cs.cunit.record.syncPoints with annotations of type DoNotInstrument

interface	ISyncPoint Synchronization point interface on the runtime level.
interface	ISyncPointVisitor<R,P> Interface for a synchronization point visitor.

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

Classes in edu.rice.cs.cunit.record.syncPoints.object with annotations of type DoNotInstrument

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 DoNotInstrument in edu.rice.cs.cunit.record.syncPoints.sync

Classes in edu.rice.cs.cunit.record.syncPoints.sync with annotations of type DoNotInstrument

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 DoNotInstrument in edu.rice.cs.cunit.record.syncPoints.thread

Classes in edu.rice.cs.cunit.record.syncPoints.thread with annotations of type DoNotInstrument

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.

Uses of DoNotInstrument in edu.rice.cs.cunit.threadCheck

Classes in edu.rice.cs.cunit.threadCheck with annotations of type DoNotInstrument

class

ThreadCheck Class that checks whether threads may execute certain classes at runtime..