| // RUN: mlir-pdll-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s |
| {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootUri":"test:///workspace","capabilities":{"textDocument":{"documentSymbol":{"hierarchicalDocumentSymbolSupport":true}}},"trace":"off"}} |
| // ----- |
| {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{ |
| "uri":"test:///foo.pdll", |
| "languageId":"pdll", |
| "version":1, |
| "text":"Pattern Foo {\nerase op<foo.op>;\n}\nConstraint Cst() -> Op{\nreturn op<toy.test>;\n}\n\nRewrite SomeRewrite() -> Op {\nreturn op: Op;\n}" |
| }}} |
| // ----- |
| {"jsonrpc":"2.0","id":1,"method":"textDocument/documentSymbol","params":{ |
| "textDocument":{"uri":"test:///foo.pdll"} |
| }} |
| // CHECK: "id": 1 |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": [ |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "kind": 5, |
| // CHECK-NEXT: "name": "Foo", |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 1, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 8, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "selectionRange": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 11, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 8, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "kind": 12, |
| // CHECK-NEXT: "name": "Cst", |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 14, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 11, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "selectionRange": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 14, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 11, |
| // CHECK-NEXT: "line": 3 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: { |
| // CHECK-NEXT: "kind": 12, |
| // CHECK-NEXT: "name": "SomeRewrite", |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 19, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 8, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "selectionRange": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 19, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 8, |
| // CHECK-NEXT: "line": 7 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: ] |
| // ----- |
| {"jsonrpc":"2.0","id":3,"method":"shutdown"} |
| // ----- |
| {"jsonrpc":"2.0","method":"exit"} |