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

   1 // RUN: mlir-pdll-lsp-server -lit-test < %s | FileCheck %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":"pdll","capabilities":{},"trace":"off"}}
   6 // -----
   7 {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{
   8   "uri":"test:///foo.pdll",
   9   "languageId":"pdll",
  10   "version":1,
  11   "text":"Pattern Foo {\n// -----\nPattern {\n  erase root: Op<toy.test>;\n }"
  12 }}}
  13 // -----
  14 {"jsonrpc":"2.0","id":1,"method":"textDocument/definition","params":{
  15   "textDocument":{"uri":"test:///foo.pdll"},
  16   "position":{"line":3,"character":11}
  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": 12,
  25 // CHECK-NEXT:          "line": 3
  26 // CHECK-NEXT:        },
  27 // CHECK-NEXT:        "start": {
  28 // CHECK-NEXT:          "character": 8,
  29 // CHECK-NEXT:          "line": 3
  30 // CHECK-NEXT:        }
  31 // CHECK-NEXT:      },
  32 // CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
  33 // CHECK-NEXT:    }
  34 // -----
  35 {"jsonrpc":"2.0","id":3,"method":"shutdown"}
  36 // -----
  37 {"jsonrpc":"2.0","method":"exit"}