SrcFileInfo

[Source]

class ref SrcFileInfo

Constructors

create

[Source]

new ref create(
  log: Logger[String val] val,
  auth: FileAuth val,
  server: Server tag,
  client_uri': String val)
: SrcFileInfo ref^

Parameters

• log: Logger[String val] val
• auth: FileAuth val
• server: Server tag
• client_uri': String val

Returns

• SrcFileInfo ref^

---

Public fields

let client_uri: String val

[Source]

---

let canonical_path: FilePath val

[Source]

---

var client_version: I128 val

[Source]

---

var analyze_task_id: USize val

[Source]

---

var segments: Array[String val] ref

[Source]

---

var parse: (Parser[U8 val, Data val, Node val] tag | None val)

[Source]

---

var syntax_tree: (Node val | None val)

[Source]

---

let line_beginnings: Array[(USize val , USize val)] ref

[Source]

---

Public Functions

did_open

[Source]

fun ref did_open(
  task_id: USize val,
  version: I128 val,
  text: String val)
: Parser[U8 val, Data val, Node val] tag

Parameters

• task_id: USize val
• version: I128 val
• text: String val

Returns

• Parser[U8 val, Data val, Node val] tag

---

did_change

[Source]

fun ref did_change(
  task_id: USize val,
  document: VersionedTextDocumentIdentifier val,
  changes: Array[TextDocumentContentChangeEvent val] val)
: None val

Parameters

• task_id: USize val
• document: VersionedTextDocumentIdentifier val
• changes: Array[TextDocumentContentChangeEvent val] val

Returns

• None val

---

set_line_beginnings

[Source]

fun ref set_line_beginnings(
  line_begin_locs: ReadSeq[Loc[U8 val] val] box)
: None val

Parameters

• line_begin_locs: ReadSeq[Loc[U8 val] val] box

Returns

• None val

---