steep 1.7.0.dev.3 → 1.7.0

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 (170) hide show
  1. checksums.yaml +4 -4
  2. data/CHANGELOG.md +43 -0
  3. data/README.md +18 -0
  4. data/doc/narrowing.md +1 -1
  5. data/doc/shape.md +176 -0
  6. data/guides/src/gem-rbs-collection/gem-rbs-collection.md +7 -24
  7. data/lib/steep/ast/types/factory.rb +27 -18
  8. data/lib/steep/ast/types/proc.rb +14 -9
  9. data/lib/steep/interface/block.rb +1 -1
  10. data/lib/steep/interface/builder.rb +1 -0
  11. data/lib/steep/interface/function.rb +14 -6
  12. data/lib/steep/interface/method_type.rb +15 -7
  13. data/lib/steep/project/pattern.rb +1 -2
  14. data/lib/steep/rake_task.rb +132 -0
  15. data/lib/steep/server/interaction_worker.rb +6 -0
  16. data/lib/steep/server/lsp_formatter.rb +2 -0
  17. data/lib/steep/services/completion_provider.rb +1 -1
  18. data/lib/steep/services/file_loader.rb +15 -20
  19. data/lib/steep/services/signature_help_provider.rb +11 -9
  20. data/lib/steep/signature/validator.rb +1 -1
  21. data/lib/steep/subtyping/check.rb +15 -6
  22. data/lib/steep/subtyping/variable_variance.rb +3 -3
  23. data/lib/steep/type_construction.rb +186 -149
  24. data/lib/steep/type_inference/block_params.rb +1 -1
  25. data/lib/steep/type_inference/logic_type_interpreter.rb +2 -1
  26. data/lib/steep/type_inference/method_params.rb +16 -0
  27. data/lib/steep/type_inference/send_args.rb +5 -2
  28. data/lib/steep/version.rb +1 -1
  29. data/steep.gemspec +5 -2
  30. metadata +7 -145
  31. data/.github/dependabot.yml +0 -28
  32. data/.github/workflows/ruby-windows.yml +0 -35
  33. data/.github/workflows/ruby.yml +0 -32
  34. data/.vscode/steep-shared.code-snippets +0 -41
  35. data/Gemfile +0 -14
  36. data/Gemfile.lock +0 -104
  37. data/Gemfile.steep +0 -0
  38. data/gemfile_steep/Gemfile +0 -3
  39. data/gemfile_steep/Gemfile.lock +0 -77
  40. data/rbs_collection.steep.lock.yaml +0 -108
  41. data/rbs_collection.steep.yaml +0 -23
  42. data/sig/shims/bundler.rbs +0 -3
  43. data/sig/shims/concurrent-ruby.rbs +0 -39
  44. data/sig/shims/exception.rbs +0 -4
  45. data/sig/shims/language-server_protocol.rbs +0 -450
  46. data/sig/shims/parser/comment.rbs +0 -33
  47. data/sig/shims/parser/nodes.rbs +0 -252
  48. data/sig/shims/parser/source/map.rbs +0 -146
  49. data/sig/shims/parser/source/range.rbs +0 -237
  50. data/sig/shims/parser.rbs +0 -69
  51. data/sig/shims/string.rbs +0 -4
  52. data/sig/shims/tagged_logging.rbs +0 -6
  53. data/sig/shims/yaml.rbs +0 -4
  54. data/sig/steep/annotation_parser.rbs +0 -60
  55. data/sig/steep/ast/annotation/collection.rbs +0 -78
  56. data/sig/steep/ast/annotation.rbs +0 -121
  57. data/sig/steep/ast/builtin.rbs +0 -69
  58. data/sig/steep/ast/ignore.rbs +0 -66
  59. data/sig/steep/ast/node/type_application.rbs +0 -31
  60. data/sig/steep/ast/node/type_assertion.rbs +0 -32
  61. data/sig/steep/ast/types/any.rbs +0 -29
  62. data/sig/steep/ast/types/boolean.rbs +0 -31
  63. data/sig/steep/ast/types/bot.rbs +0 -29
  64. data/sig/steep/ast/types/class.rbs +0 -33
  65. data/sig/steep/ast/types/factory.rbs +0 -110
  66. data/sig/steep/ast/types/helper.rbs +0 -24
  67. data/sig/steep/ast/types/instance.rbs +0 -33
  68. data/sig/steep/ast/types/intersection.rbs +0 -40
  69. data/sig/steep/ast/types/literal.rbs +0 -35
  70. data/sig/steep/ast/types/logic.rbs +0 -83
  71. data/sig/steep/ast/types/name.rbs +0 -84
  72. data/sig/steep/ast/types/nil.rbs +0 -31
  73. data/sig/steep/ast/types/proc.rbs +0 -53
  74. data/sig/steep/ast/types/record.rbs +0 -39
  75. data/sig/steep/ast/types/self.rbs +0 -33
  76. data/sig/steep/ast/types/top.rbs +0 -29
  77. data/sig/steep/ast/types/tuple.rbs +0 -37
  78. data/sig/steep/ast/types/union.rbs +0 -40
  79. data/sig/steep/ast/types/var.rbs +0 -42
  80. data/sig/steep/ast/types/void.rbs +0 -29
  81. data/sig/steep/ast/types.rbs +0 -16
  82. data/sig/steep/cli.rbs +0 -55
  83. data/sig/steep/diagnostic/deprecated/else_on_exhaustive_case.rbs +0 -13
  84. data/sig/steep/diagnostic/deprecated/unknown_constant_assigned.rbs +0 -15
  85. data/sig/steep/diagnostic/helper.rbs +0 -15
  86. data/sig/steep/diagnostic/lsp_formatter.rbs +0 -36
  87. data/sig/steep/diagnostic/ruby.rbs +0 -703
  88. data/sig/steep/diagnostic/signature.rbs +0 -252
  89. data/sig/steep/drivers/annotations.rbs +0 -17
  90. data/sig/steep/drivers/check.rbs +0 -33
  91. data/sig/steep/drivers/checkfile.rbs +0 -27
  92. data/sig/steep/drivers/diagnostic_printer.rbs +0 -25
  93. data/sig/steep/drivers/init.rbs +0 -19
  94. data/sig/steep/drivers/langserver.rbs +0 -36
  95. data/sig/steep/drivers/print_project.rbs +0 -15
  96. data/sig/steep/drivers/stats.rbs +0 -47
  97. data/sig/steep/drivers/utils/driver_helper.rbs +0 -25
  98. data/sig/steep/drivers/utils/jobs_option.rbs +0 -19
  99. data/sig/steep/drivers/validate.rbs +0 -15
  100. data/sig/steep/drivers/vendor.rbs +0 -19
  101. data/sig/steep/drivers/watch.rbs +0 -27
  102. data/sig/steep/drivers/worker.rbs +0 -29
  103. data/sig/steep/equatable.rbs +0 -11
  104. data/sig/steep/expectations.rbs +0 -72
  105. data/sig/steep/index/rbs_index.rbs +0 -141
  106. data/sig/steep/index/signature_symbol_provider.rbs +0 -41
  107. data/sig/steep/index/source_index.rbs +0 -63
  108. data/sig/steep/interface/block.rbs +0 -41
  109. data/sig/steep/interface/builder.rbs +0 -152
  110. data/sig/steep/interface/function.rbs +0 -270
  111. data/sig/steep/interface/method_type.rbs +0 -105
  112. data/sig/steep/interface/shape.rbs +0 -80
  113. data/sig/steep/interface/substitution.rbs +0 -51
  114. data/sig/steep/interface/type_param.rbs +0 -43
  115. data/sig/steep/method_name.rbs +0 -30
  116. data/sig/steep/module_helper.rbs +0 -16
  117. data/sig/steep/node_helper.rbs +0 -91
  118. data/sig/steep/path_helper.rbs +0 -15
  119. data/sig/steep/project/dsl.rbs +0 -108
  120. data/sig/steep/project/options.rbs +0 -47
  121. data/sig/steep/project/pattern.rbs +0 -47
  122. data/sig/steep/project/target.rbs +0 -25
  123. data/sig/steep/project.rbs +0 -26
  124. data/sig/steep/range_extension.rbs +0 -7
  125. data/sig/steep/server/base_worker.rbs +0 -49
  126. data/sig/steep/server/change_buffer.rbs +0 -38
  127. data/sig/steep/server/delay_queue.rbs +0 -37
  128. data/sig/steep/server/interaction_worker.rbs +0 -90
  129. data/sig/steep/server/lsp_formatter.rbs +0 -63
  130. data/sig/steep/server/master.rbs +0 -299
  131. data/sig/steep/server/type_check_worker.rbs +0 -141
  132. data/sig/steep/server/worker_process.rbs +0 -97
  133. data/sig/steep/services/completion_provider.rbs +0 -264
  134. data/sig/steep/services/content_change.rbs +0 -37
  135. data/sig/steep/services/file_loader.rbs +0 -21
  136. data/sig/steep/services/goto_service.rbs +0 -106
  137. data/sig/steep/services/hover_provider/rbs.rbs +0 -47
  138. data/sig/steep/services/hover_provider/ruby.rbs +0 -127
  139. data/sig/steep/services/hover_provider/singleton_methods.rbs +0 -11
  140. data/sig/steep/services/path_assignment.rbs +0 -21
  141. data/sig/steep/services/signature_help_provider.rbs +0 -51
  142. data/sig/steep/services/signature_service.rbs +0 -156
  143. data/sig/steep/services/stats_calculator.rbs +0 -41
  144. data/sig/steep/services/type_check_service.rbs +0 -112
  145. data/sig/steep/services/type_name_completion.rbs +0 -135
  146. data/sig/steep/signature/validator.rbs +0 -85
  147. data/sig/steep/source/ignore_ranges.rbs +0 -38
  148. data/sig/steep/source.rbs +0 -105
  149. data/sig/steep/subtyping/cache.rbs +0 -17
  150. data/sig/steep/subtyping/check.rbs +0 -131
  151. data/sig/steep/subtyping/constraints.rbs +0 -111
  152. data/sig/steep/subtyping/relation.rbs +0 -63
  153. data/sig/steep/subtyping/result.rbs +0 -179
  154. data/sig/steep/subtyping/variable_variance.rbs +0 -25
  155. data/sig/steep/thread_waiter.rbs +0 -13
  156. data/sig/steep/type_construction.rbs +0 -542
  157. data/sig/steep/type_inference/block_params.rbs +0 -170
  158. data/sig/steep/type_inference/case_when.rbs +0 -130
  159. data/sig/steep/type_inference/constant_env.rbs +0 -29
  160. data/sig/steep/type_inference/context.rbs +0 -216
  161. data/sig/steep/type_inference/context_array.rbs +0 -38
  162. data/sig/steep/type_inference/logic_type_interpreter.rbs +0 -108
  163. data/sig/steep/type_inference/method_call.rbs +0 -124
  164. data/sig/steep/type_inference/method_params.rbs +0 -127
  165. data/sig/steep/type_inference/multiple_assignment.rbs +0 -76
  166. data/sig/steep/type_inference/send_args.rbs +0 -243
  167. data/sig/steep/type_inference/type_env.rbs +0 -160
  168. data/sig/steep/type_inference/type_env_builder.rbs +0 -81
  169. data/sig/steep/typing.rbs +0 -75
  170. data/sig/steep.rbs +0 -45
@@ -1,39 +0,0 @@
1
- module Concurrent
2
- # Number of physical processor cores on the current system. For performance
3
- # reasons the calculated value will be memoized on the first call.
4
- #
5
- # On Windows the Win32 API will be queried for the `NumberOfCores from
6
- # Win32_Processor`. This will return the total number "of cores for the
7
- # current instance of the processor." On Unix-like operating systems either
8
- # the `hwprefs` or `sysctl` utility will be called in a subshell and the
9
- # returned value will be used. In the rare case where none of these methods
10
- # work or an exception is raised the function will simply return 1.
11
- #
12
- # @return [Integer] number physical processor cores on the current system
13
- #
14
- # @see https://github.com/grosser/parallel/blob/4fc8b89d08c7091fe0419ca8fba1ec3ce5a8d185/lib/parallel.rb
15
- #
16
- # @see http://msdn.microsoft.com/en-us/library/aa394373(v=vs.85).aspx
17
- # @see http://www.unix.com/man-page/osx/1/HWPREFS/
18
- # @see http://linux.die.net/man/8/sysctl
19
- def self.physical_processor_count: () -> Integer
20
-
21
- # Number of processors seen by the OS and used for process scheduling. For
22
- # performance reasons the calculated value will be memoized on the first
23
- # call.
24
- #
25
- # When running under JRuby the Java runtime call
26
- # `java.lang.Runtime.getRuntime.availableProcessors` will be used. According
27
- # to the Java documentation this "value may change during a particular
28
- # invocation of the virtual machine... [applications] should therefore
29
- # occasionally poll this property." Subsequently the result will NOT be
30
- # memoized under JRuby.
31
- #
32
- # Otherwise Ruby's Etc.nprocessors will be used.
33
- #
34
- # @return [Integer] number of processors seen by the OS or Java runtime
35
- #
36
- # @see http://docs.oracle.com/javase/6/docs/api/java/lang/Runtime.html#availableProcessors()
37
- #
38
- def self.processor_count: () -> Integer
39
- end
@@ -1,4 +0,0 @@
1
- class Exception
2
- def initialize: (String?) -> void
3
- | ...
4
- end
@@ -1,450 +0,0 @@
1
- module LanguageServer
2
- module Protocol
3
- module Transport
4
- module Io
5
- class Writer
6
- def initialize: (IO) -> void
7
-
8
- def write: (**untyped) -> void
9
- | (Hash[Symbol, untyped]) -> void
10
- end
11
-
12
- class Reader
13
- def initialize: (IO) -> void
14
-
15
- def read: () { (untyped) -> void } -> bot
16
- end
17
- end
18
- end
19
-
20
- module Constant
21
- module CompletionItemKind
22
- type t = Integer
23
-
24
- TEXT: Integer
25
- METHOD: Integer
26
- FUNCTION: Integer
27
- CONSTRUCTOR: Integer
28
- FIELD: Integer
29
- VARIABLE: Integer
30
- CLASS: Integer
31
- INTERFACE: Integer
32
- MODULE: Integer
33
- PROPERTY: Integer
34
- UNIT: Integer
35
- VALUE: Integer
36
- ENUM: Integer
37
- KEYWORD: Integer
38
- SNIPPET: Integer
39
- COLOR: Integer
40
- FILE: Integer
41
- REFERENCE: Integer
42
- FOLDER: Integer
43
- ENUMMEMBER: Integer
44
- CONSTANT: Integer
45
- STRUCT: Integer
46
- EVENT: Integer
47
- OPERATOR: Integer
48
- TYPEPARAMETER: Integer
49
- end
50
-
51
- module CompletionItemTag
52
- type t = Integer
53
-
54
- Deprecated: Integer
55
- end
56
-
57
- module InsertTextFormat
58
- type t = Integer
59
-
60
- PLAIN_TEXT: Integer
61
-
62
- SNIPPET: Integer
63
- end
64
-
65
- module InsertTextMode
66
- type t = Integer
67
-
68
- AS_IS: Integer
69
-
70
- ADJUST_INDENTATION: Integer
71
- end
72
-
73
- module MarkupKind
74
- type t = "plaintext" | "markdown"
75
-
76
- PLAINTEXT: "plaintext"
77
-
78
- MARKDOWN: "markdown"
79
- end
80
-
81
- class MessageType
82
- type t = 1 | 2 | 3 | 4
83
-
84
- ERROR: 1
85
-
86
- WARNING: 2
87
-
88
- INFO: 3
89
-
90
- LOG: 4
91
- end
92
-
93
- module DiagnosticSeverity
94
- type t = 1 | 2 | 3 | 4
95
-
96
- ERROR: 1
97
-
98
- WARNING: 2
99
-
100
- INFORMATION: 3
101
-
102
- HINT: 4
103
- end
104
-
105
- module DiagnosticTag
106
- type t = 1 | 2
107
-
108
- UNNECESSARY: 1
109
-
110
- DEPRECATED: 2
111
- end
112
-
113
- module SymbolKind
114
- FILE: 1
115
- MODULE: 2
116
- NAMESPACE: 3
117
- PACKAGE: 4
118
- CLASS: 5
119
- METHOD: 6
120
- PROPERTY: 7
121
- FIELD: 8
122
- CONSTRUCTOR: 9
123
- ENUM: 10
124
- INTERFACE: 11
125
- FUNCTION: 12
126
- VARIABLE: 13
127
- CONSTANT: 14
128
- STRING: 15
129
- NUMBER: 16
130
- BOOLEAN: 17
131
- ARRAY: 18
132
- OBJECT: 19
133
- KEY: 20
134
- NULL: 21
135
- ENUM_MEMBER: 22
136
- STRUCT: 23
137
- EVENT: 24
138
- OPERATOR: 25
139
- TYPE_PARAMETER: 26
140
-
141
- type t = 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
142
- end
143
- end
144
-
145
- module Interface
146
- interface _Base
147
- def attributes: () -> Hash[Symbol, untyped]
148
-
149
- alias to_hash attributes
150
-
151
- def to_json: () -> String
152
- end
153
-
154
- class Position
155
- type json = { line: Integer, character: Integer }
156
-
157
- include _Base
158
-
159
- # 0-origin line number
160
- attr_reader line: Integer
161
-
162
- # 0-origin character position (== cursor position)
163
- attr_reader character: Integer
164
-
165
- def initialize: (line: Integer, character: Integer) -> void
166
- | (Hash[Symbol, untyped]) -> void
167
- end
168
-
169
- class Range
170
- include _Base
171
-
172
- type json = {
173
- start: Position::json,
174
- end: Position::json
175
- }
176
-
177
- attr_reader start: Position
178
-
179
- attr_reader end: Position
180
-
181
- def initialize: (start: Position, end: Position) -> void
182
- | (Hash[Symbol, untyped]) -> void
183
- end
184
-
185
- class Location
186
- include _Base
187
-
188
- type json = { uri: String, range: Range::json }
189
-
190
- attr_reader uri: String
191
-
192
- attr_reader range: Range
193
-
194
- def initialize: (uri: String, range: Range) -> void
195
- end
196
-
197
- class MarkupContent
198
- include _Base
199
-
200
- attr_reader kind: Constant::MarkupKind::t
201
-
202
- attr_reader value: String
203
-
204
- def initialize: (kind: Constant::MarkupKind::t, value: String) -> void
205
- end
206
-
207
- class TextEdit
208
- include _Base
209
-
210
- attr_reader range: Range
211
-
212
- attr_reader new_text: String
213
-
214
- def initialize: (range: Range, new_text: String) -> void
215
- end
216
-
217
- class InsertReplaceEdit
218
- include _Base
219
-
220
- attr_reader new_text: String
221
-
222
- attr_reader insert: Range
223
-
224
- attr_reader replace: Range
225
-
226
- def initialize: (new_text: String, insert: Range, replace: Range) -> void
227
- end
228
-
229
- class Command
230
- include _Base
231
-
232
- attr_reader title: String
233
-
234
- attr_reader command: String
235
-
236
- attr_reader arguments: Array[untyped]?
237
-
238
- def initialize: (title: String, command: String, ?arguments: Array[untyped]?) -> void
239
- end
240
-
241
- class Hover
242
- include _Base
243
-
244
- attr_reader contents: MarkupContent
245
-
246
- attr_reader range: Range
247
-
248
- def initialize: (contents: MarkupContent, range: Range) -> void
249
- end
250
-
251
- class CompletionList
252
- include _Base
253
-
254
- attr_reader is_incomplete: bool
255
-
256
- attr_reader items: Array[CompletionItem]
257
-
258
- def initialize: (items: Array[CompletionItem], is_incomplete: bool) -> void
259
- end
260
-
261
- class CompletionItem
262
- include _Base
263
-
264
- attr_reader label: String
265
-
266
- attr_reader label_details: CompletionItemLabelDetails?
267
-
268
- attr_reader kind: Constant::CompletionItemKind::t?
269
-
270
- attr_reader tags: Array[Constant::CompletionItemTag::t]?
271
-
272
- attr_reader detail: String?
273
-
274
- attr_reader documentation: MarkupContent?
275
-
276
- attr_reader preselect: bool?
277
-
278
- attr_reader sort_text: String?
279
-
280
- attr_reader filter_text: String?
281
-
282
- attr_reader insert_text: String?
283
-
284
- attr_reader insert_text_format: Constant::InsertTextFormat::t?
285
-
286
- attr_reader insert_text_mode: Constant::InsertTextMode::t?
287
-
288
- attr_reader text_edit: TextEdit | InsertReplaceEdit | nil
289
-
290
- attr_reader text_edit_text: String?
291
-
292
- attr_reader additional_text_edits: Array[TextEdit]?
293
-
294
- attr_reader commit_characters: Array[String]?
295
-
296
- attr_reader command: Command?
297
-
298
- attr_reader data: untyped?
299
-
300
- def initialize:(
301
- label: String,
302
- ?label_details: CompletionItemLabelDetails?,
303
- ?kind: Constant::CompletionItemKind::t?,
304
- ?tags: Array[Constant::CompletionItemTag::t]?,
305
- ?detail: String?,
306
- ?documentation: MarkupContent?,
307
- ?preselect: bool?,
308
- ?sort_text: String?,
309
- ?filter_text: String?,
310
- ?insert_text: String?,
311
- ?insert_text_format: Constant::InsertTextFormat::t?,
312
- ?insert_text_mode: Constant::InsertTextMode::t?,
313
- ?text_edit: TextEdit | InsertReplaceEdit | nil,
314
- ?text_edit_text: String?,
315
- ?additional_text_edits: Array[TextEdit]?,
316
- ?commit_characters: Array[String]?,
317
- ?command: Command?,
318
- ?data: untyped?
319
- ) -> void
320
- end
321
-
322
- class CompletionItemLabelDetails
323
- include _Base
324
-
325
- attr_reader detail: String?
326
-
327
- attr_reader description: String?
328
-
329
- def initialize: (?detail: String?, ?description: String?) -> void
330
- end
331
-
332
- class SignatureInformation
333
- include _Base
334
-
335
- attr_reader label: String
336
-
337
- attr_reader documentation: MarkupContent?
338
-
339
- attr_reader parameters: Array[ParameterInformation]?
340
-
341
- attr_reader active_parameter: Integer?
342
-
343
- def initialize: (label: String, ?documentation: MarkupContent?, ?parameters: Array[ParameterInformation]?, ?active_parameter: Integer?) -> void
344
- end
345
-
346
- class ParameterInformation
347
- include _Base
348
-
349
- attr_reader label: String | [Integer, Integer]
350
-
351
- attr_reader documentation: MarkupContent?
352
-
353
- def initialize: (label: String | [Integer, Integer], ?documentation: MarkupContent) -> void
354
- end
355
-
356
- class SignatureHelp
357
- include _Base
358
-
359
- attr_reader signatures: Array[SignatureInformation]
360
-
361
- attr_reader active_signature: Integer?
362
-
363
- attr_reader active_parameter: Integer?
364
-
365
- def initialize: (signatures: Array[SignatureInformation], ?active_signature: Integer?, ?active_parameter: Integer?) -> void
366
- end
367
-
368
- class PublishDiagnosticsParams
369
- include _Base
370
-
371
- attr_reader uri: String
372
-
373
- attr_reader version: Integer?
374
-
375
- attr_reader diagnostics: Array[Diagnostic]
376
-
377
- def initialize: (uri: String, ?version: Integer?, diagnostics: Array[Diagnostic]) -> void
378
- end
379
-
380
- class Diagnostic
381
- type json = {
382
- range: Range::json,
383
- severity: Constant::DiagnosticSeverity::t?,
384
- code: Integer | String | nil,
385
- codeDescription: CodeDescription::json?,
386
- source: String?,
387
- message: String,
388
- tags: Array[Constant::DiagnosticTag::t]?,
389
- relatedInformation: RelatedInformation::json?,
390
- data: untyped?
391
- }
392
-
393
- attr_reader range: Range
394
-
395
- attr_reader severity: Constant::DiagnosticSeverity::t?
396
-
397
- attr_reader code: Integer | String | nil
398
-
399
- attr_reader code_description: CodeDescription?
400
-
401
- attr_reader source: String?
402
-
403
- attr_reader message: String
404
-
405
- attr_reader tags: Array[Constant::DiagnosticTag::t]?
406
-
407
- attr_reader related_information: RelatedInformation?
408
-
409
- attr_reader data: untyped?
410
-
411
- def initialize: (
412
- range: Range,
413
- ?severity: Constant::DiagnosticSeverity::t?,
414
- ?code: Integer | String | nil,
415
- ?code_description: CodeDescription?,
416
- ?source: String?,
417
- message: String,
418
- ?tags: Array[Constant::DiagnosticTag::t]?,
419
- ?related_information: RelatedInformation?,
420
- ?data: untyped
421
- ) -> void
422
- end
423
-
424
- class RelatedInformation
425
- include _Base
426
-
427
- type json = {
428
- location: Location::json,
429
- message: String
430
- }
431
-
432
- attr_reader location: Location
433
-
434
- attr_reader message: String
435
-
436
- def initialize: (location: Location, message: String) -> void
437
- end
438
-
439
- class CodeDescription
440
- include _Base
441
-
442
- type json = { href: String }
443
-
444
- attr_reader href: String
445
-
446
- def initialize: (href: String) -> void
447
- end
448
- end
449
- end
450
- end
@@ -1,33 +0,0 @@
1
- module Parser
2
- module Source
3
- class Comment
4
- def self.associate: (untyped ast, untyped comments) -> untyped
5
-
6
- def self.associate_by_identity: (untyped ast, untyped comments) -> untyped
7
-
8
- def self.associate_locations: (untyped ast, untyped comments) -> untyped
9
-
10
- public
11
-
12
- def ==: (untyped other) -> bool
13
-
14
- def document?: () -> bool
15
-
16
- def inline?: () -> bool
17
-
18
- def inspect: () -> String
19
-
20
- alias loc location
21
-
22
- def location: () -> Map
23
-
24
- def text: () -> String
25
-
26
- def type: () -> (:inline | :document)
27
-
28
- private
29
-
30
- def initialize: (untyped range) -> void
31
- end
32
- end
33
- end