de.uka.ilkd.key.smt

Class Pipe.Receiver

java.lang.Object

java.lang.Thread

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

de.uka.ilkd.key.smt.Pipe.Receiver

All Implemented Interfaces:

java.lang.Runnable

Enclosing class:

Pipe<T>

private class Pipe.Receiver
extends Pipe.Worker

Waits until a message is received from the other side of the pipe. Then it forwards the message to its listeners and waits again until the next message is received.

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.InputStream	input
private int	type

Fields inherited from class java.lang.Thread

MAX_PRIORITY, MIN_PRIORITY, NORM_PRIORITY

Constructor Summary

Constructors

Constructor and Description
Receiver(java.io.InputStream input, int type, java.lang.String name)

Method Summary

Modifier and Type	Method and Description
private void	deliverMessage(java.lang.String message)
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

input

private final java.io.InputStream input

type

private final int type

Constructor Detail

Receiver

public Receiver(java.io.InputStream input,
                int type,
                java.lang.String name)

Method Detail

doWork

protected void doWork()

Specified by:

doWork in class Pipe.Worker

deliverMessage

private void deliverMessage(java.lang.String message)

stopWorking

protected void stopWorking()
                    throws java.io.IOException

Specified by:

stopWorking in class Pipe.Worker

Throws:

java.io.IOException