de.uka.ilkd.key.smt

Interface PipeListener<T>

All Known Implementing Classes:

AbstractSolverSocket, CVC3Socket, CVC4Socket, ModelExtractor, SimplifySocket, YICESSocket, Z3CESocket, Z3Socket

interface PipeListener<T>

Method Summary

Modifier and Type	Method and Description
void	exceptionOccurred(Pipe<T> pipe, java.lang.Throwable exception)
void	messageIncoming(Pipe<T> pipe, java.lang.String message, int type) Is called when a message from the other side of the pipe is received.

Method Detail

messageIncoming

void messageIncoming(Pipe<T> pipe,
                     java.lang.String message,
                     int type)

Is called when a message from the other side of the pipe is received.

Parameters:

message -

exceptionOccurred

void exceptionOccurred(Pipe<T> pipe,
                       java.lang.Throwable exception)