de.uka.ilkd.key.smt

Class Pipe.Sender

java.lang.Object

java.lang.Thread

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

de.uka.ilkd.key.smt.Pipe.Sender

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

Pipe<T>

private class Pipe.Sender
extends Pipe.Worker

Mainly consists of a queue for messages. Each time the queue is filled with a message, the worker removes the message from the queue and sends it to the other side of the pipe.

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 java.io.OutputStream	output

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
Sender(java.io.OutputStream output, java.lang.String name)

Method Summary

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

Methods inherited from class de.uka.ilkd.key.smt.Pipe.Worker

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

output

private final java.io.OutputStream output

Constructor Detail

Sender

public Sender(java.io.OutputStream output,
              java.lang.String name)

Method Detail

doWork

protected void doWork()

Specified by:

doWork in class Pipe.Worker

stopWorking

protected void stopWorking()
                    throws java.io.IOException

Specified by:

stopWorking in class Pipe.Worker

Throws:

java.io.IOException