ScopeVisitor¶

[Source]

class ref ScopeVisitor is
  Visitor[ScopeState ref] ref

Implements¶

Visitor[ScopeState ref] ref

Constructors¶

create¶

[Source]

new ref create(
  log: Logger[String val] val,
  canonical_path: FilePath val,
  node_indices: HashMap[Node val, USize val, HashIs[Node val] val] val)
: ScopeVisitor ref^

Parameters¶

log: Logger[String val] val
canonical_path: FilePath val
node_indices: HashMap[Node val, USize val, HashIs[Node val] val] val

Returns¶

ScopeVisitor ref^

Public fields¶

let file_scope: Scope ref¶

[Source]

Public Functions¶

visit_pre¶

[Source]

fun ref visit_pre(
  parent_state: ScopeState ref,
  node: Node val,
  path: (Cons[Node val] val | Nil[Node val] val),
  errors: Array[(Node val , String val)] iso)
: (ScopeState ref , Array[(Node val , String val)] iso^)

Parameters¶

parent_state: ScopeState ref
node: Node val
path: (Cons[Node val] val | Nil[Node val] val)
errors: Array[(Node val , String val)] iso

Returns¶

(ScopeState ref , Array[(Node val , String val)] iso^)

visit_post¶

[Source]

fun ref visit_post(
  node_state: ScopeState ref,
  node: Node val,
  path: (Cons[Node val] val | Nil[Node val] val),
  errors: Array[(Node val , String val)] iso,
  child_states: (ReadSeq[ScopeState ref] box | None val),
  new_children: (ReadSeq[Node val] val | None val),
  update_map: (HashMap[Node val, Node val, HashIs[Node val] val] val | None val))
: (ScopeState ref , (Node val | None val) , Array[(Node val , String val)] iso^)

Parameters¶

node_state: ScopeState ref
node: Node val
path: (Cons[Node val] val | Nil[Node val] val)
errors: Array[(Node val , String val)] iso
child_states: (ReadSeq[ScopeState ref] box | None val)
new_children: (ReadSeq[Node val] val | None val)
update_map: (HashMap[Node val, Node val, HashIs[Node val] val] val | None val)

Returns¶

(ScopeState ref , (Node val | None val) , Array[(Node val , String val)] iso^)