Methods
Modifier and Type |
Method and Description |
ChoiceGenerator<ThreadInfo> |
createBeginAtomicCG(ThreadInfo atomicThread) |
ChoiceGenerator<ThreadInfo> |
createEndAtomicCG(ThreadInfo atomicThread) |
protected ChoiceGenerator<ThreadInfo> |
createEnterCG(String id,
ElementInfo ei,
ThreadInfo ti)
the public interface towards the insns
|
protected ChoiceGenerator<ThreadInfo> |
createExitCG(String id,
ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createInterruptCG(ThreadInfo interruptedThread) |
ChoiceGenerator<ThreadInfo> |
createMonitorEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createMonitorExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createNotifyAllCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createNotifyCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createParkCG(ElementInfo ei,
ThreadInfo tiPark,
boolean isAbsoluteTime,
long timeOut) |
ChoiceGenerator<ThreadInfo> |
createSharedArrayAccessCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createSharedFieldAccessCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createSharedObjectExposureCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createSyncMethodEnterCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createSyncMethodExitCG(ElementInfo ei,
ThreadInfo ti) |
ChoiceGenerator<ThreadInfo> |
createThreadResumeCG(ThreadInfo resumedThread) |
ChoiceGenerator<ThreadInfo> |
createThreadSleepCG(ThreadInfo sleepThread,
long millis,
int nanos) |
ChoiceGenerator<ThreadInfo> |
createThreadStartCG(ThreadInfo newThread) |
ChoiceGenerator<ThreadInfo> |
createThreadStopCG(ThreadInfo stoppedThread) |
ChoiceGenerator<ThreadInfo> |
createThreadSuspendCG(ThreadInfo suspendedThread) |
ChoiceGenerator<ThreadInfo> |
createThreadTerminateCG(ThreadInfo terminateThread) |
ChoiceGenerator<ThreadInfo> |
createThreadYieldCG(ThreadInfo yieldThread) |
ChoiceGenerator<ThreadInfo> |
createUnparkCG(ThreadInfo tiUnparked) |
ChoiceGenerator<ThreadInfo> |
createWaitCG(ElementInfo ei,
ThreadInfo ti,
long timeOut) |
protected ThreadInfo[] |
filter(ThreadInfo[] list)
post process a list of choices.
|
protected ChoiceGenerator<ThreadInfo> |
getRunnableCG(String id,
ThreadInfo ti) |
protected ThreadInfo[] |
getRunnables(ThreadInfo ti)
get list of all runnable threads
|
protected ThreadInfo[] |
getRunnablesIfChoices(ThreadInfo ti)
return a list of runnable choices, or null if there is only one
|
protected ThreadInfo[] |
getRunnablesWith(ThreadInfo ti) |
protected ThreadInfo[] |
getRunnablesWithout(ThreadInfo ti) |
protected ChoiceGenerator<ThreadInfo> |
getSyncCG(String id,
ElementInfo ei,
ThreadInfo ti) |