de.uka.ilkd.key.smt

Class BufferedMessageReader

java.lang.Object

de.uka.ilkd.key.smt.BufferedMessageReader

public class BufferedMessageReader
extends java.lang.Object

Wraps BufferedReader in order to provide different message delimiters.

Field Summary

Fields

Modifier and Type	Field and Description
(package private) java.lang.String[]	endOfMessage
(package private) java.lang.StringBuffer	messageBuffer
(package private) java.io.InputStreamReader	reader

Constructor Summary

Constructors

Constructor and Description
BufferedMessageReader(java.io.InputStreamReader reader, java.lang.String[] endOfMessage)

Method Summary

Modifier and Type	Method and Description
private java.lang.String	convert(char[] buf)
java.lang.StringBuffer	getMessageBuffer() Returns the currently message buffer encoded by a string.
private java.lang.String	getNextMessage()
java.lang.String	readMessage() Call this method in order to read the next message from the given input stream.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

reader

final java.io.InputStreamReader reader

messageBuffer

java.lang.StringBuffer messageBuffer

endOfMessage

final java.lang.String[] endOfMessage

Constructor Detail

BufferedMessageReader

public BufferedMessageReader(java.io.InputStreamReader reader,
                             java.lang.String[] endOfMessage)

Method Detail

readMessage

public java.lang.String readMessage()

Call this method in order to read the next message from the given input stream. If there is no message, it blocks until there is a further message or the stream has been closed.

getNextMessage

private java.lang.String getNextMessage()

convert

private java.lang.String convert(char[] buf)

getMessageBuffer

public java.lang.StringBuffer getMessageBuffer()

Returns the currently message buffer encoded by a string.