def init.params

ezmcp@0.1.0.0 · src/client.bend:11

import Base
import emerging-ezjson@1.2.0.0/main.bend as Json
import emerging-ezjson@1.2.0.0/src/value.bend as Value
import ezmcp@0.1.0.0/src/server.bend as Server

11# the params of initialize: the latest revision, no client capabilities,
12# and the client's name and version (basic/lifecycle#initialization)
13def init.params(name: String, version: String) -> Value.Json:
14  Json.obj([("protocolVersion", Json.str(Server.latest())),
15    ("capabilities", Json.obj([])),
16    ("clientInfo", Json.obj([("name", Json.str(name)),
17      ("version", Json.str(version))]))])