private class DefaultProofControl.MacroThread
extends java.lang.Thread
Modifier and Type | Field and Description |
---|---|
private ProofMacro |
macro |
private Node |
node |
private PosInOccurrence |
posInOcc |
Constructor and Description |
---|
MacroThread(Node node,
ProofMacro macro,
PosInOccurrence posInOcc) |
Modifier and Type | Method and Description |
---|---|
void |
run() |
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, resume, setContextClassLoader, setDaemon, setDefaultUncaughtExceptionHandler, setName, setPriority, setUncaughtExceptionHandler, sleep, sleep, start, stop, stop, suspend, toString, yield
private final Node node
private final ProofMacro macro
private final PosInOccurrence posInOcc
public MacroThread(Node node, ProofMacro macro, PosInOccurrence posInOcc)