java.lang.Runnablepublic 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, waitactiveCount, 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, yieldpublic volatile boolean stop
public DoneThread(Frontier frontier)
DoneThread for the given Frontier.frontier - the frontier.