WorkspaceManager¶

Handling all operations on a workspace

actor tag WorkspaceManager

Constructors¶

create¶

[Source]

new tag create(
  workspace': WorkspaceData val,
  file_auth': FileAuth val,
  channel': Channel tag,
  compiler': PonyCompiler tag)
: WorkspaceManager tag^

Parameters¶

workspace': WorkspaceData val
file_auth': FileAuth val
channel': Channel tag
compiler': PonyCompiler tag

Returns¶

WorkspaceManager tag^

Public fields¶

let workspace: WorkspaceData val¶

[Source]

Public Behaviours¶

done_compiling¶

[Source]

be done_compiling(
  program_dir: FilePath val,
  result: (Program val | Array[Error val] val),
  run: USize val)

Parameters¶

program_dir: FilePath val
result: (Program val | Array[Error val] val)
run: USize val

did_open¶

[Source]

Handling the textDocument/didOpen notification

be did_open(
  document_uri: String val,
  notification: Notification val)

Parameters¶

document_uri: String val
notification: Notification val

did_close¶

[Source]

Handling the textDocument/didClose notification

be did_close(
  document_uri: String val,
  notification: Notification val)

Parameters¶

document_uri: String val
notification: Notification val

did_save¶

[Source]

Handling the textDocument/didSave notification

be did_save(
  document_uri: String val,
  notification: Notification val)

Parameters¶

document_uri: String val
notification: Notification val

hover¶

[Source]

Handling the textDocument/hover request

be hover(
  document_uri: String val,
  request: RequestMessage val)

Parameters¶

document_uri: String val
request: RequestMessage val

goto_definition¶

[Source]

Handling the textDocument/definition request

be goto_definition(
  document_uri: String val,
  request: RequestMessage val)

Parameters¶

document_uri: String val
request: RequestMessage val

document_symbols¶

[Source]

be document_symbols(
  document_uri: String val,
  request: RequestMessage val)

Parameters¶

document_uri: String val
request: RequestMessage val

dispose¶

[Source]

be dispose()