99 lines · plain
1// RUN: mlir-pdll-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s2{"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": 117// 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": 024// CHECK-NEXT: },25// CHECK-NEXT: "start": {26// CHECK-NEXT: "character": 11,27// CHECK-NEXT: "line": 028// 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": 237// CHECK-NEXT: },38// CHECK-NEXT: "start": {39// CHECK-NEXT: "character": 9,40// CHECK-NEXT: "line": 241// 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": 253// 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": 260// CHECK-NEXT: },61// CHECK-NEXT: "start": {62// CHECK-NEXT: "character": 4,63// CHECK-NEXT: "line": 264// 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": 373// CHECK-NEXT: },74// CHECK-NEXT: "start": {75// CHECK-NEXT: "character": 23,76// CHECK-NEXT: "line": 377// 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": 486// CHECK-NEXT: },87// CHECK-NEXT: "start": {88// CHECK-NEXT: "character": 18,89// CHECK-NEXT: "line": 490// 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