mlir/test/mlir-lsp-server/definition-split-file.test

   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"}