SrcInfo

[Source]

Source file span information. locator: an identifier for a source file or other source of code. start: the start location of the span. next: the location immediately after the span. derived_from: how this span is derived from original source.

class val SrcInfo is
  Equatable[SrcInfo val] ref

Implements

• Equatable[SrcInfo val] ref

---

Constructors

create

[Source]

new val create(
  locator': String val,
  start': (Loc[U8 val] val | None val) = reference,
  next': (Loc[U8 val] val | None val) = reference,
  line': (USize val | None val) = reference,
  column': (USize val | None val) = reference,
  next_line': (USize val | None val) = reference,
  next_column': (USize val | None val) = reference,
  derived_from': (((Inherited val | Reified val | Desugared val) , Node val) | None val) = reference)
: SrcInfo val^

Parameters

• locator': String val
• start': (Loc[U8 val] val | None val) = reference
• next': (Loc[U8 val] val | None val) = reference
• line': (USize val | None val) = reference
• column': (USize val | None val) = reference
• next_line': (USize val | None val) = reference
• next_column': (USize val | None val) = reference
• derived_from': (((Inherited val | Reified val | Desugared val) , Node val) | None val) = reference

Returns

• SrcInfo val^

---

from

[Source]

new val from(
  orig: SrcInfo val,
  locator': (String val | None val) = reference,
  start': (Loc[U8 val] val | None val) = reference,
  next': (Loc[U8 val] val | None val) = reference,
  line': (USize val | None val) = reference,
  column': (USize val | None val) = reference,
  next_line': (USize val | None val) = reference,
  next_column': (USize val | None val) = reference,
  derived_from': (((Inherited val | Reified val | Desugared val) , Node val) | None val) = reference)
: SrcInfo val^

Parameters

• orig: SrcInfo val
• locator': (String val | None val) = reference
• start': (Loc[U8 val] val | None val) = reference
• next': (Loc[U8 val] val | None val) = reference
• line': (USize val | None val) = reference
• column': (USize val | None val) = reference
• next_line': (USize val | None val) = reference
• next_column': (USize val | None val) = reference
• derived_from': (((Inherited val | Reified val | Desugared val) , Node val) | None val) = reference

Returns

• SrcInfo val^

---

Public fields

let locator: String val

[Source]

---

let start: (Loc[U8 val] val | None val)

[Source]

---

let next: (Loc[U8 val] val | None val)

[Source]

---

let line: (USize val | None val)

[Source]

---

let column: (USize val | None val)

[Source]

---

let next_line: (USize val | None val)

[Source]

---

let next_column: (USize val | None val)

[Source]

---

let derived_from: (((Inherited val | Reified val | Desugared val) , Node val) | None val)

[Source]

---

Public Functions

eq

[Source]

fun box eq(
  other: SrcInfo val)
: Bool val

Parameters

• other: SrcInfo val

Returns

• Bool val

---

ne

[Source]

fun box ne(
  other: SrcInfo val)
: Bool val

Parameters

• other: SrcInfo val

Returns

• Bool val

---

length

[Source]

fun box length()
: USize val

Returns

• USize val

---

literal_source

[Source]

fun box literal_source(
  post: (ReadSeq[Node val] val | None val) = reference)
: String val

Parameters

• post: (ReadSeq[Node val] val | None val) = reference

Returns

• String val

---