2019-06-05 23:15:39 +02:00
|
|
|
import { E_NOTIMPLEMENTED } from "./util/error";
|
2018-07-18 23:49:32 +02:00
|
|
|
|
2019-06-05 23:15:39 +02:00
|
|
|
export namespace table {
|
2018-07-18 23:49:32 +02:00
|
|
|
|
2019-06-05 23:15:39 +02:00
|
|
|
export function copy(dst: u32, src: u32, n: u32): void {
|
|
|
|
throw new Error(E_NOTIMPLEMENTED);
|
|
|
|
}
|
2018-07-18 23:49:32 +02:00
|
|
|
|
2019-06-05 23:15:39 +02:00
|
|
|
export function init(elementIndex: u32, srcOffset: u32, dstOffset: u32, n: u32): void {
|
|
|
|
throw new Error(E_NOTIMPLEMENTED);
|
|
|
|
}
|
2018-07-18 23:49:32 +02:00
|
|
|
|
2019-06-05 23:15:39 +02:00
|
|
|
export function drop(elementIndex: u32): void {
|
|
|
|
throw new Error(E_NOTIMPLEMENTED);
|
|
|
|
}
|
2018-07-18 23:49:32 +02:00
|
|
|
}
|