workspace_info.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
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
use "collections"
use "files"
use "logger"

use analyzer = "../analyzer"
use parser = "../parser"

class WorkspaceInfo
  let name: String
  let client_uri: String
  let canonical_path: FilePath
  let server: Server
  let analyze: analyzer.Analyzer

  let errors: Map[String, Array[analyzer.AnalyzerError]] = errors.create()

  new create(
    name': String,
    client_uri': String,
    canonical_path': FilePath,
    server': Server,
    analyze': analyzer.Analyzer)
  =>
    name = name'
    client_uri = client_uri'
    canonical_path = canonical_path'
    server = server'
    analyze = analyze'

class Workspaces
  let _log: Logger[String]
  let _server: Server
  let _grammar: parser.NamedRule val

  let by_client_uri: Map[String, WorkspaceInfo] =
    by_client_uri.create()
  let by_canonical_path: Map[String, WorkspaceInfo] =
    by_canonical_path.create()
  let by_analyzer: MapIs[analyzer.Analyzer, WorkspaceInfo] =
    by_analyzer.create()

  new create(
    log: Logger[String],
    server: Server,
    grammar: parser.NamedRule val)
  =>
    _log = log
    _server = server
    _grammar = grammar

  fun ref get_workspace(
    auth: FileAuth,
    config: ServerConfig,
    canonical_path: FilePath)
    : WorkspaceInfo?
  =>
    // TODO: refine this to handle multiple workspaces
    for (ws_path, workspace) in by_canonical_path.pairs() do
      return workspace
    end
    error

    // for (ws_path, workspace) in by_canonical_path.pairs() do
    //   if canonical_path.compare_sub(ws_path, ws_path.size()) is Equal then
    //     return workspace
    //   end
    // end

    // let workspace_path = FilePath(auth, Path.split(canonical_path)._1)
    // _log(Fine) and _log.log(
    //   "creating ad-hoc workspace for " + workspace_path.path)

    // let analyzer_context = analyzer.AnalyzerContext(

    // )

    // let ponyc =
    //   match config.ponyc_executable
    //   | let path: String =>
    //     FilePath(auth, path)
    //   end
    // let analyze = analyzer.EohippusAnalyzer(
    //   _log,
    //   auth,
    //   _grammar,
    //   FilePath(auth, dir),
    //   None,
    //   [],
    //   ponyc,
    //   None,
    //   _server)
    // let workspace = WorkspaceInfo(dir, dir, dir, _server, analyze)
    // by_canonical_path.update(dir, workspace)
    // by_analyzer.update(analyze, workspace)
    // workspace