package why3find

  1. Overview
  2. Docs

Module Why3findUtils.RpcSource

Base protocol for LSP and DAP

Sourcetype channel
Sourcetype transport =
  1. | PIPE of string
  2. | PORT of int
Sourceval establish : transport -> channel

Create connection

Sourceval yield : channel -> unit

Send and Receives buffered bytes

Sourceval flush : channel -> unit

Send all remaining bytes

Sourceval pull : channel -> string option

Decode one incomming message, if any

Sourceval push : channel -> string -> unit

Encode one message to outcome

Sourceval processing : channel -> bool

Has buffered bytes