1 files changed, 48 insertions, 0 deletions
diff --git a/tests/drivers/vscode_hover_test.js b/tests/drivers/vscode_hover_test.js
new file mode 100644
index 0000000..378dda2
--- /dev/null
+++ b/tests/drivers/vscode_hover_test.js
@@ -0,0 +1,48 @@
+// run inside a vscode extension test host to check the real hover api objects.
+const assert = require('assert');
+const fs = require('fs');
+const path = require('path');
+const vscode = require('vscode');
+exports.run = async () => {
+    const root = path.resolve(__dirname, '..', '..');
+    const fixture = path.join(root, 'build', 'review', 'hover-fixture.zc');
+    fs.mkdirSync(path.dirname(fixture), { recursive: true });
+    fs.writeFileSync(fixture, '// adds **two** numbers with `integer` arithmetic.\nint add(int a, int b) { return a + b; }\nfn main() { return add(1, 2); }\n');
+    const extension = vscode.extensions.getExtension('tinyvm.zc-language-support');
+    assert.ok(extension, 'development extension is loaded');
+    const doc = await vscode.workspace.openTextDocument(fixture);
+    await vscode.window.showTextDocument(doc);
+    await extension.activate();
+    let hover;
+    for (let attempt = 0; attempt < 100; attempt++) {
+        const replies = await vscode.commands.executeCommand('vscode.executeHoverProvider', doc.uri, new vscode.Position(2, 19));
+        hover = replies && replies.find(reply => reply.contents.some(md => md.value.includes('adds **two** numbers')));
+        if (hover) break;
+        await new Promise(resolve => setTimeout(resolve, 100));
+    }
+    assert.ok(hover, 'real vscode provider returns declaration documentation');
+    const md = hover.contents[0];
+    assert.ok(md instanceof vscode.MarkdownString, 'hover contains a real MarkdownString');
+    assert.match(md.value, /^```zc\nint add\(int a, int b\)\n```\n\n/);
+    assert.ok(md.value.includes('**two**') && md.value.includes('`integer`'));
+    assert.strictEqual(md.isTrusted, false);
+    const storageFile = path.join(root, 'build', 'review', 'hover-storage.zc');
+    fs.writeFileSync(storageFile, 'unchecked fn main() {\n let p = new(int, 3);\n let /* borrowed array */ q = p;\n free(p);\n return q[0];\n}\n');
+    const storageDoc = await vscode.workspace.openTextDocument(storageFile);
+    await vscode.window.showTextDocument(storageDoc);
+    let storageHover;
+    for (let attempt = 0; attempt < 100; attempt++) {
+        const replies = await vscode.commands.executeCommand('vscode.executeHoverProvider', storageDoc.uri, new vscode.Position(4, 8));
+        storageHover = replies && replies.find(reply => reply.contents.some(md => md.value.includes('size: 3 elements')));
+        if (storageHover) break;
+        await new Promise(resolve => setTimeout(resolve, 100));
+    }
+    assert.ok(storageHover, 'real editor returns storage metadata');
+    const storageMd = storageHover.contents[0];
+    assert.ok(storageMd instanceof vscode.MarkdownString);
+    assert.match(storageMd.value, /borrowed array/);
+    assert.match(storageMd.value, /lifetime: ended on line 4/);
+    const result = 'ok   real vscode markdown, code fences, block docs, inferred pointer types, and lifetime metadata\n';
+    fs.writeFileSync(path.join(root, 'build', 'review', 'vscode-hover.log'), result);
+    console.log(result.trim());
+};