1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
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());
};
|
