| // RUN: tblgen-lsp-server -lit-test < %s | FileCheck -strict-whitespace %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":"class Foo<int i>;\ndef : Foo<\"\">;" |
| }}} |
| // CHECK: "method": "textDocument/publishDiagnostics", |
| // CHECK: "message": "Value specified for template argument 'Foo:i' is of type string; expected type int: \"\"", |
| // ----- |
| {"jsonrpc":"2.0","id":3,"method":"shutdown"} |
| // ----- |
| {"jsonrpc":"2.0","method":"exit"} |
