testsuite/pyunit/lsp: add a test for removing diags on close

1 files changed, 98 insertions, 0 deletions

diff --git a/testsuite/pyunit/lsp/011closediag/replies.json b/testsuite/pyunit/lsp/011closediag/replies.json
new file mode 100644
index 000000000..4f119fad5
--- /dev/null
+++ b/testsuite/pyunit/lsp/011closediag/replies.json
@@ -0,0 +1,98 @@
+[
+  {
+    "jsonrpc": "2.0",
+    "id": 0,
+    "result": {
+      "capabilities": {
+        "textDocumentSync": {
+          "openClose": true,
+          "change": 2,
+          "save": {
+            "includeText": true
+          }
+        },
+        "hoverProvider": false,
+        "definitionProvider": true,
+        "referencesProvider": false,
+        "documentHighlightProvider": false,
+        "documentSymbolProvider": true,
+        "codeActionProvider": false,
+        "documentFormattingProvider": false,
+        "documentRangeFormattingProvider": true,
+        "renameProvider": false
+      }
+    }
+  },
+  {
+    "jsonrpc": "2.0",
+    "method": "textDocument/publishDiagnostics",
+    "params": {
+      "uri": "file://@ROOT@/011closediag/adder.vhdl",
+      "diagnostics": [
+        {
+          "source": "ghdl",
+          "range": {
+            "start": {
+              "line": 13,
+              "character": 11
+            },
+            "end": {
+              "line": 13,
+              "character": 11
+            }
+          },
+          "message": "signal \"nouse\" is never referenced",
+          "severity": 2
+        }
+      ]
+    }
+  },
+  {
+    "jsonrpc": "2.0",
+    "id": 1,
+    "result": [
+      {
+        "kind": 2,
+        "name": "adder",
+        "location": {
+          "uri": "file://@ROOT@/011closediag/adder.vhdl",
+          "range": {
+            "start": {
+              "line": 3,
+              "character": 2
+            },
+            "end": {
+              "line": 10,
+              "character": 2
+            }
+          }
+        }
+      },
+      {
+        "kind": 2,
+        "name": "comb",
+        "location": {
+          "uri": "file://@ROOT@/011closediag/adder.vhdl",
+          "range": {
+            "start": {
+              "line": 12,
+              "character": 2
+            },
+            "end": {
+              "line": 19,
+              "character": 1
+            }
+          }
+        }
+      }
+    ]
+  },
+  {
+    "jsonrpc": "2.0",
+    "method": "textDocument/publishDiagnostics",
+    "params": {
+      "uri": "file://@ROOT@/011closediag/adder.vhdl",
+      "diagnostics": []
+    }
+  }
+]