mt-lang 0.3.9 → 0.3.10
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/lib/milk_tea/base.rb +1 -2
- data/lib/milk_tea/bindings/bindgen/ast_parser.rb +0 -2
- data/lib/milk_tea/bindings/bindgen/declaration.rb +0 -2
- data/lib/milk_tea/bindings/bindgen/emitter.rb +0 -2
- data/lib/milk_tea/bindings/bindgen/overrides.rb +0 -2
- data/lib/milk_tea/bindings/bindgen/type_mapper.rb +51 -53
- data/lib/milk_tea/bindings/imported_bindings/generator.rb +7 -9
- data/lib/milk_tea/bindings/imported_bindings/method_source.rb +0 -2
- data/lib/milk_tea/bindings/imported_bindings/naming.rb +6 -8
- data/lib/milk_tea/bindings/imported_bindings.rb +0 -2
- data/lib/milk_tea/bindings/opengl_registry.rb +3 -7
- data/lib/milk_tea/bindings/steamworks.rb +12 -16
- data/lib/milk_tea/bindings/upstream_sources.rb +10 -14
- data/lib/milk_tea/bindings/vendored_box2d.rb +10 -12
- data/lib/milk_tea/bindings/vendored_cjson.rb +6 -8
- data/lib/milk_tea/bindings/vendored_flecs.rb +10 -12
- data/lib/milk_tea/bindings/vendored_glfw.rb +11 -13
- data/lib/milk_tea/bindings/vendored_libuv.rb +11 -13
- data/lib/milk_tea/bindings/vendored_pcre2.rb +11 -13
- data/lib/milk_tea/bindings/vendored_raylib.rb +6 -10
- data/lib/milk_tea/bindings/vendored_sdl3.rb +11 -13
- data/lib/milk_tea/bindings/vendored_steamworks.rb +1 -5
- data/lib/milk_tea/core/ast.rb +103 -45
- data/lib/milk_tea/core/async_runtime_installer.rb +0 -2
- data/lib/milk_tea/core/bindings/attribute_binding.rb +1 -3
- data/lib/milk_tea/core/c_backend/aggregate_utils.rb +147 -84
- data/lib/milk_tea/core/c_backend/control_flow_emission.rb +394 -396
- data/lib/milk_tea/core/c_backend/expressions.rb +489 -476
- data/lib/milk_tea/core/c_backend/feature_detection.rb +446 -437
- data/lib/milk_tea/core/c_backend/format_helpers.rb +0 -2
- data/lib/milk_tea/core/c_backend/reachability.rb +339 -341
- data/lib/milk_tea/core/c_backend/reinterpret.rb +231 -217
- data/lib/milk_tea/core/c_backend/runtime_helpers.rb +531 -526
- data/lib/milk_tea/core/c_backend/statements.rb +528 -530
- data/lib/milk_tea/core/c_backend/type_collectors.rb +1344 -1346
- data/lib/milk_tea/core/c_backend/type_declaration.rb +215 -213
- data/lib/milk_tea/core/c_backend/type_system.rb +347 -349
- data/lib/milk_tea/core/c_backend.rb +17 -9
- data/lib/milk_tea/core/compatibility_helpers.rb +0 -2
- data/lib/milk_tea/core/compile_time/const_eval.rb +7 -12
- data/lib/milk_tea/core/compile_time.rb +32 -38
- data/lib/milk_tea/core/control_flow/builder.rb +3 -5
- data/lib/milk_tea/core/control_flow/constant_propagation.rb +14 -17
- data/lib/milk_tea/core/control_flow/definite_assignment.rb +0 -1
- data/lib/milk_tea/core/ir.rb +10 -10
- data/lib/milk_tea/core/lexer/character_classes.rb +5 -7
- data/lib/milk_tea/core/lexer/format_strings.rb +7 -9
- data/lib/milk_tea/core/lexer/heredocs.rb +22 -22
- data/lib/milk_tea/core/lexer/indentation.rb +0 -2
- data/lib/milk_tea/core/lexer/numbers.rb +0 -2
- data/lib/milk_tea/core/lexer/recovery.rb +0 -2
- data/lib/milk_tea/core/lexer/strings.rb +0 -2
- data/lib/milk_tea/core/lexer/symbols.rb +0 -2
- data/lib/milk_tea/core/lexer/trivia.rb +0 -2
- data/lib/milk_tea/core/lexer.rb +0 -2
- data/lib/milk_tea/core/lowering/async/analysis.rb +0 -2
- data/lib/milk_tea/core/lowering/async/lowering.rb +1264 -1265
- data/lib/milk_tea/core/lowering/async/normalization.rb +0 -2
- data/lib/milk_tea/core/lowering/async.rb +627 -630
- data/lib/milk_tea/core/lowering/block.rb +413 -416
- data/lib/milk_tea/core/lowering/calls.rb +1381 -1384
- data/lib/milk_tea/core/lowering/declarations.rb +180 -183
- data/lib/milk_tea/core/lowering/dyn.rb +48 -50
- data/lib/milk_tea/core/lowering/events.rb +983 -985
- data/lib/milk_tea/core/lowering/expressions.rb +1513 -1518
- data/lib/milk_tea/core/lowering/foreign_cstr.rb +181 -184
- data/lib/milk_tea/core/lowering/functions.rb +185 -188
- data/lib/milk_tea/core/lowering/loops.rb +1028 -1031
- data/lib/milk_tea/core/lowering/proc.rb +363 -366
- data/lib/milk_tea/core/lowering/resolve.rb +2133 -2135
- data/lib/milk_tea/core/lowering/scans.rb +179 -181
- data/lib/milk_tea/core/lowering/str_buffer.rb +102 -105
- data/lib/milk_tea/core/lowering/utils.rb +1040 -1044
- data/lib/milk_tea/core/lowering.rb +5 -7
- data/lib/milk_tea/core/module_binder.rb +0 -2
- data/lib/milk_tea/core/module_loader/errors.rb +4 -2
- data/lib/milk_tea/core/module_loader.rb +113 -20
- data/lib/milk_tea/core/module_path_resolver.rb +0 -2
- data/lib/milk_tea/core/module_roots.rb +6 -8
- data/lib/milk_tea/core/parser/attributes.rb +0 -2
- data/lib/milk_tea/core/parser/blocks.rb +0 -2
- data/lib/milk_tea/core/parser/declarations.rb +0 -2
- data/lib/milk_tea/core/parser/expressions.rb +8 -9
- data/lib/milk_tea/core/parser/recovery.rb +0 -2
- data/lib/milk_tea/core/parser/statements.rb +0 -2
- data/lib/milk_tea/core/parser/types.rb +8 -10
- data/lib/milk_tea/core/parser.rb +0 -2
- data/lib/milk_tea/core/pretty_printer/ast_formatter.rb +31 -33
- data/lib/milk_tea/core/pretty_printer/base_formatter.rb +0 -2
- data/lib/milk_tea/core/pretty_printer/ir_formatter.rb +0 -2
- data/lib/milk_tea/core/semantic_analyzer/analysis_context.rb +0 -2
- data/lib/milk_tea/core/semantic_analyzer/attributes.rb +14 -16
- data/lib/milk_tea/core/semantic_analyzer/calls.rb +0 -2
- data/lib/milk_tea/core/semantic_analyzer/expressions.rb +1 -14
- data/lib/milk_tea/core/semantic_analyzer/flow_refinement.rb +18 -21
- data/lib/milk_tea/core/semantic_analyzer/foreign_functions.rb +0 -3
- data/lib/milk_tea/core/semantic_analyzer/function_binding.rb +12 -15
- data/lib/milk_tea/core/semantic_analyzer/generics.rb +57 -59
- data/lib/milk_tea/core/semantic_analyzer/interface_conformance.rb +0 -2
- data/lib/milk_tea/core/semantic_analyzer/name_resolution.rb +5 -9
- data/lib/milk_tea/core/semantic_analyzer/nullability.rb +0 -3
- data/lib/milk_tea/core/semantic_analyzer/statements.rb +35 -40
- data/lib/milk_tea/core/semantic_analyzer/top_level.rb +10 -12
- data/lib/milk_tea/core/semantic_analyzer/type_compatibility.rb +0 -6
- data/lib/milk_tea/core/semantic_analyzer/type_declaration.rb +102 -105
- data/lib/milk_tea/core/semantic_analyzer.rb +17 -8
- data/lib/milk_tea/core/types/layout.rb +21 -22
- data/lib/milk_tea/core/types/predicates.rb +0 -2
- data/lib/milk_tea/core/types/registry.rb +16 -18
- data/lib/milk_tea/core/types/visitor.rb +0 -4
- data/lib/milk_tea/dap/backends/lldb_dap.rb +0 -2
- data/lib/milk_tea/dap/protocol.rb +1 -1
- data/lib/milk_tea/dap/server/breakpoints.rb +0 -2
- data/lib/milk_tea/dap/server/debug_map.rb +0 -2
- data/lib/milk_tea/dap/server/handlers.rb +0 -2
- data/lib/milk_tea/dap/server/launch.rb +0 -2
- data/lib/milk_tea/dap/server/lldb_backend.rb +8 -10
- data/lib/milk_tea/dap/server/pause_diagnostics.rb +14 -16
- data/lib/milk_tea/dap/server/utilities.rb +0 -2
- data/lib/milk_tea/dap/server/wire.rb +0 -2
- data/lib/milk_tea/dap/server.rb +0 -2
- data/lib/milk_tea/lsp/diagnostics.rb +16 -16
- data/lib/milk_tea/lsp/server/call_hierarchy.rb +11 -12
- data/lib/milk_tea/lsp/server/code_actions.rb +355 -357
- data/lib/milk_tea/lsp/server/code_lens.rb +23 -25
- data/lib/milk_tea/lsp/server/completion.rb +873 -875
- data/lib/milk_tea/lsp/server/configuration.rb +129 -131
- data/lib/milk_tea/lsp/server/debug_info.rb +0 -2
- data/lib/milk_tea/lsp/server/definition.rb +564 -565
- data/lib/milk_tea/lsp/server/diagnostics_scheduling.rb +191 -193
- data/lib/milk_tea/lsp/server/execute_command.rb +0 -2
- data/lib/milk_tea/lsp/server/folding_range.rb +0 -4
- data/lib/milk_tea/lsp/server/formatting.rb +478 -480
- data/lib/milk_tea/lsp/server/hover.rb +1282 -1284
- data/lib/milk_tea/lsp/server/inlay_hints.rb +179 -181
- data/lib/milk_tea/lsp/server/lifecycle.rb +192 -194
- data/lib/milk_tea/lsp/server/linked_editing_range.rb +0 -2
- data/lib/milk_tea/lsp/server/on_type_formatting.rb +0 -2
- data/lib/milk_tea/lsp/server/progress.rb +0 -2
- data/lib/milk_tea/lsp/server/references.rb +316 -318
- data/lib/milk_tea/lsp/server/rename.rb +445 -447
- data/lib/milk_tea/lsp/server/selection_range.rb +0 -4
- data/lib/milk_tea/lsp/server/semantic_tokens.rb +1318 -1320
- data/lib/milk_tea/lsp/server/signature_help.rb +146 -148
- data/lib/milk_tea/lsp/server/text_documents.rb +99 -101
- data/lib/milk_tea/lsp/server/type_hierarchy.rb +2 -4
- data/lib/milk_tea/lsp/server/utilities.rb +397 -399
- data/lib/milk_tea/lsp/server.rb +0 -3
- data/lib/milk_tea/lsp/workspace/analysis.rb +40 -42
- data/lib/milk_tea/lsp/workspace/dependency_graph.rb +4 -10
- data/lib/milk_tea/lsp/workspace/utilities.rb +19 -19
- data/lib/milk_tea/packages/atomic_write.rb +4 -5
- data/lib/milk_tea/packages/dependency_solver.rb +15 -15
- data/lib/milk_tea/packages/lock.rb +4 -4
- data/lib/milk_tea/packages/manager_cli.rb +1 -1
- data/lib/milk_tea/packages/manifest.rb +3 -3
- data/lib/milk_tea/packages/registry_store.rb +4 -6
- data/lib/milk_tea/packages/services.rb +16 -16
- data/lib/milk_tea/packages/source_cache.rb +4 -6
- data/lib/milk_tea/packages/source_resolver.rb +44 -44
- data/lib/milk_tea/packages/version.rb +8 -8
- data/lib/milk_tea/tooling/build.rb +3 -7
- data/lib/milk_tea/tooling/build_cache.rb +0 -2
- data/lib/milk_tea/tooling/debug_info_formatter.rb +31 -33
- data/lib/milk_tea/tooling/debug_map.rb +8 -10
- data/lib/milk_tea/tooling/docs_app.rb +0 -2
- data/lib/milk_tea/tooling/linter/doc_tags.rb +25 -27
- data/lib/milk_tea/tooling/linter/fix_engine.rb +87 -24
- data/lib/milk_tea/tooling/linter/flow_rules.rb +44 -46
- data/lib/milk_tea/tooling/linter/imports_platform.rb +14 -16
- data/lib/milk_tea/tooling/linter/release_rules.rb +3 -5
- data/lib/milk_tea/tooling/linter/reserved_names.rb +23 -25
- data/lib/milk_tea/tooling/linter/rules.rb +87 -89
- data/lib/milk_tea/tooling/linter/source_helpers.rb +40 -42
- data/lib/milk_tea/tooling/linter/trailing_comma.rb +17 -19
- data/lib/milk_tea/tooling/linter/visitors.rb +112 -54
- data/lib/milk_tea/tooling/linter.rb +0 -2
- data/lib/milk_tea/tooling/project_scaffold.rb +0 -2
- data/lib/milk_tea/tooling/run.rb +0 -2
- data/lib/milk_tea/tooling/toolchain_cli.rb +0 -2
- data/std/cli.mt +13 -32
- data/std/color.mt +28 -28
- data/std/encoding.mt +4 -4
- data/std/graph.mt +1 -2
- data/std/hash.mt +14 -14
- data/std/http/server.mt +3 -3
- data/std/input.mt +1 -1
- data/std/json.mt +1 -1
- data/std/linear_algebra.mt +6 -6
- data/std/net/mux.mt +1 -1
- data/std/noise.mt +23 -23
- data/std/parse.mt +2 -2
- data/std/process.mt +3 -4
- data/std/sparse_set.mt +1 -1
- data/std/steering.mt +5 -5
- data/std/str.mt +1 -1
- data/std/tween.mt +4 -4
- data/std/utility.mt +3 -3
- metadata +2 -2
|
@@ -4,401 +4,399 @@ module MilkTea
|
|
|
4
4
|
module LSP
|
|
5
5
|
class Server
|
|
6
6
|
module ServerReferences
|
|
7
|
-
|
|
8
|
-
|
|
9
|
-
|
|
10
|
-
|
|
11
|
-
|
|
12
|
-
|
|
13
|
-
|
|
14
|
-
|
|
15
|
-
|
|
16
|
-
|
|
17
|
-
|
|
18
|
-
|
|
19
|
-
|
|
20
|
-
|
|
21
|
-
return []
|
|
22
|
-
end
|
|
7
|
+
def handle_references(params)
|
|
8
|
+
stages = new_perf_stages
|
|
9
|
+
total_start = stages ? monotonic_time : nil
|
|
10
|
+
uri = params['textDocument']['uri']
|
|
11
|
+
lsp_line = params['position']['line']
|
|
12
|
+
lsp_char = params['position']['character']
|
|
13
|
+
result_count = 0
|
|
14
|
+
result_state = 'miss'
|
|
15
|
+
|
|
16
|
+
token = measure_perf_stage(stages, 'token') { @workspace.find_token_at(uri, lsp_line, lsp_char) }
|
|
17
|
+
unless token&.type == :identifier
|
|
18
|
+
result_state = 'not-identifier'
|
|
19
|
+
return []
|
|
20
|
+
end
|
|
23
21
|
|
|
24
|
-
|
|
22
|
+
include_declaration = params.dig('context', 'includeDeclaration') != false
|
|
25
23
|
|
|
26
|
-
|
|
27
|
-
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
-
|
|
24
|
+
context = measure_perf_stage(stages, 'token_context') { token_context_at(uri, lsp_line, lsp_char) }
|
|
25
|
+
if context
|
|
26
|
+
tokens = context[:tokens]
|
|
27
|
+
token_index = context[:token_index]
|
|
28
|
+
named_arg_refs = named_argument_label_references(uri, token.lexeme, tokens, token_index, include_declaration:, stages:)
|
|
29
|
+
return named_arg_refs if named_arg_refs
|
|
30
|
+
end
|
|
33
31
|
|
|
34
|
-
|
|
35
|
-
|
|
36
|
-
|
|
37
|
-
|
|
38
|
-
|
|
39
|
-
|
|
40
|
-
|
|
41
|
-
|
|
32
|
+
facts = measure_perf_stage(stages, 'facts') { @workspace.get_facts(uri) }
|
|
33
|
+
target = facts ? measure_perf_stage(stages, 'static_target') { resolve_static_type_reference_target(uri, token, facts) } : nil
|
|
34
|
+
if target
|
|
35
|
+
refs = measure_perf_stage(stages, 'static_refs') { static_type_method_references(target, include_declaration: include_declaration) }
|
|
36
|
+
result_count = refs.length
|
|
37
|
+
result_state = refs.empty? ? 'miss' : 'hit'
|
|
38
|
+
return refs
|
|
39
|
+
end
|
|
42
40
|
|
|
43
|
-
|
|
44
|
-
|
|
45
|
-
|
|
41
|
+
if facts
|
|
42
|
+
scoped_refs = measure_perf_stage(stages, 'scoped_refs') do
|
|
43
|
+
scoped_local_reference_locations(uri, token, lsp_line, lsp_char, facts, include_declaration: include_declaration)
|
|
44
|
+
end
|
|
45
|
+
unless scoped_refs.nil?
|
|
46
|
+
result_count = scoped_refs.length
|
|
47
|
+
result_state = scoped_refs.empty? ? 'miss' : 'hit'
|
|
48
|
+
return scoped_refs
|
|
49
|
+
end
|
|
46
50
|
end
|
|
47
|
-
|
|
48
|
-
|
|
49
|
-
|
|
50
|
-
|
|
51
|
+
|
|
52
|
+
level_kind = facts ? module_level_name?(facts, token.lexeme) : false
|
|
53
|
+
if level_kind
|
|
54
|
+
cross_file = true
|
|
55
|
+
refs = measure_perf_stage(stages, 'module_refs') { module_level_reference_locations(uri, token.lexeme, facts, include_declaration: include_declaration, cross_file_allowed: cross_file) }
|
|
56
|
+
result_count = refs.length
|
|
57
|
+
result_state = refs.empty? ? 'miss' : 'hit'
|
|
58
|
+
return refs
|
|
51
59
|
end
|
|
52
|
-
end
|
|
53
60
|
|
|
54
|
-
|
|
55
|
-
|
|
56
|
-
|
|
57
|
-
|
|
58
|
-
|
|
59
|
-
|
|
60
|
-
|
|
61
|
-
|
|
61
|
+
unless facts
|
|
62
|
+
ast = @workspace.get_ast(uri)
|
|
63
|
+
if ast && module_level_ast_name?(ast, token.lexeme)
|
|
64
|
+
refs = measure_perf_stage(stages, 'module_refs') { module_level_reference_locations(uri, token.lexeme, nil, include_declaration: include_declaration) }
|
|
65
|
+
result_count = refs.length
|
|
66
|
+
result_state = refs.empty? ? 'miss' : 'hit'
|
|
67
|
+
return refs
|
|
68
|
+
end
|
|
69
|
+
end
|
|
62
70
|
|
|
63
|
-
|
|
64
|
-
|
|
65
|
-
if ast && module_level_ast_name?(ast, token.lexeme)
|
|
66
|
-
refs = measure_perf_stage(stages, 'module_refs') { module_level_reference_locations(uri, token.lexeme, nil, include_declaration: include_declaration) }
|
|
71
|
+
refs = measure_perf_stage(stages, 'refs_scan') { @workspace.find_all_references(token.lexeme) }
|
|
72
|
+
if include_declaration
|
|
67
73
|
result_count = refs.length
|
|
68
74
|
result_state = refs.empty? ? 'miss' : 'hit'
|
|
69
75
|
return refs
|
|
70
76
|
end
|
|
71
|
-
end
|
|
72
|
-
|
|
73
|
-
refs = measure_perf_stage(stages, 'refs_scan') { @workspace.find_all_references(token.lexeme) }
|
|
74
|
-
if include_declaration
|
|
75
|
-
result_count = refs.length
|
|
76
|
-
result_state = refs.empty? ? 'miss' : 'hit'
|
|
77
|
-
return refs
|
|
78
|
-
end
|
|
79
77
|
|
|
80
|
-
|
|
81
|
-
|
|
82
|
-
|
|
83
|
-
|
|
84
|
-
|
|
85
|
-
|
|
78
|
+
found = measure_perf_stage(stages, 'definition_lookup') { @workspace.find_definition_token_global(token.lexeme, preferred_uri: uri) }
|
|
79
|
+
unless found
|
|
80
|
+
result_count = refs.length
|
|
81
|
+
result_state = refs.empty? ? 'miss' : 'hit'
|
|
82
|
+
return refs
|
|
83
|
+
end
|
|
86
84
|
|
|
87
|
-
|
|
88
|
-
|
|
89
|
-
|
|
90
|
-
|
|
91
|
-
|
|
92
|
-
|
|
93
|
-
|
|
94
|
-
|
|
85
|
+
def_uri = found[:uri]
|
|
86
|
+
def_line = found[:token].line - 1
|
|
87
|
+
def_char = found[:token].column - 1
|
|
88
|
+
filtered = measure_perf_stage(stages, 'filter') do
|
|
89
|
+
refs.reject do |r|
|
|
90
|
+
r[:uri] == def_uri &&
|
|
91
|
+
r[:range][:start][:line] == def_line &&
|
|
92
|
+
r[:range][:start][:character] == def_char
|
|
93
|
+
end
|
|
95
94
|
end
|
|
95
|
+
result_count = filtered.length
|
|
96
|
+
result_state = filtered.empty? ? 'miss' : 'hit'
|
|
97
|
+
filtered
|
|
98
|
+
rescue StandardError => e
|
|
99
|
+
result_state = 'error'
|
|
100
|
+
warn "Error in references handler: #{e.message}"
|
|
101
|
+
[]
|
|
102
|
+
ensure
|
|
103
|
+
log_request_stage_breakdown('textDocument/references', total_start, uri: uri, stages: stages, summary: "result=#{result_state} refs=#{result_count}")
|
|
96
104
|
end
|
|
97
|
-
result_count = filtered.length
|
|
98
|
-
result_state = filtered.empty? ? 'miss' : 'hit'
|
|
99
|
-
filtered
|
|
100
|
-
rescue StandardError => e
|
|
101
|
-
result_state = 'error'
|
|
102
|
-
warn "Error in references handler: #{e.message}"
|
|
103
|
-
[]
|
|
104
|
-
ensure
|
|
105
|
-
log_request_stage_breakdown('textDocument/references', total_start, uri: uri, stages: stages, summary: "result=#{result_state} refs=#{result_count}")
|
|
106
|
-
end
|
|
107
105
|
|
|
108
|
-
|
|
109
|
-
|
|
110
|
-
|
|
111
|
-
|
|
106
|
+
def handle_document_link(params)
|
|
107
|
+
uri = params['textDocument']['uri']
|
|
108
|
+
file_path = uri_to_path(uri)
|
|
109
|
+
return [] unless file_path
|
|
112
110
|
|
|
113
|
-
|
|
114
|
-
|
|
111
|
+
tokens = @workspace.get_tokens(uri)
|
|
112
|
+
return [] unless tokens
|
|
115
113
|
|
|
116
|
-
|
|
117
|
-
|
|
114
|
+
tokens.filter_map do |token|
|
|
115
|
+
resource_document_link(uri, file_path, token)
|
|
116
|
+
end
|
|
117
|
+
rescue StandardError => e
|
|
118
|
+
warn "Error in documentLink handler: #{e.message}"
|
|
119
|
+
[]
|
|
118
120
|
end
|
|
119
|
-
rescue StandardError => e
|
|
120
|
-
warn "Error in documentLink handler: #{e.message}"
|
|
121
|
-
[]
|
|
122
|
-
end
|
|
123
121
|
|
|
124
|
-
|
|
125
|
-
|
|
126
|
-
|
|
127
|
-
|
|
128
|
-
|
|
129
|
-
|
|
130
|
-
|
|
131
|
-
|
|
132
|
-
|
|
122
|
+
def handle_document_link_resolve(params)
|
|
123
|
+
target = params['target']
|
|
124
|
+
if target && target.start_with?('file://')
|
|
125
|
+
path = uri_to_path(target)
|
|
126
|
+
if path && File.file?(path)
|
|
127
|
+
first_line = File.open(path, &:readline).strip rescue nil
|
|
128
|
+
params.merge(
|
|
129
|
+
'tooltip' => first_line ? "#{path}\n#{first_line}" : path
|
|
130
|
+
)
|
|
131
|
+
else
|
|
132
|
+
params
|
|
133
|
+
end
|
|
133
134
|
else
|
|
134
135
|
params
|
|
135
136
|
end
|
|
136
|
-
|
|
137
|
+
rescue StandardError => e
|
|
138
|
+
warn "Error in documentLink/resolve handler: #{e.message}"
|
|
137
139
|
params
|
|
138
140
|
end
|
|
139
|
-
rescue StandardError => e
|
|
140
|
-
warn "Error in documentLink/resolve handler: #{e.message}"
|
|
141
|
-
params
|
|
142
|
-
end
|
|
143
|
-
|
|
144
|
-
def module_level_name?(facts, name)
|
|
145
|
-
return :function if facts.functions.key?(name) || facts.types.key?(name) || facts.values.key?(name)
|
|
146
141
|
|
|
147
|
-
facts
|
|
148
|
-
return :
|
|
149
|
-
end
|
|
142
|
+
def module_level_name?(facts, name)
|
|
143
|
+
return :function if facts.functions.key?(name) || facts.types.key?(name) || facts.values.key?(name)
|
|
150
144
|
|
|
151
|
-
|
|
152
|
-
|
|
153
|
-
return :interface_method
|
|
145
|
+
facts.methods.each_value do |methods|
|
|
146
|
+
return :method if methods.key?(name) || methods.key?("static:#{name}")
|
|
154
147
|
end
|
|
155
|
-
end
|
|
156
148
|
|
|
157
|
-
|
|
158
|
-
|
|
159
|
-
|
|
160
|
-
|
|
161
|
-
|
|
162
|
-
result.is_a?(Symbol) ? result : nil
|
|
163
|
-
end
|
|
149
|
+
facts.interfaces.each_value do |interface|
|
|
150
|
+
if interface.respond_to?(:methods) && interface.methods.key?(name)
|
|
151
|
+
return :interface_method
|
|
152
|
+
end
|
|
153
|
+
end
|
|
164
154
|
|
|
165
|
-
|
|
166
|
-
each_ast_node(ast) do |node|
|
|
167
|
-
return true if module_level_declaration_node?(node) && node.respond_to?(:name) && node.name == name
|
|
155
|
+
false
|
|
168
156
|
end
|
|
169
|
-
false
|
|
170
|
-
end
|
|
171
157
|
|
|
172
|
-
|
|
173
|
-
|
|
174
|
-
|
|
158
|
+
def module_level_name_kind(facts, name)
|
|
159
|
+
result = module_level_name?(facts, name)
|
|
160
|
+
result.is_a?(Symbol) ? result : nil
|
|
161
|
+
end
|
|
175
162
|
|
|
176
|
-
|
|
177
|
-
binding_ids = facts ? facts.binding_resolution&.identifier_binding_ids : nil
|
|
178
|
-
local_bid_set = nil
|
|
179
|
-
if binding_ids && facts&.binding_resolution
|
|
180
|
-
resolution = facts.binding_resolution
|
|
181
|
-
local_bid_set = Set.new
|
|
163
|
+
def module_level_ast_name?(ast, name)
|
|
182
164
|
each_ast_node(ast) do |node|
|
|
183
|
-
|
|
184
|
-
bid = resolution.declaration_binding_ids[node.object_id]
|
|
185
|
-
local_bid_set << bid if bid
|
|
165
|
+
return true if module_level_declaration_node?(node) && node.respond_to?(:name) && node.name == name
|
|
186
166
|
end
|
|
167
|
+
false
|
|
187
168
|
end
|
|
188
|
-
each_ast_node(ast) do |node|
|
|
189
|
-
if node.is_a?(AST::Identifier) && node.name == name
|
|
190
|
-
if binding_ids&.key?(node.object_id)
|
|
191
|
-
bid = binding_ids[node.object_id]
|
|
192
|
-
next if local_bid_set&.include?(bid)
|
|
193
|
-
end
|
|
194
169
|
|
|
195
|
-
|
|
196
|
-
|
|
197
|
-
|
|
198
|
-
|
|
199
|
-
|
|
200
|
-
|
|
201
|
-
|
|
202
|
-
|
|
203
|
-
|
|
204
|
-
|
|
205
|
-
|
|
206
|
-
|
|
207
|
-
|
|
208
|
-
|
|
170
|
+
def module_level_reference_locations(uri, name, facts, include_declaration:, cross_file_allowed: true)
|
|
171
|
+
ast = @workspace.get_ast(uri)
|
|
172
|
+
return [] unless ast
|
|
173
|
+
|
|
174
|
+
results = []
|
|
175
|
+
binding_ids = facts ? facts.binding_resolution&.identifier_binding_ids : nil
|
|
176
|
+
local_bid_set = nil
|
|
177
|
+
if binding_ids && facts&.binding_resolution
|
|
178
|
+
resolution = facts.binding_resolution
|
|
179
|
+
local_bid_set = Set.new
|
|
180
|
+
each_ast_node(ast) do |node|
|
|
181
|
+
next unless local_binding_declaration_node?(node)
|
|
182
|
+
bid = resolution.declaration_binding_ids[node.object_id]
|
|
183
|
+
local_bid_set << bid if bid
|
|
209
184
|
end
|
|
210
|
-
next unless range
|
|
211
|
-
|
|
212
|
-
results << {
|
|
213
|
-
uri: uri,
|
|
214
|
-
range: {
|
|
215
|
-
start: { line: range[:line] - 1, character: range[:column] - 1 },
|
|
216
|
-
end: { line: range[:line] - 1, character: range[:column] - 1 + name.length },
|
|
217
|
-
},
|
|
218
|
-
}
|
|
219
|
-
elsif node.is_a?(AST::MemberAccess) && node.member == name && node.line && node.column
|
|
220
|
-
member_col = node.column - 1
|
|
221
|
-
results << {
|
|
222
|
-
uri: uri,
|
|
223
|
-
range: {
|
|
224
|
-
start: { line: node.line - 1, character: member_col },
|
|
225
|
-
end: { line: node.line - 1, character: member_col + name.length },
|
|
226
|
-
},
|
|
227
|
-
}
|
|
228
185
|
end
|
|
229
|
-
|
|
186
|
+
each_ast_node(ast) do |node|
|
|
187
|
+
if node.is_a?(AST::Identifier) && node.name == name
|
|
188
|
+
if binding_ids&.key?(node.object_id)
|
|
189
|
+
bid = binding_ids[node.object_id]
|
|
190
|
+
next if local_bid_set&.include?(bid)
|
|
191
|
+
end
|
|
230
192
|
|
|
231
|
-
|
|
232
|
-
|
|
233
|
-
|
|
234
|
-
|
|
235
|
-
|
|
193
|
+
range = ast_name_range(node.name, node.line, node.column)
|
|
194
|
+
next unless range
|
|
195
|
+
|
|
196
|
+
results << {
|
|
197
|
+
uri: uri,
|
|
198
|
+
range: {
|
|
199
|
+
start: { line: range[:line] - 1, character: range[:column] - 1 },
|
|
200
|
+
end: { line: range[:line] - 1, character: range[:column] - 1 + name.length },
|
|
201
|
+
},
|
|
202
|
+
}
|
|
203
|
+
elsif include_declaration && node.respond_to?(:name) && node.name == name && module_level_declaration_node?(node)
|
|
204
|
+
range = declaration_name_range(node)
|
|
205
|
+
unless range
|
|
206
|
+
range = declaration_name_range_fallback(node, uri, name)
|
|
207
|
+
end
|
|
208
|
+
next unless range
|
|
209
|
+
|
|
210
|
+
results << {
|
|
211
|
+
uri: uri,
|
|
212
|
+
range: {
|
|
213
|
+
start: { line: range[:line] - 1, character: range[:column] - 1 },
|
|
214
|
+
end: { line: range[:line] - 1, character: range[:column] - 1 + name.length },
|
|
215
|
+
},
|
|
216
|
+
}
|
|
217
|
+
elsif node.is_a?(AST::MemberAccess) && node.member == name && node.line && node.column
|
|
218
|
+
member_col = node.column - 1
|
|
219
|
+
results << {
|
|
220
|
+
uri: uri,
|
|
221
|
+
range: {
|
|
222
|
+
start: { line: node.line - 1, character: member_col },
|
|
223
|
+
end: { line: node.line - 1, character: member_col + name.length },
|
|
224
|
+
},
|
|
225
|
+
}
|
|
226
|
+
end
|
|
236
227
|
end
|
|
237
|
-
end
|
|
238
228
|
|
|
239
|
-
|
|
240
|
-
|
|
229
|
+
if cross_file_allowed && facts&.module_name
|
|
230
|
+
importing_uris = @workspace.reverse_import_dependents_for(facts.module_name)
|
|
231
|
+
if importing_uris && !importing_uris.empty?
|
|
232
|
+
cross_refs = @workspace.find_all_references_in(name, importing_uris.to_a - [uri])
|
|
233
|
+
results.concat(cross_refs) if cross_refs
|
|
234
|
+
end
|
|
235
|
+
end
|
|
241
236
|
|
|
242
|
-
|
|
243
|
-
|
|
244
|
-
return nil unless content
|
|
237
|
+
results.uniq { |r| [r[:uri], r.dig(:range, :start, :line), r.dig(:range, :start, :character)] }
|
|
238
|
+
end
|
|
245
239
|
|
|
246
|
-
|
|
247
|
-
|
|
248
|
-
|
|
249
|
-
end
|
|
240
|
+
def get_content_line(uri, lsp_line)
|
|
241
|
+
content = @workspace.get_content(uri)
|
|
242
|
+
return nil unless content
|
|
250
243
|
|
|
251
|
-
|
|
252
|
-
|
|
253
|
-
|
|
254
|
-
idx += 1
|
|
244
|
+
content.split("\n", -1)[lsp_line]
|
|
245
|
+
rescue StandardError
|
|
246
|
+
nil
|
|
255
247
|
end
|
|
256
248
|
|
|
257
|
-
|
|
258
|
-
|
|
249
|
+
def find_member_column_in_line(line, receiver_start_col, member_name)
|
|
250
|
+
idx = receiver_start_col
|
|
251
|
+
while idx < line.length && line[idx] =~ /[A-Za-z0-9_.]/
|
|
252
|
+
idx += 1
|
|
253
|
+
end
|
|
259
254
|
|
|
260
|
-
|
|
261
|
-
|
|
262
|
-
return nil unless match == member_name
|
|
255
|
+
dot_idx = line.index('.', receiver_start_col)
|
|
256
|
+
return nil unless dot_idx && dot_idx < idx
|
|
263
257
|
|
|
264
|
-
|
|
265
|
-
|
|
258
|
+
member_start = dot_idx + 1
|
|
259
|
+
match = line[member_start, member_name.length]
|
|
260
|
+
return nil unless match == member_name
|
|
266
261
|
|
|
267
|
-
|
|
268
|
-
|
|
269
|
-
node.is_a?(AST::MethodDef) ||
|
|
270
|
-
node.is_a?(AST::InterfaceMethodDecl) ||
|
|
271
|
-
node.is_a?(AST::ExternFunctionDecl) ||
|
|
272
|
-
node.is_a?(AST::ForeignFunctionDecl) ||
|
|
273
|
-
node.is_a?(AST::ConstDecl) ||
|
|
274
|
-
node.is_a?(AST::VarDecl) ||
|
|
275
|
-
node.is_a?(AST::TypeAliasDecl) ||
|
|
276
|
-
node.is_a?(AST::StructDecl) ||
|
|
277
|
-
node.is_a?(AST::UnionDecl) ||
|
|
278
|
-
node.is_a?(AST::EnumDecl) ||
|
|
279
|
-
node.is_a?(AST::FlagsDecl) ||
|
|
280
|
-
node.is_a?(AST::OpaqueDecl)
|
|
281
|
-
end
|
|
262
|
+
member_start
|
|
263
|
+
end
|
|
282
264
|
|
|
283
|
-
|
|
284
|
-
|
|
265
|
+
def module_level_declaration_node?(node)
|
|
266
|
+
node.is_a?(AST::FunctionDef) ||
|
|
267
|
+
node.is_a?(AST::MethodDef) ||
|
|
268
|
+
node.is_a?(AST::InterfaceMethodDecl) ||
|
|
269
|
+
node.is_a?(AST::ExternFunctionDecl) ||
|
|
270
|
+
node.is_a?(AST::ForeignFunctionDecl) ||
|
|
271
|
+
node.is_a?(AST::ConstDecl) ||
|
|
272
|
+
node.is_a?(AST::VarDecl) ||
|
|
273
|
+
node.is_a?(AST::TypeAliasDecl) ||
|
|
274
|
+
node.is_a?(AST::StructDecl) ||
|
|
275
|
+
node.is_a?(AST::UnionDecl) ||
|
|
276
|
+
node.is_a?(AST::EnumDecl) ||
|
|
277
|
+
node.is_a?(AST::FlagsDecl) ||
|
|
278
|
+
node.is_a?(AST::OpaqueDecl)
|
|
279
|
+
end
|
|
285
280
|
|
|
286
|
-
|
|
287
|
-
|
|
281
|
+
def declaration_name_range_fallback(node, uri, name)
|
|
282
|
+
return nil unless node.line
|
|
288
283
|
|
|
289
|
-
|
|
290
|
-
|
|
284
|
+
row = get_content_line(uri, node.line - 1)
|
|
285
|
+
return nil unless row
|
|
291
286
|
|
|
292
|
-
|
|
293
|
-
|
|
294
|
-
|
|
295
|
-
|
|
287
|
+
col = row.index(/\b#{Regexp.escape(name)}\b/)
|
|
288
|
+
return nil unless col
|
|
289
|
+
|
|
290
|
+
{ name: name, line: node.line, column: col + 1, length: name.length }
|
|
291
|
+
rescue StandardError
|
|
292
|
+
nil
|
|
293
|
+
end
|
|
296
294
|
|
|
297
|
-
|
|
298
|
-
|
|
299
|
-
|
|
300
|
-
|
|
295
|
+
def handle_document_highlight(params)
|
|
296
|
+
uri = params['textDocument']['uri']
|
|
297
|
+
lsp_line = params['position']['line']
|
|
298
|
+
lsp_char = params['position']['character']
|
|
301
299
|
|
|
302
|
-
|
|
303
|
-
|
|
300
|
+
token = @workspace.find_token_at(uri, lsp_line, lsp_char)
|
|
301
|
+
return [] unless token&.type == :identifier
|
|
304
302
|
|
|
305
|
-
|
|
306
|
-
|
|
307
|
-
|
|
308
|
-
|
|
309
|
-
|
|
310
|
-
|
|
311
|
-
|
|
312
|
-
|
|
313
|
-
|
|
303
|
+
if (facts = @workspace.get_facts(uri))
|
|
304
|
+
scoped = begin
|
|
305
|
+
scoped_local_reference_locations(uri, token, lsp_line, lsp_char, facts, include_declaration: true)
|
|
306
|
+
rescue StandardError
|
|
307
|
+
nil
|
|
308
|
+
end
|
|
309
|
+
unless scoped.nil?
|
|
310
|
+
return scoped.map { |entry| { range: entry[:range], kind: 1 } }
|
|
311
|
+
end
|
|
314
312
|
|
|
315
|
-
|
|
316
|
-
|
|
317
|
-
rescue StandardError
|
|
318
|
-
nil
|
|
319
|
-
end
|
|
320
|
-
if binding_id
|
|
321
|
-
ranges = begin
|
|
322
|
-
scoped_binding_occurrence_ranges(uri, token.lexeme, facts, binding_id, include_declaration: true)
|
|
313
|
+
binding_id = begin
|
|
314
|
+
rename_target_binding_id(uri, token, lsp_line, lsp_char, facts)
|
|
323
315
|
rescue StandardError
|
|
324
|
-
|
|
316
|
+
nil
|
|
325
317
|
end
|
|
326
|
-
|
|
327
|
-
|
|
328
|
-
|
|
329
|
-
|
|
330
|
-
|
|
331
|
-
|
|
332
|
-
|
|
333
|
-
|
|
334
|
-
|
|
318
|
+
if binding_id
|
|
319
|
+
ranges = begin
|
|
320
|
+
scoped_binding_occurrence_ranges(uri, token.lexeme, facts, binding_id, include_declaration: true)
|
|
321
|
+
rescue StandardError
|
|
322
|
+
[]
|
|
323
|
+
end
|
|
324
|
+
unless ranges.empty?
|
|
325
|
+
return ranges.map do |range|
|
|
326
|
+
{
|
|
327
|
+
range: {
|
|
328
|
+
start: { line: range[:line] - 1, character: range[:column] - 1 },
|
|
329
|
+
end: { line: range[:line] - 1, character: range[:column] - 1 + range[:length] },
|
|
330
|
+
},
|
|
331
|
+
kind: 1,
|
|
332
|
+
}
|
|
333
|
+
end
|
|
335
334
|
end
|
|
336
335
|
end
|
|
337
336
|
end
|
|
338
|
-
end
|
|
339
337
|
|
|
340
|
-
|
|
341
|
-
|
|
342
|
-
|
|
343
|
-
|
|
344
|
-
|
|
345
|
-
|
|
346
|
-
|
|
338
|
+
toks = @workspace.get_tokens(uri) || []
|
|
339
|
+
toks.select { |t| t.type == :identifier && t.lexeme == token.lexeme }
|
|
340
|
+
.map { |t| { range: token_to_range(t), kind: 1 } }
|
|
341
|
+
rescue StandardError => e
|
|
342
|
+
warn "Error in documentHighlight handler: #{e.message}"
|
|
343
|
+
[]
|
|
344
|
+
end
|
|
347
345
|
|
|
348
|
-
|
|
349
|
-
|
|
346
|
+
def handle_workspace_symbol(params)
|
|
347
|
+
query = (params['query'] || '').downcase
|
|
350
348
|
|
|
351
|
-
|
|
349
|
+
@workspace.index_workspace(@root_uri) if @root_uri
|
|
352
350
|
|
|
353
|
-
|
|
354
|
-
|
|
355
|
-
|
|
356
|
-
|
|
351
|
+
results = []
|
|
352
|
+
@workspace.all_documents.each do |uri|
|
|
353
|
+
@workspace.get_symbols(uri).each do |sym|
|
|
354
|
+
next unless query.empty? || sym[:name].downcase.include?(query)
|
|
357
355
|
|
|
358
|
-
|
|
356
|
+
results << format_symbol(sym, uri)
|
|
357
|
+
end
|
|
359
358
|
end
|
|
360
|
-
end
|
|
361
359
|
|
|
362
|
-
|
|
363
|
-
|
|
364
|
-
|
|
365
|
-
|
|
366
|
-
|
|
360
|
+
results
|
|
361
|
+
rescue StandardError => e
|
|
362
|
+
warn "Error in workspace/symbol handler: #{e.message}"
|
|
363
|
+
[]
|
|
364
|
+
end
|
|
367
365
|
|
|
368
|
-
|
|
369
|
-
|
|
366
|
+
def resource_document_link(uri, file_path, token)
|
|
367
|
+
return nil unless [:string, :cstring].include?(token.type)
|
|
370
368
|
|
|
371
|
-
|
|
372
|
-
|
|
373
|
-
|
|
369
|
+
literal = token.literal
|
|
370
|
+
return nil unless literal.is_a?(String)
|
|
371
|
+
return nil unless path_like_string_literal?(literal)
|
|
374
372
|
|
|
375
|
-
|
|
376
|
-
|
|
373
|
+
resolved_path = resolve_document_link_path(file_path, literal)
|
|
374
|
+
return nil unless resolved_path
|
|
377
375
|
|
|
378
|
-
|
|
379
|
-
|
|
380
|
-
|
|
381
|
-
|
|
382
|
-
|
|
383
|
-
|
|
376
|
+
{
|
|
377
|
+
range: token_to_range(token),
|
|
378
|
+
target: path_to_uri(resolved_path),
|
|
379
|
+
tooltip: "Open linked file"
|
|
380
|
+
}
|
|
381
|
+
end
|
|
384
382
|
|
|
385
|
-
|
|
386
|
-
|
|
387
|
-
|
|
383
|
+
def path_like_string_literal?(literal)
|
|
384
|
+
literal.include?('/') || literal.include?(File::SEPARATOR)
|
|
385
|
+
end
|
|
388
386
|
|
|
389
|
-
|
|
390
|
-
|
|
391
|
-
|
|
392
|
-
|
|
393
|
-
|
|
394
|
-
|
|
395
|
-
|
|
396
|
-
|
|
397
|
-
|
|
398
|
-
|
|
399
|
-
|
|
400
|
-
|
|
401
|
-
|
|
387
|
+
def resolve_document_link_path(source_path, literal)
|
|
388
|
+
base_dir = File.dirname(source_path)
|
|
389
|
+
candidate = if Pathname.new(literal).absolute?
|
|
390
|
+
literal
|
|
391
|
+
else
|
|
392
|
+
File.expand_path(literal, base_dir)
|
|
393
|
+
end
|
|
394
|
+
return nil unless File.exist?(candidate)
|
|
395
|
+
|
|
396
|
+
candidate
|
|
397
|
+
rescue StandardError
|
|
398
|
+
nil
|
|
399
|
+
end
|
|
402
400
|
end
|
|
403
401
|
def named_argument_label_references(uri, name, tokens, token_index, include_declaration:, stages: nil)
|
|
404
402
|
return nil unless named_argument_label_token?(tokens, token_index)
|