Skip to content

FindDefinition

[Source]

actor tag FindDefinition is
  AnalyzerRequestNotify tag

Implements


Constructors

create

[Source]

new tag create(
  log': Logger[String val] val,
  analyzer': Analyzer tag,
  task_id': USize val,
  canonical_path': FilePath val,
  line': USize val,
  column': USize val,
  notify': FindDefinitionNotify tag)
: FindDefinition tag^

Parameters

Returns


Public fields

let log: Logger[String val] val

[Source]


let analyzer: Analyzer tag

[Source]


let task_id: USize val

[Source]


let canonical_path: FilePath val

[Source]


let line: USize val

[Source]


let column: USize val

[Source]


let notify: FindDefinitionNotify tag

[Source]


var span: String val

[Source]


let paths_to_search: Array[(FilePath val , (SearchFileItem ref | None val))] ref

[Source]


var finished: Bool val

[Source]


Public Behaviours

request_succeeded

[Source]

be request_succeeded(
  task_id': USize val,
  canonical_path': FilePath val,
  syntax_tree': (Node val | None val),
  nodes_by_index': HashMap[USize val, Node val, HashEq[USize val] val] val,
  scope': Scope val)

Parameters


request_failed

[Source]

be request_failed(
  task_id': USize val,
  canonical_path': FilePath val,
  message': String val)

Parameters