@parsanol/wasm 0.8.12 → 0.10.1

package/package.json

@@ -5,7 +5,7 @@
     "Ribose Inc. <open.source@ribose.com>"
   ],
   "description": "Parsanol PEG parser — WebAssembly bindings",
-  "version": "0.8.12",
+  "version": "0.10.1",
   "license": "MIT",
   "repository": {
     "type": "git",

package/parsanol.d.ts

@@ -1,6 +1,50 @@
 /* tslint:disable */
 /* eslint-disable */
 
+/**
+ * A verified PARG artifact exposed to JavaScript: checksum-verified load,
+ * native parse, bindings application, embedded-suite runs and the
+ * binding-requirements schema (PN 2/4).
+ */
+export class PargArtifactJs {
+    free(): void;
+    [Symbol.dispose](): void;
+    /**
+     * Apply an entry's bindings to a parsanol-shape tree (JSON text).
+     */
+    applyBindings(entry: string, shape_json: string): string;
+    /**
+     * Declared entry point names, sorted.
+     */
+    entryNames(): string[];
+    /**
+     * Load and checksum-verify an artifact envelope.
+     */
+    constructor(artifact_json: string);
+    /**
+     * Parse and bind in one step.
+     */
+    parseAndBind(entry: string, input: string): string;
+    /**
+     * Parse an entry with the native engine; returns the parsanol-shape
+     * tree as JSON text.
+     */
+    parseShape(entry: string, input: string): string;
+    /**
+     * Run the artifact's embedded tests; returns the failure list as
+     * JSON (empty array means green).
+     */
+    runTests(): string;
+    /**
+     * The binding-requirements schema as TypeScript source.
+     */
+    schemaTypescript(): string;
+    /**
+     * The binding-requirements schema as JSON text.
+     */
+    schema(): string;
+}
+
 /**
  * WASM parser instance
  *
@@ -9,6 +53,17 @@
 export class WasmParser {
     free(): void;
     [Symbol.dispose](): void;
+    /**
+     * Create a new parser from a PARG artifact envelope and entry name.
+     *
+     * The artifact's canonical checksum is verified before any parsing;
+     * a mismatched or corrupt artifact is rejected (PN 2).
+     *
+     * # Arguments
+     * * `artifact_json` - JSON text of the PARG artifact envelope
+     * * `entry` - entry point name declared in the artifact
+     */
+    static fromArtifact(artifact_json: string, entry: string): WasmParser;
     /**
      * Create a new parser from grammar JSON
      *
@@ -72,7 +127,16 @@ export type InitInput = RequestInfo | URL | Response | BufferSource | WebAssembl
 
 export interface InitOutput {
     readonly memory: WebAssembly.Memory;
+    readonly __wbg_pargartifactjs_free: (a: number, b: number) => void;
     readonly __wbg_wasmparser_free: (a: number, b: number) => void;
+    readonly init: () => void;
+    readonly pargartifactjs_applyBindings: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+    readonly pargartifactjs_entryNames: (a: number) => [number, number];
+    readonly pargartifactjs_new: (a: number, b: number) => [number, number, number];
+    readonly pargartifactjs_parseAndBind: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+    readonly pargartifactjs_parseShape: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+    readonly pargartifactjs_runTests: (a: number) => [number, number, number];
+    readonly pargartifactjs_schema: (a: number) => [number, number, number];
     readonly parsanol_c_last_error: () => number;
     readonly parsanol_c_parse: (a: bigint, b: number, c: number, d: number) => number;
     readonly parsanol_c_parse_len: (a: bigint, b: number, c: number, d: number, e: number) => number;
@@ -83,6 +147,9 @@ export interface InitOutput {
     readonly parsanol_grammar_new: (a: number) => number;
     readonly parsanol_grammar_new_with_error: (a: number, b: number) => number;
     readonly parsanol_grammar_root: (a: number) => number;
+    readonly parsanol_parg_error: (a: number, b: number) => number;
+    readonly parsanol_parg_free: (a: number) => void;
+    readonly parsanol_parg_parse: (a: number, b: number) => number;
     readonly parsanol_parse: (a: number, b: number, c: number) => number;
     readonly parsanol_parse_end_pos: (a: number, b: number) => number;
     readonly parsanol_parse_simple: (a: number, b: number) => number;
@@ -91,13 +158,14 @@ export interface InitOutput {
     readonly parsanol_result_error: (a: number) => number;
     readonly parsanol_result_free: (a: number) => void;
     readonly parsanol_result_success: (a: number) => number;
-    readonly parsanol_string_free: (a: number) => void;
     readonly parsanol_version: () => number;
-    readonly init: () => void;
+    readonly pargartifactjs_schemaTypescript: (a: number) => [number, number, number];
+    readonly wasmparser_fromArtifact: (a: number, b: number, c: number, d: number) => [number, number, number];
     readonly wasmparser_new: (a: number, b: number) => [number, number, number];
     readonly wasmparser_parse: (a: number, b: number, c: number) => [number, number, number];
     readonly wasmparser_parse_flat: (a: number, b: number, c: number) => [number, number, number, number];
     readonly wasmparser_parse_json: (a: number, b: number, c: number) => [number, number, number, number];
+    readonly parsanol_string_free: (a: number) => void;
     readonly __wbindgen_malloc: (a: number, b: number) => number;
     readonly __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
     readonly __wbindgen_free: (a: number, b: number, c: number) => void;
@@ -105,6 +173,7 @@ export interface InitOutput {
     readonly __externref_table_alloc: () => number;
     readonly __wbindgen_externrefs: WebAssembly.Table;
     readonly __externref_table_dealloc: (a: number) => void;
+    readonly __externref_drop_slice: (a: number, b: number) => void;
     readonly __wbindgen_start: () => void;
 }
 

package/parsanol.js

@@ -1,11 +1,147 @@
 /* @ts-self-types="./parsanol.d.ts" */
 
+/**
+ * A verified PARG artifact exposed to JavaScript: checksum-verified load,
+ * native parse, bindings application, embedded-suite runs and the
+ * binding-requirements schema (PN 2/4).
+ */
+export class PargArtifactJs {
+    __destroy_into_raw() {
+        const ptr = this.__wbg_ptr;
+        this.__wbg_ptr = 0;
+        PargArtifactJsFinalization.unregister(this);
+        return ptr;
+    }
+    free() {
+        const ptr = this.__destroy_into_raw();
+        wasm.__wbg_pargartifactjs_free(ptr, 0);
+    }
+    /**
+     * Apply an entry's bindings to a parsanol-shape tree (JSON text).
+     * @param {string} entry
+     * @param {string} shape_json
+     * @returns {string}
+     */
+    applyBindings(entry, shape_json) {
+        const ptr0 = passStringToWasm0(entry, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(shape_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.pargartifactjs_applyBindings(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+    /**
+     * Declared entry point names, sorted.
+     * @returns {string[]}
+     */
+    entryNames() {
+        const ret = wasm.pargartifactjs_entryNames(this.__wbg_ptr);
+        var v1 = getArrayJsValueFromWasm0(ret[0], ret[1]);
+        wasm.__wbindgen_free(ret[0], ret[1] * 4, 4);
+        return v1;
+    }
+    /**
+     * Load and checksum-verify an artifact envelope.
+     * @param {string} artifact_json
+     */
+    constructor(artifact_json) {
+        const ptr0 = passStringToWasm0(artifact_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ret = wasm.pargartifactjs_new(ptr0, len0);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        this.__wbg_ptr = ret[0];
+        PargArtifactJsFinalization.register(this, this.__wbg_ptr, this);
+        return this;
+    }
+    /**
+     * Parse and bind in one step.
+     * @param {string} entry
+     * @param {string} input
+     * @returns {string}
+     */
+    parseAndBind(entry, input) {
+        const ptr0 = passStringToWasm0(entry, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.pargartifactjs_parseAndBind(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+    /**
+     * Parse an entry with the native engine; returns the parsanol-shape
+     * tree as JSON text.
+     * @param {string} entry
+     * @param {string} input
+     * @returns {string}
+     */
+    parseShape(entry, input) {
+        const ptr0 = passStringToWasm0(entry, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(input, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.pargartifactjs_parseShape(this.__wbg_ptr, ptr0, len0, ptr1, len1);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+    /**
+     * Run the artifact's embedded tests; returns the failure list as
+     * JSON (empty array means green).
+     * @returns {string}
+     */
+    runTests() {
+        const ret = wasm.pargartifactjs_runTests(this.__wbg_ptr);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+    /**
+     * The binding-requirements schema as TypeScript source.
+     * @returns {string}
+     */
+    schemaTypescript() {
+        const ret = wasm.pargartifactjs_schemaTypescript(this.__wbg_ptr);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+    /**
+     * The binding-requirements schema as JSON text.
+     * @returns {string}
+     */
+    schema() {
+        const ret = wasm.pargartifactjs_schema(this.__wbg_ptr);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return takeFromExternrefTable0(ret[0]);
+    }
+}
+if (Symbol.dispose) PargArtifactJs.prototype[Symbol.dispose] = PargArtifactJs.prototype.free;
+
 /**
  * WASM parser instance
  *
  * Create with `new WasmParser(grammarJson)` and parse with `parse(input)`.
  */
 export class WasmParser {
+    static __wrap(ptr) {
+        const obj = Object.create(WasmParser.prototype);
+        obj.__wbg_ptr = ptr;
+        WasmParserFinalization.register(obj, obj.__wbg_ptr, obj);
+        return obj;
+    }
     __destroy_into_raw() {
         const ptr = this.__wbg_ptr;
         this.__wbg_ptr = 0;
@@ -16,6 +152,30 @@ export class WasmParser {
         const ptr = this.__destroy_into_raw();
         wasm.__wbg_wasmparser_free(ptr, 0);
     }
+    /**
+     * Create a new parser from a PARG artifact envelope and entry name.
+     *
+     * The artifact's canonical checksum is verified before any parsing;
+     * a mismatched or corrupt artifact is rejected (PN 2).
+     *
+     * # Arguments
+     * * `artifact_json` - JSON text of the PARG artifact envelope
+     * * `entry` - entry point name declared in the artifact
+     * @param {string} artifact_json
+     * @param {string} entry
+     * @returns {WasmParser}
+     */
+    static fromArtifact(artifact_json, entry) {
+        const ptr0 = passStringToWasm0(artifact_json, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(entry, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
+        const len1 = WASM_VECTOR_LEN;
+        const ret = wasm.wasmparser_fromArtifact(ptr0, len0, ptr1, len1);
+        if (ret[2]) {
+            throw takeFromExternrefTable0(ret[1]);
+        }
+        return WasmParser.__wrap(ret[0]);
+    }
     /**
      * Create a new parser from grammar JSON
      *
@@ -134,7 +294,7 @@ export function init() {
 function __wbg_get_imports() {
     const import0 = {
         __proto__: null,
-        __wbg___wbindgen_string_get_92ab86bb19cbc12f: function(arg0, arg1) {
+        __wbg___wbindgen_string_get_0380ccaa2f57f0d9: function(arg0, arg1) {
             const obj = arg1;
             const ret = typeof(obj) === 'string' ? obj : undefined;
             var ptr1 = isLikeNone(ret) ? 0 : passStringToWasm0(ret, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
@@ -142,7 +302,7 @@ function __wbg_get_imports() {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg___wbindgen_throw_5d9e815e6fdf150f: function(arg0, arg1) {
+        __wbg___wbindgen_throw_41e9ee4f547fc59a: function(arg0, arg1) {
             throw new Error(getStringFromWasm0(arg0, arg1));
         },
         __wbg_error_757e9472f8410341: function(arg0, arg1) {
@@ -163,19 +323,19 @@ function __wbg_get_imports() {
             const ret = new Error();
             return ret;
         },
-        __wbg_new_bebc3f4757acf305: function() {
+        __wbg_new_617a8cdb8bb1130e: function() {
             const ret = new Object();
             return ret;
         },
-        __wbg_new_ffa92086ea89f79c: function() {
+        __wbg_new_ee2291f50781bf1d: function() {
             const ret = new Array();
             return ret;
         },
-        __wbg_push_bfdf956ba476f65b: function(arg0, arg1) {
+        __wbg_push_2baf45db356cf468: function(arg0, arg1) {
             const ret = arg0.push(arg1);
             return ret;
         },
-        __wbg_set_a377297433dfea63: function() { return handleError(function (arg0, arg1, arg2) {
+        __wbg_set_145a351398b48c65: function() { return handleError(function (arg0, arg1, arg2) {
             const ret = Reflect.set(arg0, arg1, arg2);
             return ret;
         }, arguments); },
@@ -186,7 +346,7 @@ function __wbg_get_imports() {
             getDataViewMemory0().setInt32(arg0 + 4 * 1, len1, true);
             getDataViewMemory0().setInt32(arg0 + 4 * 0, ptr1, true);
         },
-        __wbg_stringify_54b3d9b61602aee6: function() { return handleError(function (arg0) {
+        __wbg_stringify_52ff602c1cc4fbb6: function() { return handleError(function (arg0) {
             const ret = JSON.stringify(arg0);
             return ret;
         }, arguments); },
@@ -216,6 +376,9 @@ function __wbg_get_imports() {
     };
 }
 
+const PargArtifactJsFinalization = (typeof FinalizationRegistry === 'undefined')
+    ? { register: () => {}, unregister: () => {} }
+    : new FinalizationRegistry(ptr => wasm.__wbg_pargartifactjs_free(ptr, 1));
 const WasmParserFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
     : new FinalizationRegistry(ptr => wasm.__wbg_wasmparser_free(ptr, 1));
@@ -226,6 +389,17 @@ function addToExternrefTable0(obj) {
     return idx;
 }
 
+function getArrayJsValueFromWasm0(ptr, len) {
+    ptr = ptr >>> 0;
+    const mem = getDataViewMemory0();
+    const result = [];
+    for (let i = ptr; i < ptr + 4 * len; i += 4) {
+        result.push(wasm.__wbindgen_externrefs.get(mem.getUint32(i, true)));
+    }
+    wasm.__externref_drop_slice(ptr, len);
+    return result;
+}
+
 function getArrayU64FromWasm0(ptr, len) {
     ptr = ptr >>> 0;
     return getBigUint64ArrayMemory0().subarray(ptr / 8, ptr / 8 + len);

package/parsanol_bg.wasm.d.ts

@@ -1,7 +1,16 @@
 /* tslint:disable */
 /* eslint-disable */
 export const memory: WebAssembly.Memory;
+export const __wbg_pargartifactjs_free: (a: number, b: number) => void;
 export const __wbg_wasmparser_free: (a: number, b: number) => void;
+export const init: () => void;
+export const pargartifactjs_applyBindings: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+export const pargartifactjs_entryNames: (a: number) => [number, number];
+export const pargartifactjs_new: (a: number, b: number) => [number, number, number];
+export const pargartifactjs_parseAndBind: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+export const pargartifactjs_parseShape: (a: number, b: number, c: number, d: number, e: number) => [number, number, number];
+export const pargartifactjs_runTests: (a: number) => [number, number, number];
+export const pargartifactjs_schema: (a: number) => [number, number, number];
 export const parsanol_c_last_error: () => number;
 export const parsanol_c_parse: (a: bigint, b: number, c: number, d: number) => number;
 export const parsanol_c_parse_len: (a: bigint, b: number, c: number, d: number, e: number) => number;
@@ -12,6 +21,9 @@ export const parsanol_grammar_free: (a: number) => void;
 export const parsanol_grammar_new: (a: number) => number;
 export const parsanol_grammar_new_with_error: (a: number, b: number) => number;
 export const parsanol_grammar_root: (a: number) => number;
+export const parsanol_parg_error: (a: number, b: number) => number;
+export const parsanol_parg_free: (a: number) => void;
+export const parsanol_parg_parse: (a: number, b: number) => number;
 export const parsanol_parse: (a: number, b: number, c: number) => number;
 export const parsanol_parse_end_pos: (a: number, b: number) => number;
 export const parsanol_parse_simple: (a: number, b: number) => number;
@@ -20,13 +32,14 @@ export const parsanol_result_end_pos: (a: number) => number;
 export const parsanol_result_error: (a: number) => number;
 export const parsanol_result_free: (a: number) => void;
 export const parsanol_result_success: (a: number) => number;
-export const parsanol_string_free: (a: number) => void;
 export const parsanol_version: () => number;
-export const init: () => void;
+export const pargartifactjs_schemaTypescript: (a: number) => [number, number, number];
+export const wasmparser_fromArtifact: (a: number, b: number, c: number, d: number) => [number, number, number];
 export const wasmparser_new: (a: number, b: number) => [number, number, number];
 export const wasmparser_parse: (a: number, b: number, c: number) => [number, number, number];
 export const wasmparser_parse_flat: (a: number, b: number, c: number) => [number, number, number, number];
 export const wasmparser_parse_json: (a: number, b: number, c: number) => [number, number, number, number];
+export const parsanol_string_free: (a: number) => void;
 export const __wbindgen_malloc: (a: number, b: number) => number;
 export const __wbindgen_realloc: (a: number, b: number, c: number, d: number) => number;
 export const __wbindgen_free: (a: number, b: number, c: number) => void;
@@ -34,4 +47,5 @@ export const __wbindgen_exn_store: (a: number) => void;
 export const __externref_table_alloc: () => number;
 export const __wbindgen_externrefs: WebAssembly.Table;
 export const __externref_table_dealloc: (a: number) => void;
+export const __externref_drop_slice: (a: number, b: number) => void;
 export const __wbindgen_start: () => void;