java.lang.Runnable
public final class DoneThread
extends java.lang.Thread
VisitState
from the Frontier.done
queue and
releases
it to the Workbench
.TodoThread
Modifier and Type | Field | Description |
---|---|---|
boolean |
stop |
When set to true, this thread will complete its execution.
|
Constructor | Description |
---|---|
DoneThread(Frontier frontier) |
A
DoneThread for the given Frontier . |
Modifier and Type | Method | Description |
---|---|---|
void |
run() |
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
activeCount, checkAccess, clone, countStackFrames, currentThread, destroy, dumpStack, enumerate, getAllStackTraces, getContextClassLoader, getDefaultUncaughtExceptionHandler, getId, getName, getPriority, getStackTrace, getState, getThreadGroup, getUncaughtExceptionHandler, holdsLock, interrupt, interrupted, isAlive, isDaemon, isInterrupted, join, join, join, onSpinWait, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield
public volatile boolean stop
public DoneThread(Frontier frontier)
DoneThread
for the given Frontier
.frontier
- the frontier.