Server

[Source]

interface tag Server is
  AnalyzerNotify tag,
  FindDefinitionNotify tag

Implements

• AnalyzerNotify tag
• FindDefinitionNotify tag

---

Public Behaviours

set_rpc_handler

[Source]

be set_rpc_handler(
  rpc_handler: Handler tag)

Parameters

• rpc_handler: Handler tag

---

rpc_listening

[Source]

be rpc_listening()

---

rpc_connected

[Source]

be rpc_connected()

---

rpc_error

[Source]

be rpc_error()

---

rpc_closed

[Source]

be rpc_closed()

---

dispose

[Source]

be dispose()

---

exit

[Source]

be exit()

---

notify_listening

[Source]

be notify_listening()

---

notify_connected

[Source]

be notify_connected()

---

notify_errored

[Source]

be notify_errored()

---

notify_initializing

[Source]

be notify_initializing()

---

notify_initialized

[Source]

be notify_initialized()

---

notify_received_request

[Source]

be notify_received_request(
  id: (I128 val | String val | None val),
  method: String val)

Parameters

• id: (I128 val | String val | None val)
• method: String val

---

notify_received_notification

[Source]

be notify_received_notification(
  method: String val)

Parameters

• method: String val

---

notify_sent_error

[Source]

be notify_sent_error(
  id: (I128 val | String val | None val),
  code: I128 val,
  message: String val)

Parameters

• id: (I128 val | String val | None val)
• code: I128 val
• message: String val

---

notify_disconnected

[Source]

be notify_disconnected()

---

notify_shutting_down

[Source]

be notify_shutting_down()

---

notify_exiting

[Source]

be notify_exiting(
  code: I32 val)

Parameters

• code: I32 val

---

request_initialize

[Source]

be request_initialize(
  message: RequestMessage val,
  params: InitializeParams val)

Parameters

• message: RequestMessage val
• params: InitializeParams val

---

notification_initialized

[Source]

be notification_initialized()

---

notification_set_trace

[Source]

be notification_set_trace(
  params: SetTraceParams val)

Parameters

• params: SetTraceParams val

---

notification_did_open_text_document

[Source]

be notification_did_open_text_document(
  params: DidOpenTextDocumentParams val)

Parameters

• params: DidOpenTextDocumentParams val

---

notification_did_change_text_document

[Source]

be notification_did_change_text_document(
  params: DidChangeTextDocumentParams val)

Parameters

• params: DidChangeTextDocumentParams val

---

notification_did_close_text_document

[Source]

be notification_did_close_text_document(
  params: DidCloseTextDocumentParams val)

Parameters

• params: DidCloseTextDocumentParams val

---

request_definition

[Source]

be request_definition(
  request_id: String val,
  params: DefinitionParams val)

Parameters

• request_id: String val
• params: DefinitionParams val

---

request_shutdown

[Source]

be request_shutdown(
  message: RequestMessage val)

Parameters

• message: RequestMessage val

---

notification_exit

[Source]

be notification_exit()

---

set_client_data

[Source]

be set_client_data(
  capabilities: ClientCapabilities val,
  workspaceFolders: (Array[WorkspaceFolder val] val | None val),
  rootUri: (String val | None val),
  rootPath: (String val | None val))

Parameters

• capabilities: ClientCapabilities val
• workspaceFolders: (Array[WorkspaceFolder val] val | None val)
• rootUri: (String val | None val)
• rootPath: (String val | None val)

---

open_workspace

[Source]

be open_workspace(
  name: String val,
  client_uri: String val)

Parameters

• name: String val
• client_uri: String val

---

parsed_file

[Source]

be parsed_file(
  analyze: Analyzer tag,
  task_id: USize val,
  canonical_name: FilePath val,
  syntax_tree: Node val,
  line_beginnings: ReadSeq[Loc[U8 val] val] val)

Parameters

• analyze: Analyzer tag
• task_id: USize val
• canonical_name: FilePath val
• syntax_tree: Node val
• line_beginnings: ReadSeq[Loc[U8 val] val] val

---

analyzed_workspace

[Source]

be analyzed_workspace(
  analyze: Analyzer tag,
  task_id: USize val,
  workspace_errors: ReadSeq[AnalyzerError val] val,
  parse_errors: ReadSeq[AnalyzerError val] val,
  lint_errors: ReadSeq[AnalyzerError val] val,
  analyze_errors: ReadSeq[AnalyzerError val] val)

Parameters

• analyze: Analyzer tag
• task_id: USize val
• workspace_errors: ReadSeq[AnalyzerError val] val
• parse_errors: ReadSeq[AnalyzerError val] val
• lint_errors: ReadSeq[AnalyzerError val] val
• analyze_errors: ReadSeq[AnalyzerError val] val

---

analyzed_file

[Source]

be analyzed_file(
  analyze: Analyzer tag,
  task_id: USize val,
  canonical_path: FilePath val,
  syntax_tree: (Node val | None val),
  file_scope: (Scope val | None val),
  parse_errors: ReadSeq[AnalyzerError val] val,
  lint_errors: ReadSeq[AnalyzerError val] val,
  analyze_errors: ReadSeq[AnalyzerError val] val)

Parameters

• analyze: Analyzer tag
• task_id: USize val
• canonical_path: FilePath val
• syntax_tree: (Node val | None val)
• file_scope: (Scope val | None val)
• parse_errors: ReadSeq[AnalyzerError val] val
• lint_errors: ReadSeq[AnalyzerError val] val
• analyze_errors: ReadSeq[AnalyzerError val] val

---

analyze_failed

[Source]

be analyze_failed(
  analyze: Analyzer tag,
  task_id: USize val,
  canonical_path: FilePath val,
  errors: ReadSeq[AnalyzerError val] val)

Parameters

• analyze: Analyzer tag
• task_id: USize val
• canonical_path: FilePath val
• errors: ReadSeq[AnalyzerError val] val

---

definition_found

[Source]

be definition_found(
  task_id: USize val,
  canonical_path: FilePath val,
  range: (USize val , USize val , USize val , 
    USize val))

Parameters

• task_id: USize val
• canonical_path: FilePath val
• range: (USize val , USize val , USize val , USize val)

---

definition_failed

[Source]

be definition_failed(
  task_id: USize val,
  message: String val)

Parameters

• task_id: USize val
• message: String val

---