1// RUN: mlir-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s 2// This test checks support for split files by attempting to find the definition 3// of a symbol in a split file. The interesting part of this test is that the 4// file chunk before the one we are looking for the definition in has an error. 5{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"mlir","capabilities":{},"trace":"off"}} 6// ----- 7{"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{ 8 "uri":"test:///foo.mlir", 9 "languageId":"mlir", 10 "version":1, 11 "text":"func.func @foo() -> {}\n// -----\nfunc.func @foo() -> i1 {\n%value = arith.constant true\nreturn %value : i1\n}" 12}}} 13// ----- 14{"jsonrpc":"2.0","id":1,"method":"textDocument/definition","params":{ 15 "textDocument":{"uri":"test:///foo.mlir"}, 16 "position":{"line":4,"character":12} 17}} 18// CHECK: "id": 1 19// CHECK-NEXT: "jsonrpc": "2.0", 20// CHECK-NEXT: "result": [ 21// CHECK-NEXT: { 22// CHECK-NEXT: "range": { 23// CHECK-NEXT: "end": { 24// CHECK-NEXT: "character": 6, 25// CHECK-NEXT: "line": 3 26// CHECK-NEXT: }, 27// CHECK-NEXT: "start": { 28// CHECK-NEXT: "character": 0, 29// CHECK-NEXT: "line": 3 30// CHECK-NEXT: } 31// CHECK-NEXT: }, 32// CHECK-NEXT: "uri": "{{.*}}/foo.mlir" 33// CHECK-NEXT: } 34// ----- 35{"jsonrpc":"2.0","id":3,"method":"shutdown"} 36// ----- 37{"jsonrpc":"2.0","method":"exit"} 38