mirror of
https://github.com/fluencelabs/wasm-bindgen
synced 2025-03-16 10:10:52 +00:00
add Validate ptr test
This commit is contained in:
parent
749ac6502f
commit
e9ea2dabc1
@ -538,3 +538,4 @@ mod structural;
|
||||
mod u64;
|
||||
mod webidl;
|
||||
mod comments;
|
||||
mod validate_prt;
|
69
tests/all/validate_prt.rs
Normal file
69
tests/all/validate_prt.rs
Normal file
@ -0,0 +1,69 @@
|
||||
use super::project;
|
||||
|
||||
#[test]
|
||||
fn works() {
|
||||
project()
|
||||
.file("src/lib.rs", r#"
|
||||
#![feature(proc_macro, wasm_custom_section, wasm_import_module)]
|
||||
extern crate wasm_bindgen;
|
||||
use wasm_bindgen::prelude::*;
|
||||
#[wasm_bindgen]
|
||||
pub struct Fruit {
|
||||
name: String,
|
||||
}
|
||||
#[wasm_bindgen]
|
||||
impl Fruit {
|
||||
#[wasm_bindgen(method)]
|
||||
pub fn name(&self) -> String {
|
||||
self.name.clone()
|
||||
}
|
||||
#[wasm_bindgen(constructor)]
|
||||
pub fn new(name: String) -> Self {
|
||||
Fruit {
|
||||
name,
|
||||
}
|
||||
}
|
||||
}
|
||||
#[wasm_bindgen]
|
||||
pub fn eat(_fruit: Fruit) { }
|
||||
"#)
|
||||
.file("test.js", r#"
|
||||
import * as wasm from './out';
|
||||
const targetMessage = 'Attempt to use a moved value';
|
||||
function assertEq(a, b) {
|
||||
console.log(a, '?=', b);
|
||||
if (a === b)
|
||||
return;
|
||||
throw new Error('not equal');
|
||||
}
|
||||
export function test() {
|
||||
useMoved();
|
||||
moveMoved();
|
||||
}
|
||||
export function useMoved() {
|
||||
// create a new struct
|
||||
let apple = new wasm.Fruit('apple');
|
||||
// sanity check that this method works
|
||||
let name = apple.name();
|
||||
// consume the struct
|
||||
wasm.eat(apple);
|
||||
// try and use the moved apple again
|
||||
try {
|
||||
let movedName = apple.name();
|
||||
} catch (e) {
|
||||
assertEq(e.message, targetMessage);
|
||||
}
|
||||
}
|
||||
export function moveMoved() {
|
||||
let pear = new wasm.Fruit('pear');
|
||||
let name = pear.name();
|
||||
wasm.eat(pear);
|
||||
try {
|
||||
wasm.eat(pear);
|
||||
} catch (e) {
|
||||
assertEq(e.message, targetMessage);
|
||||
}
|
||||
}
|
||||
"#)
|
||||
.test();
|
||||
}
|
Loading…
x
Reference in New Issue
Block a user