@@ -19,70 +19,5 @@ declare module '../../../../node_modules/typescript/lib/typescript' {
1919 interface Response {
2020 readonly _serverType ?: ServerType ;
2121 }
22-
23- //#region MapCode
24- export interface MapCodeRequestArgs extends FileRequestArgs {
25- /**
26- * The files and changes to try and apply/map.
27- */
28- mapping : MapCodeRequestDocumentMapping ;
29- }
30-
31- export interface MapCodeRequestDocumentMapping {
32- /**
33- * The specific code to map/insert/replace in the file.
34- */
35- contents : string [ ] ;
36-
37- /**
38- * Areas of "focus" to inform the code mapper with. For example, cursor
39- * location, current selection, viewport, etc. Nested arrays denote
40- * priority: toplevel arrays are more important than inner arrays, and
41- * inner array priorities are based on items within that array. Items
42- * earlier in the arrays have higher priority.
43- */
44- focusLocations ?: TextSpan [ ] [ ] ;
45- }
46-
47- export interface MapCodeRequest extends FileRequest {
48- command : 'mapCode' ;
49- arguments : MapCodeRequestArgs ;
50- }
51-
52- export interface MapCodeResponse extends Response {
53- body : FileCodeEdits [ ]
54- }
55- //#endregion
56-
57- //#region Paste
58- export interface GetPasteEditsRequest extends Request {
59- command : 'getPasteEdits' ;
60- arguments : GetPasteEditsRequestArgs ;
61- }
62-
63- export interface GetPasteEditsRequestArgs extends FileRequestArgs {
64- /** The text that gets pasted in a file. */
65- pastedText : string [ ] ;
66- /** Locations of where the `pastedText` gets added in a file. If the length of the `pastedText` and `pastedLocations` are not the same,
67- * then the `pastedText` is combined into one and added at all the `pastedLocations`.
68- */
69- pasteLocations : TextSpan [ ] ;
70- /** The source location of each `pastedText`. If present, the length of `spans` must be equal to the length of `pastedText`. */
71- copiedFrom ?: {
72- file : string ;
73- spans : TextSpan [ ] ;
74- } ;
75- }
76-
77- export interface GetPasteEditsResponse extends Response {
78- body : PasteEditsAction ;
79- }
80- export interface PasteEditsAction {
81- edits : FileCodeEdits [ ] ;
82- fixId ?: { } ;
83- }
84- //#endregion
8522 }
8623}
87-
88-
0 commit comments