WorkspaceRouter

[Source]

class ref WorkspaceRouter

Constructors

create

[Source]

new ref create()
: WorkspaceRouter ref^

Returns

• WorkspaceRouter ref^

---

Public fields

let workspaces: HashMap[String val, WorkspaceManager tag, HashEq[String val] val] ref

[Source]

---

var min_workspace_path_len: USize val

[Source]

---

Public Functions

find_workspace

[Source]

fun box find_workspace(
  file_uri: String val)
: (WorkspaceManager tag | None val)

Parameters

• file_uri: String val

Returns

• (WorkspaceManager tag | None val)

---

add_workspace

[Source]

fun ref add_workspace(
  folder: FilePath val,
  mgr: WorkspaceManager tag)
: None val ?

Parameters

• folder: FilePath val
• mgr: WorkspaceManager tag

Returns

• None val ?

---

dispose

[Source]

fun ref dispose()
: None val

Returns

• None val

---