1// RUN: tblgen-lsp-server -lit-test < %s | FileCheck -strict-whitespace %s 2{"jsonrpc":"2.0","id":0,"method":"initialize","params":{"processId":123,"rootPath":"tablegen","capabilities":{},"trace":"off"}} 3// ----- 4{"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{ 5 "uri":"test:///foo.td", 6 "languageId":"tablegen", 7 "version":1, 8 "text":"class Foo<int i>;\ndef : Foo<\"\">;" 9}}} 10// CHECK: "method": "textDocument/publishDiagnostics", 11// CHECK: "message": "Value specified for template argument 'Foo:i' is of type string; expected type int: \"\"", 12// ----- 13{"jsonrpc":"2.0","id":3,"method":"shutdown"} 14// ----- 15{"jsonrpc":"2.0","method":"exit"} 16