@jpoly1219/context-extractor 0.2.2 → 0.2.4

Sign up to get free protection for your applications and to get access to all the features.
@@ -0,0 +1,949 @@
1
+ export type integer = number;
2
+ export type uinteger = number;
3
+ export type decimal = number;
4
+ type ProgressToken = integer | string;
5
+ type DocumentUri = string;
6
+ type URI = string;
7
+ export type TraceValue = 'off' | 'messages' | 'verbose';
8
+ export type LSPObject = {
9
+ [key: string]: LSPAny;
10
+ };
11
+ export type LSPArray = LSPAny[];
12
+ export type LSPAny = LSPObject | LSPArray | string | integer | uinteger | decimal | boolean | null;
13
+ interface Command {
14
+ title: string;
15
+ command: string;
16
+ arguments?: LSPAny[];
17
+ }
18
+ export type ChangeAnnotationIdentifier = string;
19
+ export interface ResponseError {
20
+ code: integer;
21
+ message: string;
22
+ data?: string | number | boolean | [] | Record<string, unknown> | null;
23
+ }
24
+ export interface WorkDoneProgressParams {
25
+ workDoneToken?: ProgressToken;
26
+ }
27
+ export interface InitializeParams extends WorkDoneProgressParams {
28
+ processId: integer | null;
29
+ clientInfo?: {
30
+ name: string;
31
+ version?: string;
32
+ };
33
+ locale?: string;
34
+ rootPath?: string | null;
35
+ rootUri: DocumentUri | null;
36
+ initializationOptions?: any;
37
+ capabilities: ClientCapabilities;
38
+ trace?: TraceValue;
39
+ workspaceFolders?: WorkspaceFolder[] | null;
40
+ }
41
+ export interface ClientCapabilities {
42
+ workspace?: {
43
+ applyEdit?: boolean;
44
+ workspaceEdit?: WorkspaceEditClientCapabilities;
45
+ didChangeConfiguration?: DidChangeConfigurationClientCapabilities;
46
+ didChangeWatchedFiles?: DidChangeWatchedFilesClientCapabilities;
47
+ symbol?: WorkspaceSymbolClientCapabilities;
48
+ executeCommand?: ExecuteCommandClientCapabilities;
49
+ workspaceFolders?: boolean;
50
+ configuration?: boolean;
51
+ semanticTokens?: SemanticTokensWorkspaceClientCapabilities;
52
+ codeLens?: CodeLensWorkspaceClientCapabilities;
53
+ fileOperations?: {
54
+ dynamicRegistration?: boolean;
55
+ didCreate?: boolean;
56
+ willCreate?: boolean;
57
+ didRename?: boolean;
58
+ willRename?: boolean;
59
+ didDelete?: boolean;
60
+ willDelete?: boolean;
61
+ };
62
+ };
63
+ textDocument?: TextDocumentClientCapabilities;
64
+ window?: {
65
+ workDoneProgress?: boolean;
66
+ showMessage?: ShowMessageRequestClientCapabilities;
67
+ showDocument?: ShowDocumentClientCapabilities;
68
+ };
69
+ general?: {
70
+ staleRequestSupport?: {
71
+ cancel: boolean;
72
+ retryOnContentModified: string[];
73
+ };
74
+ regularExpressions?: RegularExpressionsClientCapabilities;
75
+ markdown?: MarkdownClientCapabilities;
76
+ positionEncodings?: PositionEncodingKind[];
77
+ };
78
+ experimental?: any;
79
+ }
80
+ export interface WorkspaceFolder {
81
+ uri: DocumentUri;
82
+ name: string;
83
+ }
84
+ export interface ApplyWorkspaceEditParams {
85
+ label?: string;
86
+ edit: WorkspaceEdit;
87
+ }
88
+ export interface WorkspaceEdit {
89
+ changes?: {
90
+ [uri: string]: TextEdit[];
91
+ };
92
+ documentChanges?: (TextDocumentEdit[] | (TextDocumentEdit | CreateFile | RenameFile | DeleteFile)[]);
93
+ changeAnnotations?: {
94
+ [id: string]: ChangeAnnotation;
95
+ };
96
+ }
97
+ interface TextEdit {
98
+ range: Range;
99
+ newText: string;
100
+ }
101
+ export interface Range {
102
+ start: Position;
103
+ end: Position;
104
+ }
105
+ export interface Position {
106
+ line: uinteger;
107
+ character: uinteger;
108
+ }
109
+ export interface TextDocumentEdit {
110
+ textDocument: OptionalVersionedTextDocumentIdentifier;
111
+ edits: (TextEdit | AnnotatedTextEdit)[];
112
+ }
113
+ export type TextDocumentContentChangeEvent = {
114
+ range: Range;
115
+ rangeLength?: uinteger;
116
+ text: string;
117
+ } | {
118
+ text: string;
119
+ };
120
+ interface TextDocumentIdentifier {
121
+ uri: DocumentUri;
122
+ }
123
+ interface VersionedTextDocumentIdentifier extends TextDocumentIdentifier {
124
+ version: integer;
125
+ }
126
+ interface OptionalVersionedTextDocumentIdentifier extends TextDocumentIdentifier {
127
+ version: integer | null;
128
+ }
129
+ export interface AnnotatedTextEdit extends TextEdit {
130
+ annotationId: ChangeAnnotationIdentifier;
131
+ }
132
+ export interface CreateFile {
133
+ kind: 'create';
134
+ uri: DocumentUri;
135
+ options?: CreateFileOptions;
136
+ annotationId?: ChangeAnnotationIdentifier;
137
+ }
138
+ export interface CreateFileOptions {
139
+ overwrite?: boolean;
140
+ ignoreIfExists?: boolean;
141
+ }
142
+ export interface RenameFile {
143
+ kind: 'rename';
144
+ oldUri: DocumentUri;
145
+ newUri: DocumentUri;
146
+ options?: RenameFileOptions;
147
+ annotationId?: ChangeAnnotationIdentifier;
148
+ }
149
+ export interface RenameFileOptions {
150
+ overwrite?: boolean;
151
+ ignoreIfExists?: boolean;
152
+ }
153
+ export interface DeleteFile {
154
+ kind: 'delete';
155
+ uri: DocumentUri;
156
+ options?: DeleteFileOptions;
157
+ annotationId?: ChangeAnnotationIdentifier;
158
+ }
159
+ export interface DeleteFileOptions {
160
+ recursive?: boolean;
161
+ ignoreIfNotExists?: boolean;
162
+ }
163
+ export interface ChangeAnnotation {
164
+ label: string;
165
+ needsConfirmation?: boolean;
166
+ description?: string;
167
+ }
168
+ export interface WorkspaceEditClientCapabilities {
169
+ documentChanges?: boolean;
170
+ resourceOperations?: ResourceOperationKind[];
171
+ failureHandling?: FailureHandlingKind;
172
+ normalizesLineEndings?: boolean;
173
+ changeAnnotationSupport?: {
174
+ groupsOnLabel?: boolean;
175
+ };
176
+ }
177
+ export type ResourceOperationKind = 'create' | 'rename' | 'delete';
178
+ export type FailureHandlingKind = 'abort' | 'transactional' | 'undo' | 'textOnlyTransactional';
179
+ export interface DidChangeConfigurationClientCapabilities {
180
+ dynamicRegistration?: boolean;
181
+ }
182
+ export interface DidChangeWatchedFilesClientCapabilities {
183
+ dynamicRegistration?: boolean;
184
+ }
185
+ interface WorkspaceSymbolClientCapabilities {
186
+ dynamicRegistration?: boolean;
187
+ symbolKind?: {
188
+ valueSet?: SymbolKind[];
189
+ };
190
+ tagSupport?: {
191
+ valueSet: SymbolTag[];
192
+ };
193
+ }
194
+ export declare enum SymbolKind {
195
+ File = 1,
196
+ Module = 2,
197
+ Namespace = 3,
198
+ Package = 4,
199
+ Class = 5,
200
+ Method = 6,
201
+ Property = 7,
202
+ Field = 8,
203
+ Constructor = 9,
204
+ Enum = 10,
205
+ Interface = 11,
206
+ Function = 12,
207
+ Variable = 13,
208
+ Constant = 14,
209
+ String = 15,
210
+ Number = 16,
211
+ Boolean = 17,
212
+ Array = 18,
213
+ Object = 19,
214
+ Key = 20,
215
+ Null = 21,
216
+ EnumMember = 22,
217
+ Struct = 23,
218
+ Event = 24,
219
+ Operator = 25,
220
+ TypeParameter = 26
221
+ }
222
+ export type SymbolTag = 1;
223
+ export interface ExecuteCommandClientCapabilities {
224
+ dynamicRegistration?: boolean;
225
+ }
226
+ export interface SemanticTokensWorkspaceClientCapabilities {
227
+ refreshSupport?: boolean;
228
+ }
229
+ export interface CodeLensWorkspaceClientCapabilities {
230
+ refreshSupport?: boolean;
231
+ }
232
+ export interface TextDocumentClientCapabilities {
233
+ synchronization?: TextDocumentSyncClientCapabilities;
234
+ completion?: CompletionClientCapabilities;
235
+ hover?: HoverClientCapabilities;
236
+ signatureHelp?: SignatureHelpClientCapabilities;
237
+ declaration?: DeclarationClientCapabilities;
238
+ definition?: DefinitionClientCapabilities;
239
+ typeDefinition?: TypeDefinitionClientCapabilities;
240
+ implementation?: ImplementationClientCapabilities;
241
+ references?: ReferenceClientCapabilities;
242
+ documentHighlight?: DocumentHighlightClientCapabilities;
243
+ documentSymbol?: DocumentSymbolClientCapabilities;
244
+ codeAction?: CodeActionClientCapabilities;
245
+ codeLens?: CodeLensClientCapabilities;
246
+ documentLink?: DocumentLinkClientCapabilities;
247
+ colorProvider?: DocumentColorClientCapabilities;
248
+ formatting?: DocumentFormattingClientCapabilities;
249
+ rangeFormatting?: DocumentRangeFormattingClientCapabilities;
250
+ onTypeFormatting?: DocumentOnTypeFormattingClientCapabilities;
251
+ rename?: RenameClientCapabilities;
252
+ publishDiagnostics?: PublishDiagnosticsClientCapabilities;
253
+ foldingRange?: FoldingRangeClientCapabilities;
254
+ selectionRange?: SelectionRangeClientCapabilities;
255
+ linkedEditingRange?: LinkedEditingRangeClientCapabilities;
256
+ callHierarchy?: CallHierarchyClientCapabilities;
257
+ semanticTokens?: SemanticTokensClientCapabilities;
258
+ moniker?: MonikerClientCapabilities;
259
+ }
260
+ export interface TextDocumentSyncClientCapabilities {
261
+ dynamicRegistration?: boolean;
262
+ willSave?: boolean;
263
+ willSaveWaitUntil?: boolean;
264
+ didSave?: boolean;
265
+ }
266
+ export interface CompletionClientCapabilities {
267
+ dynamicRegistration?: boolean;
268
+ completionItem?: {
269
+ snippetSupport?: boolean;
270
+ commitCharactersSupport?: boolean;
271
+ documentationFormat?: MarkupKind[];
272
+ deprecatedSupport?: boolean;
273
+ preselectSupport?: boolean;
274
+ tagSupport?: {
275
+ valueSet: CompletionItemTag[];
276
+ };
277
+ insertReplaceSupport?: boolean;
278
+ resolveSupport?: {
279
+ properties: string[];
280
+ };
281
+ insertTextModeSupport?: {
282
+ valueSet: InsertTextMode[];
283
+ };
284
+ labelDetailsSupport?: boolean;
285
+ };
286
+ completionItemKind?: {
287
+ valueSet?: CompletionItemKind[];
288
+ };
289
+ contextSupport?: boolean;
290
+ insertTextMode?: InsertTextMode;
291
+ }
292
+ export type MarkupKind = 'plaintext' | 'markdown';
293
+ export type CompletionItemTag = 1;
294
+ export type InsertTextMode = 1 | 2;
295
+ export declare enum CompletionItemKind {
296
+ Text = 1,
297
+ Method = 2,
298
+ Function = 3,
299
+ Constructor = 4,
300
+ Field = 5,
301
+ Variable = 6,
302
+ Class = 7,
303
+ Interface = 8,
304
+ Module = 9,
305
+ Property = 10,
306
+ Unit = 11,
307
+ Value = 12,
308
+ Enum = 13,
309
+ Keyword = 14,
310
+ Snippet = 15,
311
+ Color = 16,
312
+ File = 17,
313
+ Reference = 18,
314
+ Folder = 19,
315
+ EnumMember = 20,
316
+ Constant = 21,
317
+ Struct = 22,
318
+ Event = 23,
319
+ Operator = 24,
320
+ TypeParameter = 25
321
+ }
322
+ export interface HoverClientCapabilities {
323
+ dynamicRegistration?: boolean;
324
+ contentFormat?: MarkupKind[];
325
+ }
326
+ export interface SignatureHelpClientCapabilities {
327
+ dynamicRegistration?: boolean;
328
+ signatureInformation?: {
329
+ documentationFormat?: MarkupKind[];
330
+ parameterInformation?: {
331
+ labelOffsetSupport?: boolean;
332
+ };
333
+ activeParameterSupport?: boolean;
334
+ };
335
+ contextSupport?: boolean;
336
+ }
337
+ export interface DeclarationClientCapabilities {
338
+ dynamicRegistration?: boolean;
339
+ linkSupport?: boolean;
340
+ }
341
+ export interface DefinitionClientCapabilities {
342
+ dynamicRegistration?: boolean;
343
+ linkSupport?: boolean;
344
+ }
345
+ export interface TypeDefinitionClientCapabilities {
346
+ dynamicRegistration?: boolean;
347
+ linkSupport?: boolean;
348
+ }
349
+ export interface ImplementationClientCapabilities {
350
+ dynamicRegistration?: boolean;
351
+ linkSupport?: boolean;
352
+ }
353
+ export interface ReferenceClientCapabilities {
354
+ dynamicRegistration?: boolean;
355
+ }
356
+ export interface DocumentHighlightClientCapabilities {
357
+ dynamicRegistration?: boolean;
358
+ }
359
+ export interface DocumentSymbolClientCapabilities {
360
+ dynamicRegistration?: boolean;
361
+ symbolKind?: {
362
+ valueSet?: SymbolKind[];
363
+ };
364
+ hierarchicalDocumentSymbolSupport?: boolean;
365
+ tagSupport?: {
366
+ valueSet: SymbolTag[];
367
+ };
368
+ labelSupport?: boolean;
369
+ }
370
+ export interface CodeActionClientCapabilities {
371
+ dynamicRegistration?: boolean;
372
+ codeActionLiteralSupport?: {
373
+ codeActionKind: {
374
+ valueSet: CodeActionKind[];
375
+ };
376
+ };
377
+ isPreferredSupport?: boolean;
378
+ disabledSupport?: boolean;
379
+ dataSupport?: boolean;
380
+ resolveSupport?: {
381
+ properties: string[];
382
+ };
383
+ honorsChangeAnnotations?: boolean;
384
+ }
385
+ export declare enum CodeActionKind {
386
+ Empty = "",
387
+ QuickFix = "quickfix",
388
+ Refactor = "refactor",
389
+ RefactorExtract = "refactor.extract",
390
+ RefactorInline = "refactor.inline",
391
+ RefactorRewrite = "refactor.rewrite",
392
+ Source = "source",
393
+ SourceOrganizeImports = "source.organizeImports"
394
+ }
395
+ export interface CodeLensClientCapabilities {
396
+ dynamicRegistration?: boolean;
397
+ }
398
+ export interface DocumentLinkClientCapabilities {
399
+ dynamicRegistration?: boolean;
400
+ tooltipSupport?: boolean;
401
+ }
402
+ export interface DocumentColorClientCapabilities {
403
+ dynamicRegistration?: boolean;
404
+ }
405
+ export interface DocumentFormattingClientCapabilities {
406
+ dynamicRegistration?: boolean;
407
+ }
408
+ export interface DocumentRangeFormattingClientCapabilities {
409
+ dynamicRegistration?: boolean;
410
+ }
411
+ export interface DocumentOnTypeFormattingClientCapabilities {
412
+ dynamicRegistration?: boolean;
413
+ }
414
+ export type PrepareSupportDefaultBehavior = 1;
415
+ export interface RenameClientCapabilities {
416
+ dynamicRegistration?: boolean;
417
+ prepareSupport?: boolean;
418
+ prepareSupportDefaultBehavior?: PrepareSupportDefaultBehavior;
419
+ honorsChangeAnnotations?: boolean;
420
+ }
421
+ export interface PublishDiagnosticsClientCapabilities {
422
+ relatedInformation?: boolean;
423
+ tagSupport?: {
424
+ valueSet: DiagnosticTag[];
425
+ };
426
+ versionSupport?: boolean;
427
+ codeDescriptionSupport?: boolean;
428
+ dataSupport?: boolean;
429
+ }
430
+ export type DiagnosticTag = 1 | 2;
431
+ export interface FoldingRangeClientCapabilities {
432
+ dynamicRegistration?: boolean;
433
+ rangeLimit?: uinteger;
434
+ lineFoldingOnly?: boolean;
435
+ }
436
+ export interface SelectionRangeClientCapabilities {
437
+ dynamicRegistration?: boolean;
438
+ }
439
+ export interface LinkedEditingRangeClientCapabilities {
440
+ dynamicRegistration?: boolean;
441
+ }
442
+ interface CallHierarchyClientCapabilities {
443
+ dynamicRegistration?: boolean;
444
+ }
445
+ interface SemanticTokensClientCapabilities {
446
+ dynamicRegistration?: boolean;
447
+ requests: {
448
+ range?: boolean | object;
449
+ full?: boolean | {
450
+ delta?: boolean;
451
+ };
452
+ };
453
+ tokenTypes: string[];
454
+ tokenModifiers: string[];
455
+ formats: TokenFormat[];
456
+ overlappingTokenSupport?: boolean;
457
+ multilineTokenSupport?: boolean;
458
+ }
459
+ export type TokenFormat = 'relative';
460
+ interface MonikerClientCapabilities {
461
+ dynamicRegistration?: boolean;
462
+ }
463
+ export interface ShowMessageRequestClientCapabilities {
464
+ messageActionItem?: {
465
+ additionalPropertiesSupport?: boolean;
466
+ };
467
+ }
468
+ export interface ShowDocumentClientCapabilities {
469
+ support: boolean;
470
+ }
471
+ export interface RegularExpressionsClientCapabilities {
472
+ engine: string;
473
+ version?: string;
474
+ }
475
+ export interface MarkdownClientCapabilities {
476
+ parser: string;
477
+ version?: string;
478
+ }
479
+ export type PositionEncodingKind = string;
480
+ export interface InitializeResult {
481
+ capabilities: ServerCapabilities;
482
+ serverInfo?: {
483
+ name: string;
484
+ version?: string;
485
+ };
486
+ }
487
+ interface ServerCapabilities {
488
+ textDocumentSync?: TextDocumentSyncOptions | TextDocumentSyncKind;
489
+ completionProvider?: CompletionOptions;
490
+ hoverProvider?: boolean | HoverOptions;
491
+ signatureHelpProvider?: SignatureHelpOptions;
492
+ declarationProvider?: boolean | DeclarationOptions | DeclarationRegistrationOptions;
493
+ definitionProvider?: boolean | DefinitionOptions;
494
+ typeDefinitionProvider?: boolean | TypeDefinitionOptions | TypeDefinitionRegistrationOptions;
495
+ implementationProvider?: boolean | ImplementationOptions | ImplementationRegistrationOptions;
496
+ referencesProvider?: boolean | ReferenceOptions;
497
+ documentHighlightProvider?: boolean | DocumentHighlightOptions;
498
+ documentSymbolProvider?: boolean | DocumentSymbolOptions;
499
+ codeActionProvider?: boolean | CodeActionOptions;
500
+ codeLensProvider?: CodeLensOptions;
501
+ documentLinkProvider?: DocumentLinkOptions;
502
+ colorProvider?: boolean | DocumentColorOptions | DocumentColorRegistrationOptions;
503
+ documentFormattingProvider?: boolean | DocumentFormattingOptions;
504
+ documentRangeFormattingProvider?: boolean | DocumentRangeFormattingOptions;
505
+ documentOnTypeFormattingProvider?: DocumentOnTypeFormattingOptions;
506
+ renameProvider?: boolean | RenameOptions;
507
+ foldingRangeProvider?: boolean | FoldingRangeOptions | FoldingRangeRegistrationOptions;
508
+ executeCommandProvider?: ExecuteCommandOptions;
509
+ selectionRangeProvider?: boolean | SelectionRangeOptions | SelectionRangeRegistrationOptions;
510
+ linkedEditingRangeProvider?: boolean | LinkedEditingRangeOptions | LinkedEditingRangeRegistrationOptions;
511
+ callHierarchyProvider?: boolean | CallHierarchyOptions | CallHierarchyRegistrationOptions;
512
+ semanticTokensProvider?: SemanticTokensOptions | SemanticTokensRegistrationOptions;
513
+ monikerProvider?: boolean | MonikerOptions | MonikerRegistrationOptions;
514
+ workspaceSymbolProvider?: boolean | WorkspaceSymbolOptions;
515
+ workspace?: {
516
+ workspaceFolders?: WorkspaceFoldersServerCapabilities;
517
+ fileOperations?: {
518
+ didCreate?: FileOperationRegistrationOptions;
519
+ willCreate?: FileOperationRegistrationOptions;
520
+ didRename?: FileOperationRegistrationOptions;
521
+ willRename?: FileOperationRegistrationOptions;
522
+ didDelete?: FileOperationRegistrationOptions;
523
+ willDelete?: FileOperationRegistrationOptions;
524
+ };
525
+ };
526
+ experimental?: any;
527
+ }
528
+ export interface TextDocumentSyncOptions {
529
+ openClose?: boolean;
530
+ change?: TextDocumentSyncKind;
531
+ }
532
+ export declare enum TextDocumentSyncKind {
533
+ None = 0,
534
+ Full = 1,
535
+ Incremental = 2
536
+ }
537
+ export interface CompletionOptions extends WorkDoneProgressOptions {
538
+ triggerCharacters?: string[];
539
+ allCommitCharacters?: string[];
540
+ resolveProvider?: boolean;
541
+ completionItem?: {
542
+ labelDetailsSupport?: boolean;
543
+ };
544
+ }
545
+ export interface WorkDoneProgressOptions {
546
+ workDoneProgress?: boolean;
547
+ }
548
+ export type HoverOptions = WorkDoneProgressOptions;
549
+ export interface SignatureHelpOptions extends WorkDoneProgressOptions {
550
+ triggerCharacters?: string[];
551
+ retriggerCharacters?: string[];
552
+ }
553
+ export type DeclarationOptions = WorkDoneProgressOptions;
554
+ export interface DeclarationRegistrationOptions extends DeclarationOptions, TextDocumentRegistrationOptions, StaticRegistrationOptions {
555
+ }
556
+ export interface TextDocumentRegistrationOptions {
557
+ documentSelector: DocumentSelector | null;
558
+ }
559
+ export type DocumentSelector = DocumentFilter[];
560
+ export interface DocumentFilter {
561
+ language?: string;
562
+ scheme?: string;
563
+ pattern?: string;
564
+ }
565
+ export interface StaticRegistrationOptions {
566
+ id?: string;
567
+ }
568
+ export interface TypeDefinitionRegistrationOptions extends TextDocumentRegistrationOptions, TypeDefinitionOptions, StaticRegistrationOptions {
569
+ }
570
+ export type DefinitionOptions = WorkDoneProgressOptions;
571
+ export type TypeDefinitionOptions = WorkDoneProgressOptions;
572
+ export type ImplementationOptions = WorkDoneProgressOptions;
573
+ export interface ImplementationRegistrationOptions extends TextDocumentRegistrationOptions, ImplementationOptions, StaticRegistrationOptions {
574
+ }
575
+ export type ReferenceOptions = WorkDoneProgressOptions;
576
+ export type DocumentHighlightOptions = WorkDoneProgressOptions;
577
+ export interface DocumentSymbolOptions extends WorkDoneProgressOptions {
578
+ label?: string;
579
+ }
580
+ export interface CodeActionOptions extends WorkDoneProgressOptions {
581
+ codeActionKinds?: CodeActionKind[];
582
+ resolveProvider?: boolean;
583
+ }
584
+ export interface CodeLensOptions extends WorkDoneProgressOptions {
585
+ resolveProvider?: boolean;
586
+ }
587
+ export interface DocumentLinkOptions extends WorkDoneProgressOptions {
588
+ resolveProvider?: boolean;
589
+ }
590
+ export type DocumentColorOptions = WorkDoneProgressOptions;
591
+ export interface DocumentColorRegistrationOptions extends TextDocumentRegistrationOptions, StaticRegistrationOptions, DocumentColorOptions {
592
+ }
593
+ export type DocumentFormattingOptions = WorkDoneProgressOptions;
594
+ export type DocumentRangeFormattingOptions = WorkDoneProgressOptions;
595
+ export interface DocumentOnTypeFormattingOptions {
596
+ firstTriggerCharacter: string;
597
+ moreTriggerCharacter?: string[];
598
+ }
599
+ export interface RenameOptions extends WorkDoneProgressOptions {
600
+ prepareProvider?: boolean;
601
+ }
602
+ export type FoldingRangeOptions = WorkDoneProgressOptions;
603
+ export interface FoldingRangeRegistrationOptions extends TextDocumentRegistrationOptions, FoldingRangeOptions, StaticRegistrationOptions {
604
+ }
605
+ export interface ExecuteCommandOptions extends WorkDoneProgressOptions {
606
+ commands: string[];
607
+ }
608
+ export type SelectionRangeOptions = WorkDoneProgressOptions;
609
+ export interface SelectionRangeRegistrationOptions extends SelectionRangeOptions, TextDocumentRegistrationOptions, StaticRegistrationOptions {
610
+ }
611
+ export type LinkedEditingRangeOptions = WorkDoneProgressOptions;
612
+ export interface LinkedEditingRangeRegistrationOptions extends TextDocumentRegistrationOptions, LinkedEditingRangeOptions, StaticRegistrationOptions {
613
+ }
614
+ export type CallHierarchyOptions = WorkDoneProgressOptions;
615
+ export interface CallHierarchyRegistrationOptions extends TextDocumentRegistrationOptions, CallHierarchyOptions, StaticRegistrationOptions {
616
+ }
617
+ export interface SemanticTokensOptions extends WorkDoneProgressOptions {
618
+ legend: SemanticTokensLegend;
619
+ range?: boolean | object;
620
+ full?: boolean | {
621
+ delta?: boolean;
622
+ };
623
+ }
624
+ export interface SemanticTokensLegend {
625
+ tokenTypes: string[];
626
+ tokenModifiers: string[];
627
+ }
628
+ export interface SemanticTokensRegistrationOptions extends TextDocumentRegistrationOptions, SemanticTokensOptions, StaticRegistrationOptions {
629
+ }
630
+ export type MonikerOptions = WorkDoneProgressOptions;
631
+ export interface MonikerRegistrationOptions extends TextDocumentRegistrationOptions, MonikerOptions {
632
+ }
633
+ export type WorkspaceSymbolOptions = WorkDoneProgressOptions;
634
+ export interface WorkspaceFoldersServerCapabilities {
635
+ supported?: boolean;
636
+ changeNotifications?: string | boolean;
637
+ }
638
+ interface FileOperationRegistrationOptions {
639
+ filters: FileOperationFilter[];
640
+ }
641
+ export interface FileOperationFilter {
642
+ scheme?: string;
643
+ pattern: FileOperationPattern;
644
+ }
645
+ interface FileOperationPattern {
646
+ glob: string;
647
+ matches?: FileOperationPatternKind;
648
+ options?: FileOperationPatternOptions;
649
+ }
650
+ export type FileOperationPatternKind = 'file' | 'folder';
651
+ export interface FileOperationPatternOptions {
652
+ ignoreCase?: boolean;
653
+ }
654
+ export interface ShutdownResult {
655
+ result: null;
656
+ error?: ResponseError;
657
+ }
658
+ export interface DidOpenTextDocumentParams {
659
+ textDocument: TextDocumentItem;
660
+ }
661
+ export interface TextDocumentItem {
662
+ uri: DocumentUri;
663
+ languageId: string;
664
+ version: integer;
665
+ text: string;
666
+ }
667
+ export interface DocumentSymbolParams extends WorkDoneProgressParams, PartialResultParams {
668
+ textDocument: TextDocumentIdentifier;
669
+ }
670
+ export interface PartialResultParams {
671
+ partialResultToken?: ProgressToken;
672
+ }
673
+ export interface DocumentSymbol {
674
+ name: string;
675
+ detail?: string;
676
+ kind: SymbolKind;
677
+ tags?: SymbolTag[];
678
+ deprecated?: boolean;
679
+ range: Range;
680
+ selectionRange: Range;
681
+ children?: DocumentSymbol[];
682
+ }
683
+ export interface SymbolInformation {
684
+ name: string;
685
+ kind: SymbolKind;
686
+ tags?: SymbolTag[];
687
+ deprecated?: boolean;
688
+ location: Location;
689
+ containerName?: string;
690
+ }
691
+ export interface Location {
692
+ uri: DocumentUri;
693
+ range: Range;
694
+ }
695
+ export interface ReferenceParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
696
+ context: ReferenceContext;
697
+ }
698
+ interface TextDocumentPositionParams {
699
+ textDocument: TextDocumentIdentifier;
700
+ position: Position;
701
+ }
702
+ export interface ReferenceContext {
703
+ includeDeclaration: boolean;
704
+ }
705
+ export interface DidChangeTextDocumentParams {
706
+ textDocument: VersionedTextDocumentIdentifier;
707
+ contentChanges: TextDocumentContentChangeEvent[];
708
+ }
709
+ export interface DidCloseTextDocumentParams {
710
+ textDocument: TextDocumentIdentifier;
711
+ }
712
+ export interface DefinitionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
713
+ }
714
+ export interface LocationLink {
715
+ originSelectionRange?: Range;
716
+ targetUri: DocumentUri;
717
+ targetRange: Range;
718
+ targetSelectionRange: Range;
719
+ }
720
+ export interface TypeDefinitionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
721
+ }
722
+ export interface SignatureHelpParams extends TextDocumentPositionParams, WorkDoneProgressParams {
723
+ context?: SignatureHelpContext;
724
+ }
725
+ export interface SignatureHelpContext {
726
+ triggerKind: SignatureHelpTriggerKind;
727
+ triggerCharacter?: string;
728
+ isRetrigger: boolean;
729
+ activeSignatureHelp?: SignatureHelp;
730
+ }
731
+ export declare enum SignatureHelpTriggerKind {
732
+ Invoked = 1,
733
+ TriggerCharacter = 2,
734
+ ContentChange = 3
735
+ }
736
+ export interface SignatureHelp {
737
+ signatures: SignatureInformation[];
738
+ activeSignature?: uinteger;
739
+ activeParameter?: uinteger;
740
+ }
741
+ export interface SignatureInformation {
742
+ label: string;
743
+ documentation?: string | MarkupContent;
744
+ parameters?: ParameterInformation[];
745
+ activeParameter?: uinteger;
746
+ }
747
+ export interface MarkupContent {
748
+ kind: MarkupKind;
749
+ value: string;
750
+ }
751
+ export interface ParameterInformation {
752
+ label: string | [uinteger, uinteger];
753
+ documentation?: string | MarkupContent;
754
+ }
755
+ export interface HoverParams extends TextDocumentPositionParams, WorkDoneProgressParams {
756
+ }
757
+ type MarkedString = string | {
758
+ language: string;
759
+ value: string;
760
+ };
761
+ export interface MarkupContent {
762
+ kind: MarkupKind;
763
+ value: string;
764
+ }
765
+ export interface Hover {
766
+ contents: MarkedString | MarkedString[] | MarkupContent;
767
+ range?: Range;
768
+ }
769
+ export interface DeclarationParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
770
+ }
771
+ export declare enum CompletionTriggerKind {
772
+ Invoked = 1,
773
+ TriggerCharacter = 2,
774
+ TriggerForIncompleteCompletions = 3
775
+ }
776
+ export interface CompletionContext {
777
+ triggerKind: CompletionTriggerKind;
778
+ triggerCharacter?: string;
779
+ }
780
+ export interface CompletionParams extends TextDocumentPositionParams, WorkDoneProgressParams, PartialResultParams {
781
+ context?: CompletionContext;
782
+ }
783
+ export declare enum InsertTextFormat {
784
+ PlainText = 1,
785
+ Snippet = 2
786
+ }
787
+ export interface InsertReplaceEdit {
788
+ newText: string;
789
+ insert: Range;
790
+ replace: Range;
791
+ }
792
+ export interface CompletionItemLabelDetails {
793
+ detail?: string;
794
+ description?: string;
795
+ }
796
+ export interface CompletionItem {
797
+ label: string;
798
+ labelDetails?: CompletionItemLabelDetails;
799
+ kind?: CompletionItemKind;
800
+ tags?: CompletionItemTag[];
801
+ detail?: string;
802
+ documentation?: string | MarkupContent;
803
+ deprecated?: boolean;
804
+ preselect?: boolean;
805
+ sortText?: string;
806
+ filterText?: string;
807
+ insertText?: string;
808
+ insertTextFormat?: InsertTextFormat;
809
+ insertTextMode?: InsertTextMode;
810
+ textEdit?: TextEdit | InsertReplaceEdit;
811
+ textEditText?: string;
812
+ additionalTextEdits?: TextEdit[];
813
+ commitCharacters?: string[];
814
+ command?: Command;
815
+ data?: LSPAny;
816
+ }
817
+ export interface CompletionList {
818
+ isIncomplete: boolean;
819
+ itemDefaults?: {
820
+ commitCharacters?: string[];
821
+ editRange?: Range | {
822
+ insert: Range;
823
+ replace: Range;
824
+ };
825
+ insertTextFormat?: InsertTextFormat;
826
+ insertTextMode?: InsertTextMode;
827
+ data?: LSPAny;
828
+ };
829
+ items: CompletionItem[];
830
+ }
831
+ export interface InlayHintParams extends WorkDoneProgressParams {
832
+ textDocument: TextDocumentIdentifier;
833
+ range: Range;
834
+ }
835
+ export declare enum InlayHintKind {
836
+ Type = 1,
837
+ Parameter = 2
838
+ }
839
+ export interface InlayHintLabelPart {
840
+ value: string;
841
+ tooltip?: string | MarkupContent;
842
+ location?: Location;
843
+ command?: Command;
844
+ }
845
+ export interface InlayHint {
846
+ position: Position;
847
+ label: string | InlayHintLabelPart[];
848
+ kind?: InlayHintKind;
849
+ textEdits?: TextEdit[];
850
+ tooltip?: string | MarkupContent;
851
+ paddingLeft?: boolean;
852
+ paddingRight?: boolean;
853
+ data?: LSPAny;
854
+ }
855
+ export interface TypeHierarchyPrepareParams extends TextDocumentPositionParams, WorkDoneProgressParams {
856
+ }
857
+ export interface TypeHierarchyItem {
858
+ name: string;
859
+ kind: SymbolKind;
860
+ tags?: SymbolTag[];
861
+ detail?: string;
862
+ uri: DocumentUri;
863
+ range: Range;
864
+ selectionRange: Range;
865
+ data?: LSPAny;
866
+ }
867
+ export interface Diagnostic {
868
+ range: Range;
869
+ severity?: DiagnosticSeverity;
870
+ code?: integer | string;
871
+ codeDescription?: CodeDescription;
872
+ source?: string;
873
+ message: string;
874
+ tags?: DiagnosticTag[];
875
+ relatedInformation?: DiagnosticRelatedInformation[];
876
+ data?: LSPAny;
877
+ }
878
+ export declare enum DiagnosticSeverity {
879
+ Error = 1,
880
+ Warning = 2,
881
+ Information = 3,
882
+ Hint = 4
883
+ }
884
+ export interface DiagnosticRelatedInformation {
885
+ location: Location;
886
+ message: string;
887
+ }
888
+ export interface CodeDescription {
889
+ href: URI;
890
+ }
891
+ export interface DocumentDiagnosticParams extends WorkDoneProgressParams, PartialResultParams {
892
+ textDocument: TextDocumentIdentifier;
893
+ identifier?: string;
894
+ previousResultId?: string;
895
+ }
896
+ export declare enum DocumentDiagnosticReportKind {
897
+ Full = "full",
898
+ Unchanged = "unchanged"
899
+ }
900
+ export interface FullDocumentDiagnosticReport {
901
+ kind: DocumentDiagnosticReportKind.Full;
902
+ resultId?: string;
903
+ items: Diagnostic[];
904
+ }
905
+ export interface UnchangedDocumentDiagnosticReport {
906
+ kind: DocumentDiagnosticReportKind.Unchanged;
907
+ resultId: string;
908
+ }
909
+ export type DocumentDiagnosticReport = RelatedFullDocumentDiagnosticReport | RelatedUnchangedDocumentDiagnosticReport;
910
+ export interface RelatedFullDocumentDiagnosticReport extends FullDocumentDiagnosticReport {
911
+ relatedDocuments?: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
912
+ }
913
+ export interface RelatedUnchangedDocumentDiagnosticReport extends UnchangedDocumentDiagnosticReport {
914
+ relatedDocuments?: FullDocumentDiagnosticReport | UnchangedDocumentDiagnosticReport;
915
+ }
916
+ export interface OcamlTypedHolesParams {
917
+ uri: DocumentUri;
918
+ }
919
+ export interface OcamlHoverExtendedParams {
920
+ textDocument: TextDocumentIdentifier;
921
+ position: Position;
922
+ verbosity?: number;
923
+ }
924
+ export type OcamlInferIntfParams = DocumentUri;
925
+ export interface OcamlInferIntfResponse {
926
+ result: string;
927
+ }
928
+ export interface OcamlMerlinCallCompatibleParams {
929
+ uri: DocumentUri;
930
+ command: string;
931
+ args: string[];
932
+ resultAsSexp: boolean;
933
+ }
934
+ export interface OcamlMerlinCallCompatibleResponse {
935
+ resultAsSexp: boolean;
936
+ result: string;
937
+ }
938
+ export interface OcamlTypeEnclosingParams {
939
+ uri: TextDocumentIdentifier;
940
+ at: (Position | Range);
941
+ index: number;
942
+ verbosity?: number;
943
+ }
944
+ export interface OcamlTypeEnclosingResponse {
945
+ enclosings: Range[];
946
+ index: number;
947
+ type: string;
948
+ }
949
+ export {};