de.uka.ilkd.key.smt

Class Pipe.Worker

java.lang.Object

java.lang.Thread

de.uka.ilkd.key.smt.Pipe.Worker

All Implemented Interfaces:

java.lang.Runnable

Direct Known Subclasses:

Pipe.Receiver, Pipe.Sender

Enclosing class:

Pipe<T>

private abstract class Pipe.Worker
extends java.lang.Thread

Worker class for both the receiver and sender of the pipe. Is mainly responsible for starting both types of workers.

Nested Class Summary

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

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

Field Summary

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
Worker(java.lang.String name)

Method Summary

Modifier and Type	Method and Description
protected abstract void	doWork()
void	run()
protected abstract void	stopWorking()

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

Constructor Detail

Worker

public Worker(java.lang.String name)

Method Detail

run

public void run()

Specified by:

run in interface java.lang.Runnable

Overrides:

run in class java.lang.Thread

doWork

protected abstract void doWork()

stopWorking

protected abstract void stopWorking()
                             throws java.io.IOException

Throws:

java.io.IOException