Source code
Revision control
Copy as Markdown
Other Tools
// Tests for Wasm exception import and export.
function testImports() {
var mod = `
(module
(type (func (param i32 i32)))
(import "m" "exn" (tag (type 0))))
`;
assertErrorMessage(
() => wasmEvalText(mod, { m: { exn: "not a tag" } }),
WebAssembly.LinkError,
/import object field 'exn' is not a Tag/
);
}
function testExports() {
var exports1 = wasmEvalText(`
(module (type (func)) (tag (export "exn") (type 0)))
`).exports;
assertEq(typeof exports1.exn, "object");
assertEq(exports1.exn instanceof WebAssembly.Tag, true);
var exports2 = wasmEvalText(`
(module
(type (func (param i32 i32)))
(tag (export "exn") (type 0)))
`).exports;
assertEq(typeof exports2.exn, "object");
assertEq(exports2.exn instanceof WebAssembly.Tag, true);
}
function testImportExport() {
var exports = wasmEvalText(`
(module
(type (func (param i32)))
(tag (export "exn") (type 0)))
`).exports;
wasmEvalText(
`
(module
(type (func (param i32)))
(import "m" "exn" (tag (type 0))))
`,
{ m: exports }
);
assertErrorMessage(
() => {
wasmEvalText(
`
(module
(type (func (param)))
(import "m" "exn" (tag (type 0))))
`,
{ m: exports }
);
},
WebAssembly.LinkError,
/imported tag 'm.exn' signature mismatch/
);
}
function testImportExportRecGroup() {
const a = wasmEvalText(`(module
(type $t1 (func (param i32)))
(tag (export "tag") (type $t1))
)`);
assertErrorMessage(() => {
wasmEvalText(`(module
(rec
(type $t1 (func (param i32)))
(type $t2 (func (param i32)))
)
(tag (import "a" "tag") (type $t2))
)`, { a: a.exports });
}, WebAssembly.LinkError, /signature mismatch/);
}
// Test imports/exports descriptions.
function testDescriptions() {
const imports = WebAssembly.Module.imports(
new WebAssembly.Module(
wasmTextToBinary(`
(module $m
(type (func))
(import "m" "e" (tag (type 0))))
`)
)
);
const exports = WebAssembly.Module.exports(
new WebAssembly.Module(
wasmTextToBinary(`
(module
(type (func))
(tag (export "e") (type 0)))
`)
)
);
assertEq(imports[0].module, "m");
assertEq(imports[0].name, "e");
assertEq(imports[0].kind, "tag");
assertEq(exports[0].name, "e");
assertEq(exports[0].kind, "tag");
}
testImports();
testExports();
testImportExport();
testImportExportRecGroup();
testDescriptions();