de.uka.ilkd.key.control

Class DefaultProofControl.MacroThread

java.lang.Object

java.lang.Thread

de.uka.ilkd.key.control.DefaultProofControl.MacroThread

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

DefaultProofControl

private class DefaultProofControl.MacroThread
extends java.lang.Thread

Nested Class Summary

Nested classes/interfaces inherited from class java.lang.Thread

java.lang.Thread.State, java.lang.Thread.UncaughtExceptionHandler

Field Summary

Fields

Modifier and Type	Field and Description
private ProofMacro	macro
private Node	node
private PosInOccurrence	posInOcc

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
MacroThread(Node node, ProofMacro macro, PosInOccurrence posInOcc)

Method Summary

Modifier and Type	Method and Description
void	run()

Methods inherited from class java.lang.Thread

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

Methods inherited from class java.lang.Object

equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

node

private final Node node

macro

private final ProofMacro macro

posInOcc

private final PosInOccurrence posInOcc

Constructor Detail

MacroThread

public MacroThread(Node node,
                   ProofMacro macro,
                   PosInOccurrence posInOcc)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread