| // RUN: tblgen-lsp-server -tablegen-extra-dir %S -tablegen-extra-dir %S/../../include -lit-test < %s | FileCheck %s |
| {"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"tablegen","capabilities":{},"trace":"off"}} |
| // ----- |
| {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{ |
| "uri":"test:///foo.td", |
| "languageId":"tablegen", |
| "version":1, |
| "text":"include \"include/included.td\"\n// This is a def.\ndef Def : IncludedClass;\nclass Class<IncludedClass c> {\n int arg = c.arg;\n}\n" |
| }}} |
| // ----- |
| // Hover on an include file. |
| {"jsonrpc":"2.0","id":1,"method":"textDocument/hover","params":{ |
| "textDocument":{"uri":"test:///foo.td"}, |
| "position":{"line":0,"character":15} |
| }} |
| // CHECK: "id": 1, |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": { |
| // CHECK-NEXT: "contents": { |
| // CHECK-NEXT: "kind": "markdown", |
| // CHECK-NEXT: "value": "`included.td`\n***\n{{.*}}included.td" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 29, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 8, |
| // CHECK-NEXT: "line": 0 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // ----- |
| // Hover on a record. |
| {"jsonrpc":"2.0","id":1,"method":"textDocument/hover","params":{ |
| "textDocument":{"uri":"test:///foo.td"}, |
| "position":{"line":2,"character":6} |
| }} |
| // CHECK: "id": 1, |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": { |
| // CHECK-NEXT: "contents": { |
| // CHECK-NEXT: "kind": "markdown", |
| // CHECK-NEXT: "value": "**def** `Def`\n***\n\n This is a def.\n" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 7, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 4, |
| // CHECK-NEXT: "line": 2 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // ----- |
| // Hover on a record. |
| {"jsonrpc":"2.0","id":1,"method":"textDocument/hover","params":{ |
| "textDocument":{"uri":"test:///foo.td"}, |
| "position":{"line":4,"character":16} |
| }} |
| // CHECK: "id": 1, |
| // CHECK-NEXT: "jsonrpc": "2.0", |
| // CHECK-NEXT: "result": { |
| // CHECK-NEXT: "contents": { |
| // CHECK-NEXT: "kind": "markdown", |
| // CHECK-NEXT: "value": "**field** `arg`\n***\nType: `int`\n***\n\n This argument was defined on an included class.\n\n***\n" |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "range": { |
| // CHECK-NEXT: "end": { |
| // CHECK-NEXT: "character": 17, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: }, |
| // CHECK-NEXT: "start": { |
| // CHECK-NEXT: "character": 14, |
| // CHECK-NEXT: "line": 4 |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // CHECK-NEXT: } |
| // ----- |
| {"jsonrpc":"2.0","id":7,"method":"shutdown"} |
| // ----- |
| {"jsonrpc":"2.0","method":"exit"} |