final case class Notification(method: String, params: Option[RawJson], headers: Map[String, String], jsonrpc: String = "2.0") extends Message with Product with Serializable
- Alphabetic
- By Inheritance
- Notification
- Serializable
- Serializable
- Product
- Equals
- Message
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Instance Constructors
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
finalize(): Unit
- Attributes
- protected[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
val
headers: Map[String, String]
Every message contains a set of HTTP-like headers, but these headers are defined outside of the JSON-RPC protocol specification and are transmitted at the transport level.
Every message contains a set of HTTP-like headers, but these headers are defined outside of the JSON-RPC protocol specification and are transmitted at the transport level. That is, it is up to the message readers and writers to decide how these headers are trasmitted over the network.
For example, if JSON-RPC is being transmitted over HTTP/2, the message reader and writer implementation can use the HTTP/2 headers to transport the message headers. Howevrer, if JSON-RPC messages are transmitted over a socket such as WebSockets or a pipe or file channel, then these headers can be transmitted with the base protocol defined in the Language Server Protocol here.
This last strategy is the one implemented in this library by default as it is the most flexible regardless of the transport used for JSON-RPC messages.
Note that because of this, headers are never serialized into the JSON wire format and the serializers/deserializers here defined will remove any headers before writing and before reading JSON-RPC messages.
- Definition Classes
- Notification → Message
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
val
jsonrpc: String
- Definition Classes
- Notification → Message
- val method: String
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- val params: Option[RawJson]
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... ) @native()