Package org.eclipse.lsp4j.jsonrpc.json

Class StreamMessageProducer

java.lang.Object

org.eclipse.lsp4j.jsonrpc.json.StreamMessageProducer

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable, MessageConstants, MessageProducer

public class StreamMessageProducer
extends java.lang.Object
implements MessageProducer, java.io.Closeable, MessageConstants

A message producer that reads from an input stream and parses messages from JSON.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
protected static class	StreamMessageProducer.Headers

Field Summary

Fields inherited from interface org.eclipse.lsp4j.jsonrpc.json.MessageConstants

CONTENT_LENGTH_HEADER, CONTENT_TYPE_HEADER, CRLF, JSON_MIME_TYPE, JSONRPC_VERSION

Constructor Summary

Constructors

Constructor	Description
StreamMessageProducer(java.io.InputStream input, MessageJsonHandler jsonHandler)
StreamMessageProducer(java.io.InputStream input, MessageJsonHandler jsonHandler, MessageIssueHandler issueHandler)

Method Summary

Modifier and Type	Method	Description
void	close()
protected void	fireError(java.lang.Throwable error)	Log an error.
protected void	fireStreamClosed(java.lang.Exception cause)	Report that the stream was closed through an exception.
java.io.InputStream	getInput()
protected boolean	handleMessage(java.io.InputStream input, StreamMessageProducer.Headers headers)	Read the JSON content part of a message, parse it, and notify the callback.
void	listen(MessageConsumer callback)	Listen to a message source and forward all messages to the given consumer.
protected void	parseHeader(java.lang.String line, StreamMessageProducer.Headers headers)	Parse a header attribute and set the corresponding data in the StreamMessageProducer.Headers fields.
void	setInput(java.io.InputStream input)

Methods inherited from class java.lang.Object

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

Constructor Detail

StreamMessageProducer

public StreamMessageProducer(java.io.InputStream input,
                             MessageJsonHandler jsonHandler)

StreamMessageProducer

public StreamMessageProducer(java.io.InputStream input,
                             MessageJsonHandler jsonHandler,
                             MessageIssueHandler issueHandler)

Method Detail

getInput

public java.io.InputStream getInput()

setInput

public void setInput(java.io.InputStream input)

listen

public void listen(MessageConsumer callback)

Description copied from interface: MessageProducer

Listen to a message source and forward all messages to the given consumer. Typically this method blocks until the message source is unable to deliver more messages.

Specified by:

listen in interface MessageProducer

fireError

protected void fireError(java.lang.Throwable error)

Log an error.

fireStreamClosed

protected void fireStreamClosed(java.lang.Exception cause)

Report that the stream was closed through an exception.

parseHeader

protected void parseHeader(java.lang.String line,
                           StreamMessageProducer.Headers headers)

Parse a header attribute and set the corresponding data in the StreamMessageProducer.Headers fields.

handleMessage

protected boolean handleMessage(java.io.InputStream input,
                                StreamMessageProducer.Headers headers)
                         throws java.io.IOException

Read the JSON content part of a message, parse it, and notify the callback.

Returns:

true if we should continue reading from the input stream, false if we should stop

Throws:

java.io.IOException

close

public void close()

Specified by:

close in interface java.lang.AutoCloseable

Specified by:

close in interface java.io.Closeable