incremental_sync_multiline.carbon 6.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183
  1. // Part of the Carbon Language project, under the Apache License v2.0 with LLVM
  2. // Exceptions. See /LICENSE for license information.
  3. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  4. //
  5. // The `didChange` here deletes the full middle line.
  6. //
  7. // AUTOUPDATE
  8. // TIP: To test this file alone, run:
  9. // TIP: bazel test //toolchain/testing:file_test --test_arg=--file_tests=toolchain/language_server/testdata/text_document/incremental_sync_multiline.carbon
  10. // TIP: To dump output, run:
  11. // TIP: bazel run //toolchain/testing:file_test -- --dump_output --file_tests=toolchain/language_server/testdata/text_document/incremental_sync_multiline.carbon
  12. // --- STDIN
  13. [[@LSP-CALL:initialize]]
  14. [[@LSP-NOTIFY:textDocument/didOpen:
  15. "textDocument": {"uri": "file:/test.carbon", "languageId": "carbon",
  16. "text": "fn F() {}\n// Test\nfn Bar() {}\n"}
  17. ]]
  18. [[@LSP-CALL:textDocument/documentSymbol:
  19. "textDocument": {"uri": "file:/test.carbon"}
  20. ]]
  21. [[@LSP-NOTIFY:textDocument/didChange:
  22. "textDocument": {"uri": "file:/test.carbon"},
  23. "contentChanges": [
  24. {"range": {"start": {"line": 1, "character": 0},
  25. "end": {"line": 2, "character": 0}},
  26. "text": ""}
  27. ]
  28. ]]
  29. [[@LSP-CALL:textDocument/documentSymbol:
  30. "textDocument": {"uri": "file:/test.carbon"}
  31. ]]
  32. [[@LSP-CALL:shutdown]]
  33. [[@LSP-NOTIFY:exit]]
  34. // --- AUTOUPDATE-SPLIT
  35. // CHECK:STDOUT: Content-Length: 146{{\r}}
  36. // CHECK:STDOUT: {{\r}}
  37. // CHECK:STDOUT: {
  38. // CHECK:STDOUT: "id": 1,
  39. // CHECK:STDOUT: "jsonrpc": "2.0",
  40. // CHECK:STDOUT: "result": {
  41. // CHECK:STDOUT: "capabilities": {
  42. // CHECK:STDOUT: "documentSymbolProvider": true,
  43. // CHECK:STDOUT: "textDocumentSync": 2
  44. // CHECK:STDOUT: }
  45. // CHECK:STDOUT: }
  46. // CHECK:STDOUT: }Content-Length: 144{{\r}}
  47. // CHECK:STDOUT: {{\r}}
  48. // CHECK:STDOUT: {
  49. // CHECK:STDOUT: "jsonrpc": "2.0",
  50. // CHECK:STDOUT: "method": "textDocument/publishDiagnostics",
  51. // CHECK:STDOUT: "params": {
  52. // CHECK:STDOUT: "diagnostics": [],
  53. // CHECK:STDOUT: "uri": "file:///test.carbon"
  54. // CHECK:STDOUT: }
  55. // CHECK:STDOUT: }Content-Length: 870{{\r}}
  56. // CHECK:STDOUT: {{\r}}
  57. // CHECK:STDOUT: {
  58. // CHECK:STDOUT: "id": 2,
  59. // CHECK:STDOUT: "jsonrpc": "2.0",
  60. // CHECK:STDOUT: "result": [
  61. // CHECK:STDOUT: {
  62. // CHECK:STDOUT: "kind": 12,
  63. // CHECK:STDOUT: "name": "F",
  64. // CHECK:STDOUT: "range": {
  65. // CHECK:STDOUT: "end": {
  66. // CHECK:STDOUT: "character": 9,
  67. // CHECK:STDOUT: "line": 0
  68. // CHECK:STDOUT: },
  69. // CHECK:STDOUT: "start": {
  70. // CHECK:STDOUT: "character": 0,
  71. // CHECK:STDOUT: "line": 0
  72. // CHECK:STDOUT: }
  73. // CHECK:STDOUT: },
  74. // CHECK:STDOUT: "selectionRange": {
  75. // CHECK:STDOUT: "end": {
  76. // CHECK:STDOUT: "character": 4,
  77. // CHECK:STDOUT: "line": 0
  78. // CHECK:STDOUT: },
  79. // CHECK:STDOUT: "start": {
  80. // CHECK:STDOUT: "character": 3,
  81. // CHECK:STDOUT: "line": 0
  82. // CHECK:STDOUT: }
  83. // CHECK:STDOUT: }
  84. // CHECK:STDOUT: },
  85. // CHECK:STDOUT: {
  86. // CHECK:STDOUT: "kind": 12,
  87. // CHECK:STDOUT: "name": "Bar",
  88. // CHECK:STDOUT: "range": {
  89. // CHECK:STDOUT: "end": {
  90. // CHECK:STDOUT: "character": 11,
  91. // CHECK:STDOUT: "line": 2
  92. // CHECK:STDOUT: },
  93. // CHECK:STDOUT: "start": {
  94. // CHECK:STDOUT: "character": 0,
  95. // CHECK:STDOUT: "line": 2
  96. // CHECK:STDOUT: }
  97. // CHECK:STDOUT: },
  98. // CHECK:STDOUT: "selectionRange": {
  99. // CHECK:STDOUT: "end": {
  100. // CHECK:STDOUT: "character": 6,
  101. // CHECK:STDOUT: "line": 2
  102. // CHECK:STDOUT: },
  103. // CHECK:STDOUT: "start": {
  104. // CHECK:STDOUT: "character": 3,
  105. // CHECK:STDOUT: "line": 2
  106. // CHECK:STDOUT: }
  107. // CHECK:STDOUT: }
  108. // CHECK:STDOUT: }
  109. // CHECK:STDOUT: ]
  110. // CHECK:STDOUT: }Content-Length: 144{{\r}}
  111. // CHECK:STDOUT: {{\r}}
  112. // CHECK:STDOUT: {
  113. // CHECK:STDOUT: "jsonrpc": "2.0",
  114. // CHECK:STDOUT: "method": "textDocument/publishDiagnostics",
  115. // CHECK:STDOUT: "params": {
  116. // CHECK:STDOUT: "diagnostics": [],
  117. // CHECK:STDOUT: "uri": "file:///test.carbon"
  118. // CHECK:STDOUT: }
  119. // CHECK:STDOUT: }Content-Length: 870{{\r}}
  120. // CHECK:STDOUT: {{\r}}
  121. // CHECK:STDOUT: {
  122. // CHECK:STDOUT: "id": 3,
  123. // CHECK:STDOUT: "jsonrpc": "2.0",
  124. // CHECK:STDOUT: "result": [
  125. // CHECK:STDOUT: {
  126. // CHECK:STDOUT: "kind": 12,
  127. // CHECK:STDOUT: "name": "F",
  128. // CHECK:STDOUT: "range": {
  129. // CHECK:STDOUT: "end": {
  130. // CHECK:STDOUT: "character": 9,
  131. // CHECK:STDOUT: "line": 0
  132. // CHECK:STDOUT: },
  133. // CHECK:STDOUT: "start": {
  134. // CHECK:STDOUT: "character": 0,
  135. // CHECK:STDOUT: "line": 0
  136. // CHECK:STDOUT: }
  137. // CHECK:STDOUT: },
  138. // CHECK:STDOUT: "selectionRange": {
  139. // CHECK:STDOUT: "end": {
  140. // CHECK:STDOUT: "character": 4,
  141. // CHECK:STDOUT: "line": 0
  142. // CHECK:STDOUT: },
  143. // CHECK:STDOUT: "start": {
  144. // CHECK:STDOUT: "character": 3,
  145. // CHECK:STDOUT: "line": 0
  146. // CHECK:STDOUT: }
  147. // CHECK:STDOUT: }
  148. // CHECK:STDOUT: },
  149. // CHECK:STDOUT: {
  150. // CHECK:STDOUT: "kind": 12,
  151. // CHECK:STDOUT: "name": "Bar",
  152. // CHECK:STDOUT: "range": {
  153. // CHECK:STDOUT: "end": {
  154. // CHECK:STDOUT: "character": 11,
  155. // CHECK:STDOUT: "line": 1
  156. // CHECK:STDOUT: },
  157. // CHECK:STDOUT: "start": {
  158. // CHECK:STDOUT: "character": 0,
  159. // CHECK:STDOUT: "line": 1
  160. // CHECK:STDOUT: }
  161. // CHECK:STDOUT: },
  162. // CHECK:STDOUT: "selectionRange": {
  163. // CHECK:STDOUT: "end": {
  164. // CHECK:STDOUT: "character": 6,
  165. // CHECK:STDOUT: "line": 1
  166. // CHECK:STDOUT: },
  167. // CHECK:STDOUT: "start": {
  168. // CHECK:STDOUT: "character": 3,
  169. // CHECK:STDOUT: "line": 1
  170. // CHECK:STDOUT: }
  171. // CHECK:STDOUT: }
  172. // CHECK:STDOUT: }
  173. // CHECK:STDOUT: ]
  174. // CHECK:STDOUT: }Content-Length: 51{{\r}}
  175. // CHECK:STDOUT: {{\r}}
  176. // CHECK:STDOUT: {
  177. // CHECK:STDOUT: "id": 4,
  178. // CHECK:STDOUT: "jsonrpc": "2.0",
  179. // CHECK:STDOUT: "result": null
  180. // CHECK:STDOUT: }