solargraph 0.58.1 → 0.59.0.dev.1

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.
Files changed (162) hide show
  1. checksums.yaml +4 -4
  2. data/.envrc +3 -0
  3. data/.github/workflows/linting.yml +4 -5
  4. data/.github/workflows/plugins.yml +40 -36
  5. data/.github/workflows/rspec.yml +45 -13
  6. data/.github/workflows/typecheck.yml +2 -2
  7. data/.rubocop_todo.yml +27 -49
  8. data/README.md +3 -3
  9. data/Rakefile +1 -0
  10. data/lib/solargraph/api_map/cache.rb +110 -110
  11. data/lib/solargraph/api_map/constants.rb +289 -279
  12. data/lib/solargraph/api_map/index.rb +204 -193
  13. data/lib/solargraph/api_map/source_to_yard.rb +109 -97
  14. data/lib/solargraph/api_map/store.rb +387 -384
  15. data/lib/solargraph/api_map.rb +1000 -945
  16. data/lib/solargraph/complex_type/conformance.rb +176 -0
  17. data/lib/solargraph/complex_type/type_methods.rb +242 -228
  18. data/lib/solargraph/complex_type/unique_type.rb +632 -482
  19. data/lib/solargraph/complex_type.rb +549 -444
  20. data/lib/solargraph/convention/data_definition/data_definition_node.rb +93 -91
  21. data/lib/solargraph/convention/data_definition.rb +108 -105
  22. data/lib/solargraph/convention/struct_definition/struct_assignment_node.rb +62 -61
  23. data/lib/solargraph/convention/struct_definition/struct_definition_node.rb +103 -102
  24. data/lib/solargraph/convention/struct_definition.rb +168 -164
  25. data/lib/solargraph/diagnostics/require_not_found.rb +54 -53
  26. data/lib/solargraph/diagnostics/rubocop.rb +119 -118
  27. data/lib/solargraph/diagnostics/rubocop_helpers.rb +70 -68
  28. data/lib/solargraph/diagnostics/type_check.rb +56 -55
  29. data/lib/solargraph/doc_map.rb +200 -439
  30. data/lib/solargraph/equality.rb +34 -34
  31. data/lib/solargraph/gem_pins.rb +97 -98
  32. data/lib/solargraph/language_server/host/dispatch.rb +131 -130
  33. data/lib/solargraph/language_server/host/message_worker.rb +113 -112
  34. data/lib/solargraph/language_server/host/sources.rb +100 -99
  35. data/lib/solargraph/language_server/host.rb +883 -878
  36. data/lib/solargraph/language_server/message/extended/check_gem_version.rb +109 -114
  37. data/lib/solargraph/language_server/message/extended/document.rb +24 -23
  38. data/lib/solargraph/language_server/message/text_document/completion.rb +58 -56
  39. data/lib/solargraph/language_server/message/text_document/definition.rb +42 -40
  40. data/lib/solargraph/language_server/message/text_document/document_symbol.rb +28 -26
  41. data/lib/solargraph/language_server/message/text_document/formatting.rb +150 -148
  42. data/lib/solargraph/language_server/message/text_document/hover.rb +60 -58
  43. data/lib/solargraph/language_server/message/text_document/signature_help.rb +25 -24
  44. data/lib/solargraph/language_server/message/text_document/type_definition.rb +27 -25
  45. data/lib/solargraph/language_server/message/workspace/workspace_symbol.rb +25 -23
  46. data/lib/solargraph/library.rb +729 -683
  47. data/lib/solargraph/location.rb +87 -82
  48. data/lib/solargraph/logging.rb +57 -37
  49. data/lib/solargraph/parser/comment_ripper.rb +76 -69
  50. data/lib/solargraph/parser/flow_sensitive_typing.rb +483 -255
  51. data/lib/solargraph/parser/node_processor/base.rb +122 -92
  52. data/lib/solargraph/parser/node_processor.rb +63 -62
  53. data/lib/solargraph/parser/parser_gem/class_methods.rb +167 -149
  54. data/lib/solargraph/parser/parser_gem/node_chainer.rb +191 -166
  55. data/lib/solargraph/parser/parser_gem/node_methods.rb +506 -486
  56. data/lib/solargraph/parser/parser_gem/node_processors/and_node.rb +22 -22
  57. data/lib/solargraph/parser/parser_gem/node_processors/args_node.rb +61 -59
  58. data/lib/solargraph/parser/parser_gem/node_processors/begin_node.rb +24 -15
  59. data/lib/solargraph/parser/parser_gem/node_processors/block_node.rb +46 -46
  60. data/lib/solargraph/parser/parser_gem/node_processors/def_node.rb +60 -53
  61. data/lib/solargraph/parser/parser_gem/node_processors/if_node.rb +53 -23
  62. data/lib/solargraph/parser/parser_gem/node_processors/ivasgn_node.rb +41 -40
  63. data/lib/solargraph/parser/parser_gem/node_processors/lvasgn_node.rb +30 -29
  64. data/lib/solargraph/parser/parser_gem/node_processors/masgn_node.rb +61 -59
  65. data/lib/solargraph/parser/parser_gem/node_processors/opasgn_node.rb +98 -98
  66. data/lib/solargraph/parser/parser_gem/node_processors/or_node.rb +22 -0
  67. data/lib/solargraph/parser/parser_gem/node_processors/orasgn_node.rb +17 -17
  68. data/lib/solargraph/parser/parser_gem/node_processors/resbody_node.rb +39 -38
  69. data/lib/solargraph/parser/parser_gem/node_processors/sclass_node.rb +53 -52
  70. data/lib/solargraph/parser/parser_gem/node_processors/send_node.rb +296 -291
  71. data/lib/solargraph/parser/parser_gem/node_processors/when_node.rb +23 -0
  72. data/lib/solargraph/parser/parser_gem/node_processors/while_node.rb +33 -29
  73. data/lib/solargraph/parser/parser_gem/node_processors.rb +74 -70
  74. data/lib/solargraph/parser/region.rb +75 -69
  75. data/lib/solargraph/parser/snippet.rb +17 -17
  76. data/lib/solargraph/pin/base.rb +761 -729
  77. data/lib/solargraph/pin/base_variable.rb +418 -126
  78. data/lib/solargraph/pin/block.rb +126 -104
  79. data/lib/solargraph/pin/breakable.rb +13 -9
  80. data/lib/solargraph/pin/callable.rb +278 -231
  81. data/lib/solargraph/pin/closure.rb +68 -72
  82. data/lib/solargraph/pin/common.rb +94 -79
  83. data/lib/solargraph/pin/compound_statement.rb +55 -0
  84. data/lib/solargraph/pin/conversions.rb +124 -123
  85. data/lib/solargraph/pin/delegated_method.rb +131 -120
  86. data/lib/solargraph/pin/documenting.rb +115 -114
  87. data/lib/solargraph/pin/instance_variable.rb +38 -34
  88. data/lib/solargraph/pin/keyword.rb +16 -20
  89. data/lib/solargraph/pin/local_variable.rb +31 -75
  90. data/lib/solargraph/pin/method.rb +720 -672
  91. data/lib/solargraph/pin/method_alias.rb +42 -34
  92. data/lib/solargraph/pin/namespace.rb +121 -115
  93. data/lib/solargraph/pin/parameter.rb +338 -275
  94. data/lib/solargraph/pin/proxy_type.rb +40 -39
  95. data/lib/solargraph/pin/reference/override.rb +47 -47
  96. data/lib/solargraph/pin/reference/superclass.rb +17 -15
  97. data/lib/solargraph/pin/reference.rb +41 -39
  98. data/lib/solargraph/pin/search.rb +62 -61
  99. data/lib/solargraph/pin/signature.rb +69 -61
  100. data/lib/solargraph/pin/symbol.rb +53 -53
  101. data/lib/solargraph/pin/until.rb +18 -18
  102. data/lib/solargraph/pin/while.rb +18 -18
  103. data/lib/solargraph/pin.rb +46 -44
  104. data/lib/solargraph/pin_cache.rb +665 -245
  105. data/lib/solargraph/position.rb +118 -119
  106. data/lib/solargraph/range.rb +112 -112
  107. data/lib/solargraph/rbs_map/conversions.rb +846 -823
  108. data/lib/solargraph/rbs_map/core_map.rb +65 -58
  109. data/lib/solargraph/rbs_map/stdlib_map.rb +72 -43
  110. data/lib/solargraph/rbs_map.rb +217 -163
  111. data/lib/solargraph/shell.rb +397 -352
  112. data/lib/solargraph/source/chain/call.rb +372 -337
  113. data/lib/solargraph/source/chain/constant.rb +28 -26
  114. data/lib/solargraph/source/chain/hash.rb +35 -34
  115. data/lib/solargraph/source/chain/if.rb +29 -28
  116. data/lib/solargraph/source/chain/instance_variable.rb +34 -13
  117. data/lib/solargraph/source/chain/literal.rb +53 -48
  118. data/lib/solargraph/source/chain/or.rb +31 -23
  119. data/lib/solargraph/source/chain.rb +294 -291
  120. data/lib/solargraph/source/change.rb +89 -82
  121. data/lib/solargraph/source/cursor.rb +172 -166
  122. data/lib/solargraph/source/source_chainer.rb +204 -194
  123. data/lib/solargraph/source/updater.rb +59 -55
  124. data/lib/solargraph/source.rb +524 -498
  125. data/lib/solargraph/source_map/clip.rb +237 -226
  126. data/lib/solargraph/source_map/data.rb +37 -34
  127. data/lib/solargraph/source_map/mapper.rb +282 -259
  128. data/lib/solargraph/source_map.rb +220 -212
  129. data/lib/solargraph/type_checker/problem.rb +34 -32
  130. data/lib/solargraph/type_checker/rules.rb +157 -84
  131. data/lib/solargraph/type_checker.rb +895 -814
  132. data/lib/solargraph/version.rb +1 -1
  133. data/lib/solargraph/workspace/config.rb +257 -255
  134. data/lib/solargraph/workspace/gemspecs.rb +367 -0
  135. data/lib/solargraph/workspace/require_paths.rb +98 -97
  136. data/lib/solargraph/workspace.rb +362 -220
  137. data/lib/solargraph/yard_map/helpers.rb +45 -44
  138. data/lib/solargraph/yard_map/mapper/to_method.rb +134 -130
  139. data/lib/solargraph/yard_map/mapper/to_namespace.rb +32 -31
  140. data/lib/solargraph/yard_map/mapper.rb +84 -79
  141. data/lib/solargraph/yardoc.rb +97 -87
  142. data/lib/solargraph.rb +126 -105
  143. data/rbs/fills/rubygems/0/dependency.rbs +193 -0
  144. data/rbs/fills/tuple/tuple.rbs +28 -0
  145. data/rbs/shims/ast/0/node.rbs +5 -0
  146. data/rbs/shims/diff-lcs/1.5/diff-lcs.rbs +11 -0
  147. data/rbs_collection.yaml +1 -1
  148. data/solargraph.gemspec +2 -1
  149. metadata +22 -17
  150. data/lib/solargraph/type_checker/checks.rb +0 -124
  151. data/lib/solargraph/type_checker/param_def.rb +0 -37
  152. data/lib/solargraph/yard_map/to_method.rb +0 -89
  153. data/sig/shims/ast/0/node.rbs +0 -5
  154. /data/{sig → rbs}/shims/ast/2.4/.rbs_meta.yaml +0 -0
  155. /data/{sig → rbs}/shims/ast/2.4/ast.rbs +0 -0
  156. /data/{sig → rbs}/shims/parser/3.2.0.1/builders/default.rbs +0 -0
  157. /data/{sig → rbs}/shims/parser/3.2.0.1/manifest.yaml +0 -0
  158. /data/{sig → rbs}/shims/parser/3.2.0.1/parser.rbs +0 -0
  159. /data/{sig → rbs}/shims/parser/3.2.0.1/polyfill.rbs +0 -0
  160. /data/{sig → rbs}/shims/thor/1.2.0.1/.rbs_meta.yaml +0 -0
  161. /data/{sig → rbs}/shims/thor/1.2.0.1/manifest.yaml +0 -0
  162. /data/{sig → rbs}/shims/thor/1.2.0.1/thor.rbs +0 -0
@@ -1,352 +1,397 @@
1
- # frozen_string_literal: true
2
-
3
- require 'benchmark'
4
- require 'thor'
5
- require 'yard'
6
-
7
- module Solargraph
8
- class Shell < Thor
9
- include Solargraph::ServerMethods
10
-
11
- # Tell Thor to ensure the process exits with status 1 if any error happens.
12
- def self.exit_on_failure?
13
- true
14
- end
15
-
16
- map %w[--version -v] => :version
17
-
18
- desc "--version, -v", "Print the version"
19
- # @return [void]
20
- def version
21
- puts Solargraph::VERSION
22
- end
23
-
24
- desc 'socket', 'Run a Solargraph socket server'
25
- option :host, type: :string, aliases: :h, desc: 'The server host', default: '127.0.0.1'
26
- option :port, type: :numeric, aliases: :p, desc: 'The server port', default: 7658
27
- # @return [void]
28
- def socket
29
- require 'backport'
30
- port = options[:port]
31
- port = available_port if port.zero?
32
- Backport.run do
33
- Signal.trap("INT") do
34
- Backport.stop
35
- end
36
- Signal.trap("TERM") do
37
- Backport.stop
38
- end
39
- # @sg-ignore Wrong argument type for Backport.prepare_tcp_server: adapter expected Backport::Adapter, received Module<Solargraph::LanguageServer::Transport::Adapter>
40
- Backport.prepare_tcp_server host: options[:host], port: port, adapter: Solargraph::LanguageServer::Transport::Adapter
41
- STDERR.puts "Solargraph is listening PORT=#{port} PID=#{Process.pid}"
42
- end
43
- end
44
-
45
- desc 'stdio', 'Run a Solargraph stdio server'
46
- # @return [void]
47
- def stdio
48
- require 'backport'
49
- Backport.run do
50
- Signal.trap("INT") do
51
- Backport.stop
52
- end
53
- Signal.trap("TERM") do
54
- Backport.stop
55
- end
56
- # @sg-ignore Wrong argument type for Backport.prepare_stdio_server: adapter expected Backport::Adapter, received Module<Solargraph::LanguageServer::Transport::Adapter>
57
- Backport.prepare_stdio_server adapter: Solargraph::LanguageServer::Transport::Adapter
58
- STDERR.puts "Solargraph is listening on stdio PID=#{Process.pid}"
59
- end
60
- end
61
-
62
- desc 'config [DIRECTORY]', 'Create or overwrite a default configuration file'
63
- option :extensions, type: :boolean, aliases: :e, desc: 'Add installed extensions', default: true
64
- # @param directory [String]
65
- # @return [void]
66
- def config(directory = '.')
67
- matches = []
68
- if options[:extensions]
69
- Gem::Specification.each do |g|
70
- if g.name.match(/^solargraph\-[A-Za-z0-9_\-]*?\-ext/)
71
- require g.name
72
- matches.push g.name
73
- end
74
- end
75
- end
76
- conf = Solargraph::Workspace::Config.new.raw_data
77
- unless matches.empty?
78
- matches.each do |m|
79
- conf['extensions'].push m
80
- end
81
- end
82
- # @param file [File]
83
- File.open(File.join(directory, '.solargraph.yml'), 'w') do |file|
84
- file.puts conf.to_yaml
85
- end
86
- STDOUT.puts "Configuration file initialized."
87
- end
88
-
89
- desc 'clear', 'Delete all cached documentation'
90
- long_desc %(
91
- This command will delete all core and gem documentation from the cache.
92
- )
93
- # @return [void]
94
- def clear
95
- puts "Deleting all cached documentation (gems, core and stdlib)"
96
- Solargraph::PinCache.clear
97
- end
98
- map 'clear-cache' => :clear
99
- map 'clear-cores' => :clear
100
-
101
- desc 'cache', 'Cache a gem', hide: true
102
- option :rebuild, type: :boolean, desc: 'Rebuild existing documentation', default: false
103
- # @return [void]
104
- # @param gem [String]
105
- # @param version [String, nil]
106
- def cache gem, version = nil
107
- api_map = Solargraph::ApiMap.load(Dir.pwd)
108
- spec = Gem::Specification.find_by_name(gem, version)
109
- api_map.cache_gem(spec, rebuild: options[:rebuild], out: $stdout)
110
- end
111
-
112
- desc 'uncache GEM [...GEM]', "Delete specific cached gem documentation"
113
- long_desc %(
114
- Specify one or more gem names to clear. 'core' or 'stdlib' may
115
- also be specified to clear cached system documentation.
116
- Documentation will be regenerated as needed.
117
- )
118
- # @param gems [Array<String>]
119
- # @return [void]
120
- def uncache *gems
121
- raise ArgumentError, 'No gems specified.' if gems.empty?
122
- gems.each do |gem|
123
- if gem == 'core'
124
- PinCache.uncache_core
125
- next
126
- end
127
-
128
- if gem == 'stdlib'
129
- PinCache.uncache_stdlib
130
- next
131
- end
132
-
133
- spec = Gem::Specification.find_by_name(gem)
134
- PinCache.uncache_gem(spec, out: $stdout)
135
- end
136
- end
137
-
138
- desc 'gems [GEM[=VERSION]]', 'Cache documentation for installed gems'
139
- option :rebuild, type: :boolean, desc: 'Rebuild existing documentation', default: false
140
- # @param names [Array<String>]
141
- # @return [void]
142
- def gems *names
143
- api_map = ApiMap.load('.')
144
- if names.empty?
145
- Gem::Specification.to_a.each { |spec| do_cache spec, api_map }
146
- STDERR.puts "Documentation cached for all #{Gem::Specification.count} gems."
147
- else
148
- names.each do |name|
149
- spec = Gem::Specification.find_by_name(*name.split('='))
150
- do_cache spec, api_map
151
- rescue Gem::MissingSpecError
152
- warn "Gem '#{name}' not found"
153
- end
154
- STDERR.puts "Documentation cached for #{names.count} gems."
155
- end
156
- end
157
-
158
- desc 'reporters', 'Get a list of diagnostics reporters'
159
- # @return [void]
160
- def reporters
161
- puts Solargraph::Diagnostics.reporters
162
- end
163
-
164
- desc 'typecheck [FILE(s)]', 'Run the type checker'
165
- long_desc %(
166
- Perform type checking on one or more files in a workspace. Check the
167
- entire workspace if no files are specified.
168
-
169
- Type checking levels are normal, typed, strict, and strong.
170
- )
171
- option :level, type: :string, aliases: [:mode, :m, :l], desc: 'Type checking level', default: 'normal'
172
- option :directory, type: :string, aliases: :d, desc: 'The workspace directory', default: '.'
173
- # @return [void]
174
- def typecheck *files
175
- directory = File.realpath(options[:directory])
176
- workspace = Solargraph::Workspace.new(directory)
177
- level = options[:level].to_sym
178
- rules = workspace.rules(level)
179
- api_map = Solargraph::ApiMap.load_with_cache(directory, $stdout)
180
- probcount = 0
181
- if files.empty?
182
- files = api_map.source_maps.map(&:filename)
183
- else
184
- files.map! { |file| File.realpath(file) }
185
- end
186
- filecount = 0
187
-
188
- time = Benchmark.measure {
189
- files.each do |file|
190
- checker = TypeChecker.new(file, api_map: api_map, level: options[:level].to_sym, workspace: workspace)
191
- problems = checker.problems
192
- next if problems.empty?
193
- problems.sort! { |a, b| a.location.range.start.line <=> b.location.range.start.line }
194
- puts problems.map { |prob| "#{prob.location.filename}:#{prob.location.range.start.line + 1} - #{prob.message}" }.join("\n")
195
- filecount += 1
196
- probcount += problems.length
197
- end
198
- # "
199
- }
200
- puts "Typecheck finished in #{time.real} seconds."
201
- puts "#{probcount} problem#{probcount != 1 ? 's' : ''} found#{files.length != 1 ? " in #{filecount} of #{files.length} files" : ''}."
202
- # "
203
- exit 1 if probcount > 0
204
- end
205
-
206
- desc 'scan', 'Test the workspace for problems'
207
- long_desc %(
208
- A scan loads the entire workspace to make sure that the ASTs and
209
- maps do not raise errors during analysis. It does not perform any type
210
- checking or validation; it only confirms that the analysis itself is
211
- error-free.
212
- )
213
- option :directory, type: :string, aliases: :d, desc: 'The workspace directory', default: '.'
214
- option :verbose, type: :boolean, aliases: :v, desc: 'Verbose output', default: false
215
- # @return [void]
216
- def scan
217
- directory = File.realpath(options[:directory])
218
- # @type [Solargraph::ApiMap, nil]
219
- api_map = nil
220
- time = Benchmark.measure {
221
- api_map = Solargraph::ApiMap.load_with_cache(directory, $stdout)
222
- api_map.pins.each do |pin|
223
- begin
224
- puts pin_description(pin) if options[:verbose]
225
- pin.typify api_map
226
- pin.probe api_map
227
- rescue StandardError => e
228
- STDERR.puts "Error testing #{pin_description(pin)} #{pin.location ? "at #{pin.location.filename}:#{pin.location.range.start.line + 1}" : ''}"
229
- STDERR.puts "[#{e.class}]: #{e.message}"
230
- STDERR.puts e.backtrace.join("\n")
231
- exit 1
232
- end
233
- end
234
- }
235
- puts "Scanned #{directory} (#{api_map.pins.length} pins) in #{time.real} seconds."
236
- end
237
-
238
- desc 'list', 'List the files in the workspace and the total count'
239
- option :count, type: :boolean, aliases: :c, desc: 'Display the file count only', default: false
240
- option :directory, type: :string, aliases: :d, desc: 'The directory to read', default: '.'
241
- # @return [void]
242
- def list
243
- workspace = Solargraph::Workspace.new(options[:directory])
244
- puts workspace.filenames unless options[:count]
245
- puts "#{workspace.filenames.length} files total."
246
- end
247
-
248
- desc 'pin [PATH]', 'Describe a pin', hide: true
249
- option :rbs, type: :boolean, desc: 'Output the pin as RBS', default: false
250
- option :typify, type: :boolean, desc: 'Output the calculated return type of the pin from annotations', default: false
251
- option :references, type: :boolean, desc: 'Show references', default: false
252
- option :probe, type: :boolean, desc: 'Output the calculated return type of the pin from annotations and inference', default: false
253
- option :stack, type: :boolean, desc: 'Show entire stack of a method pin by including definitions in superclasses', default: false
254
- # @param path [String] The path to the method pin, e.g. 'Class#method' or 'Class.method'
255
- # @return [void]
256
- def pin path
257
- api_map = Solargraph::ApiMap.load_with_cache('.', $stderr)
258
- is_method = path.include?('#') || path.include?('.')
259
- if is_method && options[:stack]
260
- scope, ns, meth = if path.include? '#'
261
- [:instance, *path.split('#', 2)]
262
- else
263
- [:class, *path.split('.', 2)]
264
- end
265
-
266
- # @sg-ignore Wrong argument type for
267
- # Solargraph::ApiMap#get_method_stack: rooted_tag
268
- # expected String, received Array<String>
269
- pins = api_map.get_method_stack(ns, meth, scope: scope)
270
- else
271
- pins = api_map.get_path_pins path
272
- end
273
- # @type [Hash{Symbol => Pin::Base}]
274
- references = {}
275
- pin = pins.first
276
- case pin
277
- when nil
278
- $stderr.puts "Pin not found for path '#{path}'"
279
- exit 1
280
- when Pin::Namespace
281
- if options[:references]
282
- superclass_tag = api_map.qualify_superclass(pin.return_type.tag)
283
- superclass_pin = api_map.get_path_pins(superclass_tag).first if superclass_tag
284
- references[:superclass] = superclass_pin if superclass_pin
285
- end
286
- end
287
-
288
- pins.each do |pin|
289
- if options[:typify] || options[:probe]
290
- type = ComplexType::UNDEFINED
291
- type = pin.typify(api_map) if options[:typify]
292
- type = pin.probe(api_map) if options[:probe] && type.undefined?
293
- print_type(type)
294
- next
295
- end
296
-
297
- print_pin(pin)
298
- end
299
- references.each do |key, refpin|
300
- puts "\n# #{key.to_s.capitalize}:\n\n"
301
- print_pin(refpin)
302
- end
303
- end
304
-
305
- private
306
-
307
- # @param pin [Solargraph::Pin::Base]
308
- # @return [String]
309
- def pin_description pin
310
- desc = if pin.path.nil? || pin.path.empty?
311
- if pin.closure
312
- "#{pin.closure.path} | #{pin.name}"
313
- else
314
- "#{pin.context.namespace} | #{pin.name}"
315
- end
316
- else
317
- pin.path
318
- end
319
- desc += " (#{pin.location.filename} #{pin.location.range.start.line})" if pin.location
320
- desc
321
- end
322
-
323
- # @param gemspec [Gem::Specification]
324
- # @param api_map [ApiMap]
325
- # @return [void]
326
- def do_cache gemspec, api_map
327
- # @todo if the rebuild: option is passed as a positional arg,
328
- # typecheck doesn't complain on the below line
329
- api_map.cache_gem(gemspec, rebuild: options.rebuild, out: $stdout)
330
- end
331
-
332
- # @param type [ComplexType]
333
- # @return [void]
334
- def print_type(type)
335
- if options[:rbs]
336
- puts type.to_rbs
337
- else
338
- puts type.rooted_tag
339
- end
340
- end
341
-
342
- # @param pin [Solargraph::Pin::Base]
343
- # @return [void]
344
- def print_pin(pin)
345
- if options[:rbs]
346
- puts pin.to_rbs
347
- else
348
- puts pin.inspect
349
- end
350
- end
351
- end
352
- end
1
+ # frozen_string_literal: true
2
+
3
+ require 'benchmark'
4
+ require 'thor'
5
+ require 'yard'
6
+ require 'yaml'
7
+
8
+ module Solargraph
9
+ class Shell < Thor
10
+ include Solargraph::ServerMethods
11
+
12
+ # Tell Thor to ensure the process exits with status 1 if any error happens.
13
+ def self.exit_on_failure?
14
+ true
15
+ end
16
+
17
+ map %w[--version -v] => :version
18
+
19
+ desc "--version, -v", "Print the version"
20
+ # @return [void]
21
+ def version
22
+ puts Solargraph::VERSION
23
+ end
24
+
25
+ desc 'socket', 'Run a Solargraph socket server'
26
+ option :host, type: :string, aliases: :h, desc: 'The server host', default: '127.0.0.1'
27
+ option :port, type: :numeric, aliases: :p, desc: 'The server port', default: 7658
28
+ # @return [void]
29
+ def socket
30
+ require 'backport'
31
+ port = options[:port]
32
+ port = available_port if port.zero?
33
+ Backport.run do
34
+ Signal.trap("INT") do
35
+ Backport.stop
36
+ end
37
+ Signal.trap("TERM") do
38
+ Backport.stop
39
+ end
40
+ # @sg-ignore Wrong argument type for Backport.prepare_tcp_server: adapter expected Backport::Adapter, received Module<Solargraph::LanguageServer::Transport::Adapter>
41
+ Backport.prepare_tcp_server host: options[:host], port: port, adapter: Solargraph::LanguageServer::Transport::Adapter
42
+ STDERR.puts "Solargraph is listening PORT=#{port} PID=#{Process.pid}"
43
+ end
44
+ end
45
+
46
+ desc 'stdio', 'Run a Solargraph stdio server'
47
+ # @return [void]
48
+ def stdio
49
+ require 'backport'
50
+ Backport.run do
51
+ Signal.trap("INT") do
52
+ Backport.stop
53
+ end
54
+ Signal.trap("TERM") do
55
+ Backport.stop
56
+ end
57
+ # @sg-ignore Wrong argument type for Backport.prepare_stdio_server: adapter expected Backport::Adapter, received Module<Solargraph::LanguageServer::Transport::Adapter>
58
+ Backport.prepare_stdio_server adapter: Solargraph::LanguageServer::Transport::Adapter
59
+ STDERR.puts "Solargraph is listening on stdio PID=#{Process.pid}"
60
+ end
61
+ end
62
+
63
+ desc 'config [DIRECTORY]', 'Create or overwrite a default configuration file'
64
+ option :extensions, type: :boolean, aliases: :e, desc: 'Add installed extensions', default: true
65
+ # @param directory [String]
66
+ # @return [void]
67
+ def config(directory = '.')
68
+ matches = []
69
+ if options[:extensions]
70
+ Gem::Specification.each do |g|
71
+ if g.name.match(/^solargraph\-[A-Za-z0-9_\-]*?\-ext/)
72
+ require g.name
73
+ matches.push g.name
74
+ end
75
+ end
76
+ end
77
+ conf = Solargraph::Workspace::Config.new.raw_data
78
+ unless matches.empty?
79
+ matches.each do |m|
80
+ conf['extensions'].push m
81
+ end
82
+ end
83
+ # @param file [File]
84
+ File.open(File.join(directory, '.solargraph.yml'), 'w') do |file|
85
+ file.puts conf.to_yaml
86
+ end
87
+ STDOUT.puts "Configuration file initialized."
88
+ end
89
+
90
+ desc 'clear', 'Delete all cached documentation'
91
+ long_desc %(
92
+ This command will delete all core and gem documentation from the cache.
93
+ )
94
+ # @return [void]
95
+ def clear
96
+ puts "Deleting all cached documentation (gems, core and stdlib)"
97
+ Solargraph::PinCache.clear
98
+ end
99
+ map 'clear-cache' => :clear
100
+ map 'clear-cores' => :clear
101
+
102
+ desc 'cache', 'Cache a gem', hide: true
103
+ option :rebuild, type: :boolean, desc: 'Rebuild existing documentation', default: false
104
+ # @return [void]
105
+ # @param gem [String]
106
+ # @param version [String, nil]
107
+ def cache gem, version = nil
108
+ gems(gem + (version ? "=#{version}" : ''))
109
+ # '
110
+ end
111
+
112
+ desc 'uncache GEM [...GEM]', "Delete specific cached gem documentation"
113
+ long_desc %(
114
+ Specify one or more gem names to clear. 'core' or 'stdlib' may
115
+ also be specified to clear cached system documentation.
116
+ Documentation will be regenerated as needed.
117
+ )
118
+ # @param gems [Array<String>]
119
+ # @return [void]
120
+ def uncache *gems
121
+ raise ArgumentError, 'No gems specified.' if gems.empty?
122
+ workspace = Solargraph::Workspace.new(Dir.pwd)
123
+
124
+ gems.each do |gem|
125
+ if gem == 'core'
126
+ PinCache.uncache_core(out: $stdout)
127
+ next
128
+ end
129
+
130
+ if gem == 'stdlib'
131
+ PinCache.uncache_stdlib(out: $stdout)
132
+ next
133
+ end
134
+
135
+ spec = workspace.find_gem(gem)
136
+ raise Thor::InvocationError, "Gem '#{gem}' not found" if spec.nil?
137
+
138
+ # @sg-ignore flow sensitive typing needs to handle 'raise if'
139
+ workspace.uncache_gem(spec, out: $stdout)
140
+ end
141
+ end
142
+
143
+ desc 'gems [GEM[=VERSION]...] [STDLIB...] [core]', 'Cache documentation for
144
+ installed libraries'
145
+ long_desc %( This command will cache the
146
+ generated type documentation for the specified libraries. While
147
+ Solargraph will generate this on the fly when needed, it takes
148
+ time. This command will generate it in advance, which can be
149
+ useful for CI scenarios.
150
+
151
+ With no arguments, it will cache all libraries in the current
152
+ workspace. If a gem or standard library name is specified, it
153
+ will cache that library's type documentation.
154
+
155
+ An equals sign after a gem will allow a specific gem version
156
+ to be cached.
157
+
158
+ The 'core' argument can be used to cache the type
159
+ documentation for the core Ruby libraries.
160
+
161
+ If the library is already cached, it will be rebuilt if the
162
+ --rebuild option is set.
163
+
164
+ Cached documentation is stored in #{PinCache.base_dir}, which
165
+ can be stored between CI runs.
166
+ )
167
+ option :rebuild, type: :boolean, desc: 'Rebuild existing documentation', default: false
168
+ # @param names [Array<String>]
169
+ # @return [void]
170
+ def gems *names
171
+ # print time with ms
172
+ workspace = Solargraph::Workspace.new('.')
173
+
174
+ if names.empty?
175
+ workspace.cache_all_for_workspace!($stdout, rebuild: options[:rebuild])
176
+ else
177
+ $stderr.puts("Caching these gems: #{names}")
178
+ names.each do |name|
179
+ if name == 'core'
180
+ PinCache.cache_core(out: $stdout) if !PinCache.core? || options[:rebuild]
181
+ next
182
+ end
183
+
184
+ gemspec = workspace.find_gem(*name.split('='))
185
+ if gemspec.nil?
186
+ warn "Gem '#{name}' not found"
187
+ else
188
+ workspace.cache_gem(gemspec, rebuild: options[:rebuild], out: $stdout)
189
+ end
190
+ rescue Gem::MissingSpecError
191
+ warn "Gem '#{name}' not found"
192
+ rescue Gem::Requirement::BadRequirementError => e
193
+ warn "Gem '#{name}' failed while loading"
194
+ warn e.message
195
+ # @sg-ignore Need to add nil check here
196
+ warn e.backtrace.join("\n")
197
+ end
198
+ $stderr.puts "Documentation cached for #{names.count} gems."
199
+ end
200
+ end
201
+
202
+ desc 'reporters', 'Get a list of diagnostics reporters'
203
+ # @return [void]
204
+ def reporters
205
+ puts Solargraph::Diagnostics.reporters
206
+ end
207
+
208
+ desc 'typecheck [FILE(s)]', 'Run the type checker'
209
+ long_desc %(
210
+ Perform type checking on one or more files in a workspace. Check the
211
+ entire workspace if no files are specified.
212
+
213
+ Type checking levels are normal, typed, strict, and strong.
214
+ )
215
+ option :level, type: :string, aliases: [:mode, :m, :l], desc: 'Type checking level', default: 'normal'
216
+ option :directory, type: :string, aliases: :d, desc: 'The workspace directory', default: '.'
217
+ # @return [void]
218
+ def typecheck *files
219
+ directory = File.realpath(options[:directory])
220
+ workspace = Solargraph::Workspace.new(directory)
221
+ level = options[:level].to_sym
222
+ rules = workspace.rules(level)
223
+ api_map =
224
+ Solargraph::ApiMap.load_with_cache(directory, $stdout,
225
+ loose_unions:
226
+ !rules.require_all_unique_types_support_call?)
227
+ probcount = 0
228
+ if files.empty?
229
+ files = api_map.source_maps.map(&:filename)
230
+ else
231
+ files.map! { |file| File.realpath(file) }
232
+ end
233
+ filecount = 0
234
+ time = Benchmark.measure {
235
+ files.each do |file|
236
+ checker = TypeChecker.new(file, api_map: api_map, rules: rules, level: options[:level].to_sym, workspace: workspace)
237
+ problems = checker.problems
238
+ next if problems.empty?
239
+ problems.sort! { |a, b| a.location.range.start.line <=> b.location.range.start.line }
240
+ puts problems.map { |prob| "#{prob.location.filename}:#{prob.location.range.start.line + 1} - #{prob.message}" }.join("\n")
241
+ filecount += 1
242
+ probcount += problems.length
243
+ end
244
+ }
245
+ puts "Typecheck finished in #{time.real} seconds."
246
+ puts "#{probcount} problem#{probcount != 1 ? 's' : ''} found#{files.length != 1 ? " in #{filecount} of #{files.length} files" : ''}."
247
+ # "
248
+ exit 1 if probcount > 0
249
+ end
250
+
251
+ desc 'scan', 'Test the workspace for problems'
252
+ long_desc %(
253
+ A scan loads the entire workspace to make sure that the ASTs and
254
+ maps do not raise errors during analysis. It does not perform any type
255
+ checking or validation; it only confirms that the analysis itself is
256
+ error-free.
257
+ )
258
+ option :directory, type: :string, aliases: :d, desc: 'The workspace directory', default: '.'
259
+ option :verbose, type: :boolean, aliases: :v, desc: 'Verbose output', default: false
260
+ # @return [void]
261
+ def scan
262
+ directory = File.realpath(options[:directory])
263
+ # @type [Solargraph::ApiMap, nil]
264
+ api_map = nil
265
+ time = Benchmark.measure {
266
+ api_map = Solargraph::ApiMap.load_with_cache(directory, $stdout)
267
+ # @sg-ignore flow sensitive typing should be able to handle redefinition
268
+ api_map.pins.each do |pin|
269
+ begin
270
+ puts pin_description(pin) if options[:verbose]
271
+ pin.typify api_map
272
+ pin.probe api_map
273
+ rescue StandardError => e
274
+ # @todo to add nil check here
275
+ # @todo should warn on nil dereference below
276
+ STDERR.puts "Error testing #{pin_description(pin)} #{pin.location ? "at #{pin.location.filename}:#{pin.location.range.start.line + 1}" : ''}"
277
+ STDERR.puts "[#{e.class}]: #{e.message}"
278
+ # @todo Need to add nil check here
279
+ # @todo flow sensitive typing should be able to handle redefinition
280
+ STDERR.puts e.backtrace.join("\n")
281
+ exit 1
282
+ end
283
+ end
284
+ }
285
+ # @sg-ignore Need to add nil check here
286
+ puts "Scanned #{directory} (#{api_map.pins.length} pins) in #{time.real} seconds."
287
+ end
288
+
289
+ desc 'list', 'List the files in the workspace and the total count'
290
+ option :count, type: :boolean, aliases: :c, desc: 'Display the file count only', default: false
291
+ option :directory, type: :string, aliases: :d, desc: 'The directory to read', default: '.'
292
+ # @return [void]
293
+ def list
294
+ workspace = Solargraph::Workspace.new(options[:directory])
295
+ puts workspace.filenames unless options[:count]
296
+ puts "#{workspace.filenames.length} files total."
297
+ end
298
+
299
+ desc 'pin [PATH]', 'Describe a pin', hide: true
300
+ option :rbs, type: :boolean, desc: 'Output the pin as RBS', default: false
301
+ option :typify, type: :boolean, desc: 'Output the calculated return type of the pin from annotations', default: false
302
+ option :references, type: :boolean, desc: 'Show references', default: false
303
+ option :probe, type: :boolean, desc: 'Output the calculated return type of the pin from annotations and inference', default: false
304
+ option :stack, type: :boolean, desc: 'Show entire stack of a method pin by including definitions in superclasses', default: false
305
+ # @param path [String] The path to the method pin, e.g. 'Class#method' or 'Class.method'
306
+ # @return [void]
307
+ def pin path
308
+ api_map = Solargraph::ApiMap.load_with_cache('.', $stderr)
309
+ is_method = path.include?('#') || path.include?('.')
310
+ if is_method && options[:stack]
311
+ scope, ns, meth = if path.include? '#'
312
+ [:instance, *path.split('#', 2)]
313
+ else
314
+ [:class, *path.split('.', 2)]
315
+ end
316
+
317
+ # @sg-ignore Wrong argument type for
318
+ # Solargraph::ApiMap#get_method_stack: rooted_tag
319
+ # expected String, received Array<String>
320
+ pins = api_map.get_method_stack(ns, meth, scope: scope)
321
+ else
322
+ pins = api_map.get_path_pins path
323
+ end
324
+ # @type [Hash{Symbol => Pin::Base}]
325
+ references = {}
326
+ pin = pins.first
327
+ case pin
328
+ when nil
329
+ $stderr.puts "Pin not found for path '#{path}'"
330
+ exit 1
331
+ when Pin::Namespace
332
+ if options[:references]
333
+ # @sg-ignore Need to add nil check here
334
+ superclass_tag = api_map.qualify_superclass(pin.return_type.tag)
335
+ superclass_pin = api_map.get_path_pins(superclass_tag).first if superclass_tag
336
+ references[:superclass] = superclass_pin if superclass_pin
337
+ end
338
+ end
339
+
340
+ pins.each do |pin|
341
+ if options[:typify] || options[:probe]
342
+ type = ComplexType::UNDEFINED
343
+ type = pin.typify(api_map) if options[:typify]
344
+ type = pin.probe(api_map) if options[:probe] && type.undefined?
345
+ print_type(type)
346
+ next
347
+ end
348
+
349
+ print_pin(pin)
350
+ end
351
+ references.each do |key, refpin|
352
+ puts "\n# #{key.to_s.capitalize}:\n\n"
353
+ print_pin(refpin)
354
+ end
355
+ end
356
+
357
+ private
358
+
359
+ # @param pin [Solargraph::Pin::Base]
360
+ # @return [String]
361
+ def pin_description pin
362
+ desc = if pin.path.nil? || pin.path.empty?
363
+ if pin.closure
364
+ # @sg-ignore Need to add nil check here
365
+ "#{pin.closure.path} | #{pin.name}"
366
+ else
367
+ "#{pin.context.namespace} | #{pin.name}"
368
+ end
369
+ else
370
+ pin.path
371
+ end
372
+ # @sg-ignore Need to add nil check here
373
+ desc += " (#{pin.location.filename} #{pin.location.range.start.line})" if pin.location
374
+ desc
375
+ end
376
+
377
+ # @param type [ComplexType, ComplexType::UniqueType]
378
+ # @return [void]
379
+ def print_type(type)
380
+ if options[:rbs]
381
+ puts type.to_rbs
382
+ else
383
+ puts type.rooted_tag
384
+ end
385
+ end
386
+
387
+ # @param pin [Solargraph::Pin::Base]
388
+ # @return [void]
389
+ def print_pin(pin)
390
+ if options[:rbs]
391
+ puts pin.to_rbs
392
+ else
393
+ puts pin.inspect
394
+ end
395
+ end
396
+ end
397
+ end