test/tblgen-lsp-server/diagnostics.test

// 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<>;"
}}}
// CHECK: "method": "textDocument/publishDiagnostics",
// CHECK-NEXT: "params": {
// CHECK-NEXT:     "diagnostics": [
// CHECK-NEXT:       {
// CHECK-NEXT:         "category": "Parse Error",
// CHECK-NEXT:         "message": "Unknown token when expecting a type",
// CHECK-NEXT:         "range": {
// CHECK-NEXT:           "end": {
// CHECK-NEXT:             "character": 11,
// CHECK-NEXT:             "line": 0
// CHECK-NEXT:           },
// CHECK-NEXT:           "start": {
// CHECK-NEXT:             "character": 10,
// CHECK-NEXT:             "line": 0
// CHECK-NEXT:           }
// CHECK-NEXT:         },
// CHECK-NEXT:         "severity": 1,
// CHECK-NEXT:         "source": "tablegen"
// CHECK-NEXT:       }
// CHECK-NEXT:     ],
// CHECK-NEXT:     "uri": "test:///foo.td",
// CHECK-NEXT:     "version": 1
// CHECK-NEXT:   }
// -----
{"jsonrpc":"2.0","id":3,"method":"shutdown"}
// -----
{"jsonrpc":"2.0","method":"exit"}