| // RUN: mlir-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s |
| {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"mlir","capabilities":{},"trace":"off"}} |
| // ----- |
| {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{ |
| "uri":"test:///foo.mlir", |
| "languageId":"mlir", |
| "version":1, |
| "text":"#attr = 1 : index\n!type = index\nfunc.func @foo(%arg0: !type) -> i1 attributes {attr = #attr} {\n%value = arith.constant true\n%result = call @foo(%arg0) : (!type) -> i1\nreturn %value : i1 loc(#loc)\n}\n#loc = loc(\"foo.mlir\":1:2)" |
| }}} |
| // ----- |
| {"jsonrpc":"2.0","id":1,"method":"textDocument/references","params":{ |
| "textDocument":{"uri":"test:///foo.mlir"}, |
| "position":{"line":3,"character":2}, |
| "context":{"includeDeclaration": false} |
| }} |
| // CHECK: "id": 1 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 6, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 0, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 13, |
| // CHECK-NEXT: "line": 5 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 7, |
| // CHECK-NEXT: "line": 5 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{ |
| "textDocument":{"uri":"test:///foo.mlir"}, |
| "position":{"line":2,"character":12}, |
| "context":{"includeDeclaration": false} |
| }} |
| // CHECK: "id": 2 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 14, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 10, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 19, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 15, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{ |
| "textDocument":{"uri":"test:///foo.mlir"}, |
| "position":{"line":0,"character":3}, |
| "context":{"includeDeclaration": false} |
| }} |
| // CHECK: "id": 2 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 5, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 0, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 59, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 54, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{ |
| "textDocument":{"uri":"test:///foo.mlir"}, |
| "position":{"line":1,"character":3}, |
| "context":{"includeDeclaration": false} |
| }} |
| // CHECK: "id": 2 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 5, |
| // CHECK-NEXT: "line": 1 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 0, |
| // CHECK-NEXT: "line": 1 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 27, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 22, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 35, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 30, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{ |
| "textDocument":{"uri":"test:///foo.mlir"}, |
| "position":{"line":7,"character":3}, |
| "context":{"includeDeclaration": false} |
| }} |
| // CHECK: "id": 2 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 4, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 0, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 27, |
| // CHECK-NEXT: "line": 5 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 23, |
| // CHECK-NEXT: "line": 5 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "uri": "{{.*}}/foo.mlir" |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":3,"method":"shutdown"} |
| // ----- |
| {"jsonrpc":"2.0","method":"exit"} |