public interface SchedulerFactory
Modifier and Type | Field and Description |
---|---|
static String |
BEGIN_ATOMIC
used by Verify.beginAtomic()
|
static String |
END_ATOMIC
used by Verify.andAtomic()
|
static String |
MONITOR_ENTER
used by MonitorEnter insns
|
static String |
MONITOR_EXIT
used by MonitorExit insns
|
static String |
NOTIFY
used by Object.notify()
|
static String |
NOTIFY_ALL
used by Object.notifyAll()
|
static String |
PARK
used by sun.misc.Unsafe.park()
|
static String |
SHARED_ARRAY_ACCESS
used from ArrayInstruction (various array element access insns)
|
static String |
SHARED_FIELD_ACCESS
used by GetField,PutField,GetStatic,PutStatic insns of shared objects
|
static String |
SHARED_OBJECT_EXPOSURE
used by PutField,PutStatic insns if previously unshared objects get stored in shared object fields
|
static String |
SYNC_METHOD_ENTER
used by InvokeInstructions of sync methods
|
static String |
SYNC_METHOD_EXIT
user by Returns of sync methods
|
static String |
THREAD_INTERRUPT
used by Thread.interrupt()
|
static String |
THREAD_RESUME
used by Thread.resume()
|
static String |
THREAD_SLEEP
used by Thread.sleep()
|
static String |
THREAD_START
used by Thread.start()
|
static String |
THREAD_STOP
used by Thread.stop()
|
static String |
THREAD_SUSPEND
used by Thread.suspend()
|
static String |
THREAD_TERMINATE
used by Return from run()
|
static String |
THREAD_YIELD
used by Thread.yield()
|
static String |
UNPARK
used by sun.misc.Unsafe.unpark()
|
static String |
WAIT
used by Object.wait()
|
static final String SYNC_METHOD_ENTER
static final String SYNC_METHOD_EXIT
static final String MONITOR_ENTER
static final String MONITOR_EXIT
static final String WAIT
static final String NOTIFY
static final String NOTIFY_ALL
static final String PARK
static final String UNPARK
static final String SHARED_FIELD_ACCESS
static final String SHARED_ARRAY_ACCESS
static final String SHARED_OBJECT_EXPOSURE
static final String THREAD_START
static final String THREAD_YIELD
static final String THREAD_SLEEP
static final String THREAD_INTERRUPT
static final String THREAD_TERMINATE
static final String THREAD_SUSPEND
static final String THREAD_RESUME
static final String THREAD_STOP
static final String BEGIN_ATOMIC
static final String END_ATOMIC
ChoiceGenerator<ThreadInfo> createSyncMethodEnterCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createSyncMethodExitCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createMonitorEnterCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createMonitorExitCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createWaitCG(ElementInfo ei, ThreadInfo ti, long timeOut)
ChoiceGenerator<ThreadInfo> createNotifyCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createNotifyAllCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createParkCG(ElementInfo ei, ThreadInfo tiPark, boolean isAbsoluteTime, long timeOut)
ChoiceGenerator<ThreadInfo> createUnparkCG(ThreadInfo tiUnparked)
ChoiceGenerator<ThreadInfo> createSharedFieldAccessCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createSharedArrayAccessCG(ElementInfo eiArray, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createSharedObjectExposureCG(ElementInfo ei, ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createThreadStartCG(ThreadInfo newThread)
ChoiceGenerator<ThreadInfo> createThreadYieldCG(ThreadInfo yieldThread)
ChoiceGenerator<ThreadInfo> createThreadSleepCG(ThreadInfo sleepThread, long millis, int nanos)
ChoiceGenerator<ThreadInfo> createInterruptCG(ThreadInfo interruptedThread)
ChoiceGenerator<ThreadInfo> createThreadTerminateCG(ThreadInfo terminatedThread)
ChoiceGenerator<ThreadInfo> createThreadSuspendCG(ThreadInfo suspendedThread)
ChoiceGenerator<ThreadInfo> createThreadResumeCG(ThreadInfo resumedThread)
ChoiceGenerator<ThreadInfo> createThreadStopCG(ThreadInfo stoppedThread)
ChoiceGenerator<ThreadInfo> createBeginAtomicCG(ThreadInfo ti)
ChoiceGenerator<ThreadInfo> createEndAtomicCG(ThreadInfo ti)