Module: MilkTea::LSP::Workspace::WorkspaceAnalysis

Included in:
MilkTea::LSP::Workspace
Defined in:
lib/milk_tea/lsp/workspace/analysis.rb

Instance Method Summary collapse

Instance Method Details

#analyze_document(uri) ⇒ Object 



125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 125

def analyze_document(uri)
  path = uri_to_path(uri)
  snapshot = if path && File.file?(path)
    parse_result = MilkTea::Parser.parse_collecting_errors(get_content(uri), path: uri)
    ast = parse_result.ast
    return @last_good_tooling_snapshot_cache[uri] if ast.nil?

    @ast_cache[uri] = ast

    resolution = DependencyResolution.resolve(path, mode: @dependency_resolution_mode)
    return nil unless resolution.ok?

    effective_platform = effective_platform_for_path(path)
    ensure_root_platform_compatible!(path, effective_platform)

    loader = MilkTea::ModuleLoader.new(
      module_roots: module_roots_for_path(path, locked: resolution.locked),
      package_graph: package_graph_for_path(path, locked: resolution.locked),
      shared_cache: @shared_module_cache,
      source_overrides: file_backed_source_overrides,
      platform: effective_platform,
    )
    ast = with_inferred_module_name(ast, loader:, path:)
    import_resolution = loader.imported_modules_for_ast_collecting_errors(ast, importer_path: path)
    MilkTea::SemanticAnalyzer.tooling_snapshot(
      ast,
      imported_modules: import_resolution.modules,
      allow_missing_imports: true,
      path: path,
    )
  else
    ast = get_ast(uri)
    return @last_good_tooling_snapshot_cache[uri] if ast.nil?

      result = MilkTea::SemanticAnalyzer.check_collecting_errors(ast, path:)
      facts = result[:analysis]
      MilkTea::SemanticAnalyzer::ToolingSnapshot.new(facts:, diagnostics: (Array(result[:errors]).map { |e| e.to_diagnostic(path:) } || []).freeze)
  end
  if snapshot&.facts
    @last_good_tooling_snapshot_cache[uri] = snapshot
    @last_good_facts_cache[uri] = snapshot.facts
    @document_module_names[uri] = snapshot.facts.module_name
  end
  snapshot
rescue MilkTea::LexError, MilkTea::SemanticError, ModuleLoadError, PackageLockError
  @last_good_tooling_snapshot_cache[uri]
rescue StandardError => e
  warn "LSP sema error #{uri}: #{e.message}"
  @last_good_tooling_snapshot_cache[uri]
end

#ast_for_content(uri, content) ⇒ Object 



57
58
59
60
61
62
63
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 57

def ast_for_content(uri, content)
  return get_ast(uri) if get_content(uri) == content

  MilkTea::Parser.parse(content, path: uri)
rescue StandardError
  nil
end

#compute_facts_for_content(uri, content) ⇒ Object 



93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 93

def compute_facts_for_content(uri, content)
  path = uri_to_path(uri)
  if path && File.file?(path)
    parse_result = MilkTea::Parser.parse_collecting_errors(content, path: uri)
    ast = parse_result.ast
    return nil unless ast

    effective_platform = effective_platform_for_path(path)
    ensure_root_platform_compatible!(path, effective_platform)
    loader = MilkTea::ModuleLoader.new(
      module_roots: module_roots_for_path(path),
      package_graph: package_graph_for_path(path),
      shared_cache: @shared_module_cache,
      source_overrides: file_backed_source_overrides,
      platform: effective_platform,
    )
    ast = with_inferred_module_name(ast, loader:, path:)
    import_resolution = loader.imported_modules_for_ast_collecting_errors(ast, importer_path: path)
    MilkTea::SemanticAnalyzer.tooling_snapshot(
      ast,
      imported_modules: import_resolution.modules,
      allow_missing_imports: true,
      path: path,
    ).facts
  else
    ast = MilkTea::Parser.parse(content, path: uri)
    MilkTea::SemanticAnalyzer.check(ast)
  end
rescue MilkTea::LexError, MilkTea::SemanticError, ModuleLoadError
  nil
end

#effective_platform_for_path(path) ⇒ Object 



195
196
197
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 195

def effective_platform_for_path(path)
  ModuleLoader.effective_platform_for_path(path, platform_override: @platform_override)
end

#elapsed_ms(start_time) ⇒ Object 



47
48
49
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 47

def elapsed_ms(start_time)
  ((monotonic_time - start_time) * 1000).round(1)
end

#ensure_root_platform_compatible!(path, effective_platform) ⇒ Object 



199
200
201
202
203
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 199

def ensure_root_platform_compatible!(path, effective_platform)
  return unless ModuleLoader.platform_suffix_for_path(path)

  ModuleLoader.resolve_source_path(path, platform: effective_platform, error_class: ModuleLoadError)
end

#lex_document(uri) ⇒ Object

── Compilation helpers ─────────────────────────────────────────────────



9
10
11
12
13
14
15
16
17
18
19
20
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 9

def lex_document(uri)
  content = get_content(uri)
  return nil if content.empty?

  recovery_errors = []
  tokens = MilkTea::Lexer.lex(content, path: uri, recovery_errors:)
  @last_good_tokens_cache[uri] = tokens
  index_identifier_tokens(uri, tokens) if tokens
  tokens
rescue StandardError
  @last_good_tokens_cache[uri] || @tokens_cache[uri]
end

#log_perf_breakdown(name, elapsed_ms_value, detail) ⇒ Object 



51
52
53
54
55
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 51

def log_perf_breakdown(name, elapsed_ms_value, detail)
  return unless perf_breakdown_logging?(elapsed_ms_value)

  warn "[LSP perf] breakdown #{name} #{elapsed_ms_value}ms #{detail}"
end

#monotonic_time ⇒ Object 



43
44
45
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 43

def monotonic_time
  Process.clock_gettime(Process::CLOCK_MONOTONIC)
end

#package_graph_for_path(path, locked: false) ⇒ Object 



176
177
178
179
180
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 176

def package_graph_for_path(path, locked: false)
  PackageGraph.load(path, locked:)
rescue PackageManifestError
  nil
end

#parse_document(uri) ⇒ Object 



22
23
24
25
26
27
28
29
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 22

def parse_document(uri)
  tokens = get_tokens(uri)
  return nil if tokens.nil?

  MilkTea::Parser.parse_collecting_errors(tokens: tokens, path: uri).ast
rescue StandardError
  nil
end

#perf_breakdown_logging?(elapsed_ms_value) ⇒ Boolean

Returns:

  • (Boolean) 


39
40
41
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 39

def perf_breakdown_logging?(elapsed_ms_value)
  perf_logging? && (perf_verbose? || elapsed_ms_value > PERF_LOG_THRESHOLD_MS)
end

#perf_logging? ⇒ Boolean

Returns:

  • (Boolean) 


31
32
33
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 31

def perf_logging?
  @perf_logging ||= !ENV.fetch('MILK_TEA_LSP_PERF', nil).to_s.empty?
end

#perf_verbose? ⇒ Boolean

Returns:

  • (Boolean) 


35
36
37
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 35

def perf_verbose?
  @perf_verbose ||= ENV.fetch('MILK_TEA_LSP_PERF', nil).to_s == 'verbose'
end

#warm_document_facts(uri, content) ⇒ Object 



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
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 65

def warm_document_facts(uri, content)
  ast = ast_for_content(uri, content)
  stats = {
    bytes: content.bytesize,
    lines: content.count("\n") + 1,
    eager_facts: false,
    facts_mode: nil,
    facts_ms: nil,
    skip_reason: nil,
    import_count: ast.respond_to?(:imports) ? ast.imports.length : 0,
    shared_module_cache_size: @shared_module_cache.length,
  }

  if background_document?(uri)
    stats[:skip_reason] = :background_document
    return stats
  end

  facts_start = Process.clock_gettime(Process::CLOCK_MONOTONIC)
  facts_path = uri_to_path(uri)
  get_facts(uri)
  stats[:eager_facts] = true
  stats[:facts_mode] = facts_path && File.file?(facts_path) ? :module_loader : :memory
  stats[:facts_ms] = ((Process.clock_gettime(Process::CLOCK_MONOTONIC) - facts_start) * 1000).round(1)
  stats[:shared_module_cache_size] = @shared_module_cache.length
  stats
end

#with_inferred_module_name(ast, loader:, path:) ⇒ Object 



182
183
184
185
186
187
188
189
190
191
192
193
 
# File 'lib/milk_tea/lsp/workspace/analysis.rb', line 182

def with_inferred_module_name(ast, loader:, path:)
  inferred_module_name = loader.send(:inferred_module_name_for_path, path)
  AST::SourceFile.new(
    module_name: AST::QualifiedName.new(inferred_module_name.split('.')),
    module_kind: ast.module_kind,
    imports: ast.imports,
    directives: ast.directives,
    declarations: ast.declarations,
    line: ast.line,
    node_ids: ast.node_ids,
  )
end