de.uka.ilkd.key.control

Class DefaultProofControl.AutoModeThread

java.lang.Object

java.lang.Thread

de.uka.ilkd.key.control.DefaultProofControl.AutoModeThread

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

DefaultProofControl

private class DefaultProofControl.AutoModeThread
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 ImmutableList<Goal>	goals
private Proof	proof
private ProverTaskListener	ptl

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
AutoModeThread(Proof proof, ImmutableList<Goal> goals, ProverTaskListener ptl)

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

proof

private final Proof proof

goals

private final ImmutableList<Goal> goals

ptl

private final ProverTaskListener ptl

Constructor Detail

AutoModeThread

public AutoModeThread(Proof proof,
                      ImmutableList<Goal> goals,
                      ProverTaskListener ptl)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread