xref: /llvm-project/mlir/test/mlir-pdll-lsp-server/references.test (revision 52b34df9d670e948a97dd72b8b5a426d7b3007c7) 
1// RUN: mlir-pdll-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s
2{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"pdll","capabilities":{},"trace":"off"}}
3// -----
4{"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{
5  "uri":"test:///foo.pdll",
6  "languageId":"pdll",
7  "version":1,
8  "text":"Constraint ValueCst(value: Value);\nPattern {\nlet arg: ValueCst;\nlet root = op<test.op>(arg);\nreplace root with arg;\n}"
9}}}
10// -----
11{"jsonrpc":"2.0","id":1,"method":"textDocument/references","params":{
12  "textDocument":{"uri":"test:///foo.pdll"},
13  "position":{"line":0,"character":15},
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": 19,
23// CHECK-NEXT:          "line": 0
24// CHECK-NEXT:        },
25// CHECK-NEXT:        "start": {
26// CHECK-NEXT:          "character": 11,
27// CHECK-NEXT:          "line": 0
28// CHECK-NEXT:        }
29// CHECK-NEXT:      },
30// CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
31// CHECK-NEXT:    },
32// CHECK-NEXT:    {
33// CHECK-NEXT:      "range": {
34// CHECK-NEXT:        "end": {
35// CHECK-NEXT:          "character": 17,
36// CHECK-NEXT:          "line": 2
37// CHECK-NEXT:        },
38// CHECK-NEXT:        "start": {
39// CHECK-NEXT:          "character": 9,
40// CHECK-NEXT:          "line": 2
41// CHECK-NEXT:        }
42// CHECK-NEXT:      },
43// CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
44// CHECK-NEXT:    }
45// CHECK-NEXT:  ]
46// -----
47{"jsonrpc":"2.0","id":2,"method":"textDocument/references","params":{
48  "textDocument":{"uri":"test:///foo.pdll"},
49  "position":{"line":2,"character":6},
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": 7,
59// CHECK-NEXT:          "line": 2
60// CHECK-NEXT:        },
61// CHECK-NEXT:        "start": {
62// CHECK-NEXT:          "character": 4,
63// CHECK-NEXT:          "line": 2
64// CHECK-NEXT:        }
65// CHECK-NEXT:      },
66// CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
67// CHECK-NEXT:    },
68// CHECK-NEXT:    {
69// CHECK-NEXT:      "range": {
70// CHECK-NEXT:        "end": {
71// CHECK-NEXT:          "character": 26,
72// CHECK-NEXT:          "line": 3
73// CHECK-NEXT:        },
74// CHECK-NEXT:        "start": {
75// CHECK-NEXT:          "character": 23,
76// CHECK-NEXT:          "line": 3
77// CHECK-NEXT:        }
78// CHECK-NEXT:      },
79// CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
80// CHECK-NEXT:    },
81// CHECK-NEXT:    {
82// CHECK-NEXT:      "range": {
83// CHECK-NEXT:        "end": {
84// CHECK-NEXT:          "character": 21,
85// CHECK-NEXT:          "line": 4
86// CHECK-NEXT:        },
87// CHECK-NEXT:        "start": {
88// CHECK-NEXT:          "character": 18,
89// CHECK-NEXT:          "line": 4
90// CHECK-NEXT:        }
91// CHECK-NEXT:      },
92// CHECK-NEXT:      "uri": "{{.*}}/foo.pdll"
93// CHECK-NEXT:    }
94// CHECK-NEXT:  ]
95// -----
96{"jsonrpc":"2.0","id":3,"method":"shutdown"}
97// -----
98{"jsonrpc":"2.0","method":"exit"}
99