mlir/test/mlir-lsp-server/references.test

   1 // RUN: mlir-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s
   2 {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"mlir","capabilities":{},"trace":"off"}}
   3 // -----
   4 {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{
   5   "uri":"test:///foo.mlir",
   6   "languageId":"mlir",
   7   "version":1,
   8   "text":"func @foo() -> i1 {\n%value = arith.constant true\n%result = call @foo() : () -> i1\nreturn %value : i1\n}"
   9 }}}
  10 // -----
  11 {"jsonrpc":"2.0","id":1,"method":"textDocument/references","params":{
  12   "textDocument":{"uri":"test:///foo.mlir"},
  13   "position":{"line":1,"character":2},
  14   "context":{"includeDeclaration": false}
  15 }}
  16 //      CHECK:  "id": 1
  17 // CHECK-NEXT:  "jsonrpc": "2.0",
  18 // CHECK-NEXT:  "result": [
  19 // CHECK-NEXT:    {
  20 // CHECK-NEXT:      "range": {
  21 // CHECK-NEXT:        "end": {
  22 // CHECK-NEXT:          "character": 6,
  23 // CHECK-NEXT:          "line": 1
  24 // CHECK-NEXT:        },
  25 // CHECK-NEXT:        "start": {
  26 // CHECK-NEXT:          "character": 0,
  27 // CHECK-NEXT:          "line": 1
  28 // CHECK-NEXT:        }
  29 // CHECK-NEXT:      },
  30 // CHECK-NEXT:      "uri": "{{.*}}/foo.mlir"
  31 // CHECK-NEXT:    },
  32 // CHECK-NEXT:    {
  33 // CHECK-NEXT:      "range": {
  34 // CHECK-NEXT:        "end": {
  35 // CHECK-NEXT:          "character": 13,
  36 // CHECK-NEXT:          "line": 3
  37 // CHECK-NEXT:        },
  38 // CHECK-NEXT:        "start": {
  39 // CHECK-NEXT:          "character": 7,
  40 // CHECK-NEXT:          "line": 3
  41 // CHECK-NEXT:        }
  42 // CHECK-NEXT:      },
  43 // CHECK-NEXT:      "uri": "{{.*}}/foo.mlir"
  44 // CHECK-NEXT:    }
  45 // CHECK-NEXT:  ]
  46 // -----
  47 {"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{
  48   "textDocument":{"uri":"test:///foo.mlir"},
  49   "position":{"line":0,"character":7},
  50   "context":{"includeDeclaration": false}
  51 }}
  52 //      CHECK:  "id": 2
  53 // CHECK-NEXT:  "jsonrpc": "2.0",
  54 // CHECK-NEXT:  "result": [
  55 // CHECK-NEXT:    {
  56 // CHECK-NEXT:      "range": {
  57 // CHECK-NEXT:        "end": {
  58 // CHECK-NEXT:          "character": 9,
  59 // CHECK-NEXT:          "line": 0
  60 // CHECK-NEXT:        },
  61 // CHECK-NEXT:        "start": {
  62 // CHECK-NEXT:          "character": 5,
  63 // CHECK-NEXT:          "line": 0
  64 // CHECK-NEXT:        }
  65 // CHECK-NEXT:      },
  66 // CHECK-NEXT:      "uri": "{{.*}}/foo.mlir"
  67 // CHECK-NEXT:    },
  68 // CHECK-NEXT:    {
  69 // CHECK-NEXT:      "range": {
  70 // CHECK-NEXT:        "end": {
  71 // CHECK-NEXT:          "character": 19,
  72 // CHECK-NEXT:          "line": 2
  73 // CHECK-NEXT:        },
  74 // CHECK-NEXT:        "start": {
  75 // CHECK-NEXT:          "character": 15,
  76 // CHECK-NEXT:          "line": 2
  77 // CHECK-NEXT:        }
  78 // CHECK-NEXT:      },
  79 // CHECK-NEXT:      "uri": "{{.*}}/foo.mlir"
  80 // CHECK-NEXT:    }
  81 // CHECK-NEXT:  ]
  82 // -----
  83 {"jsonrpc":"2.0","id":3,"method":"shutdown"}
  84 // -----
  85 {"jsonrpc":"2.0","method":"exit"}