LanguageServer

[Source]

actor tag LanguageServer is
  Notifier ref

Implements

• Notifier ref

---

Constructors

create

[Source]

new tag create(
  channel': Channel tag,
  env': Env val,
  pony_path: String val = "")
: LanguageServer tag^

Parameters

• channel': Channel tag
• env': Env val
• pony_path: String val = ""

Returns

• LanguageServer tag^

---

Public Behaviours

handle_parse_error

[Source]

be handle_parse_error(
  err: (InvalidJson val | NoContentLength val | InvalidContentLength val | 
    InvalidMessage val))

Parameters

• err: (InvalidJson val | NoContentLength val | InvalidContentLength val | InvalidMessage val)

---

handle_message

[Source]

be handle_message(
  msg: Message val)

Parameters

• msg: Message val

---

dispose

[Source]

be dispose()

---

Public Functions

handle_request

[Source]

fun ref handle_request(
  r: RequestMessage val)
: None val

Parameters

• r: RequestMessage val

Returns

• None val

---

handle_notification

[Source]

fun ref handle_notification(
  n: Notification val)
: None val

Parameters

• n: Notification val

Returns

• None val

---

handle_initialize

[Source]

fun ref handle_initialize(
  msg: RequestMessage val)
: None val

Parameters

• msg: RequestMessage val

Returns

• None val

---

handle_initialized

[Source]

fun ref handle_initialized(
  notification: Notification val)
: None val

Parameters

• notification: Notification val

Returns

• None val

---