analyzer_notify.pony

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
use "collections"
use "files"

use ast = "../ast"
use parser = "../parser"

interface tag AnalyzerNotify
  be parsed_file(
    analyze: Analyzer,
    task_id: USize,
    canonical_path: FilePath,
    syntax_tree: ast.Node,
    line_beginnings: ReadSeq[parser.Loc] val)

  be analyzed_workspace(
    analyze: Analyzer,
    task_id: USize,
    workspace_errors: ReadSeq[AnalyzerError] val,
    parse_errors: ReadSeq[AnalyzerError] val,
    lint_errors: ReadSeq[AnalyzerError] val,
    analyze_errors: ReadSeq[AnalyzerError] val)

  be analyzed_file(
    analyze: Analyzer,
    task_id: USize,
    canonical_path: FilePath,
    syntax_tree: (ast.Node | None),
    file_scope: (Scope val | None),
    parse_errors: ReadSeq[AnalyzerError] val,
    lint_errors: ReadSeq[AnalyzerError] val,
    analyze_errors: ReadSeq[AnalyzerError] val)

  be analyze_failed(
    analyze: Analyzer,
    task_id: USize,
    canonical_path: FilePath,
    errors: ReadSeq[AnalyzerError] val)

interface tag AnalyzerRequestNotify
  be request_succeeded(
    task_id: USize,
    canonical_path: FilePath,
    syntax_tree: (ast.Node | None),
    nodes_by_index: Map[USize, ast.Node] val,
    scope: Scope val)

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