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
[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]
[Source]
var span: String val
[Source]
[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