timed-automata-analyzer 1.1.0 → 1.1.2

package/package.json

@@ -5,7 +5,7 @@
     "luth1um"
   ],
   "description": "An analyzer for Timed Automata written in Rust",
-  "version": "1.1.0",
+  "version": "1.1.2",
   "license": "MIT",
   "repository": {
     "type": "git",
@@ -23,4 +23,4 @@
     "./timed_automata_analyzer.js",
     "./snippets/*"
   ]
-}
+}

package/timed_automata_analyzer.js

@@ -1,7 +1,7 @@
 /* @ts-self-types="./timed_automata_analyzer.d.ts" */
-
 import * as wasm from "./timed_automata_analyzer_bg.wasm";
 import { __wbg_set_wasm } from "./timed_automata_analyzer_bg.js";
+
 __wbg_set_wasm(wasm);
 wasm.__wbindgen_start();
 export {

package/timed_automata_analyzer_bg.js

@@ -23,7 +23,7 @@ export class Clause {
     constructor(lhs, op, rhs) {
         _assertClass(lhs, Clock);
         const ret = wasm.clause_new(lhs.__wbg_ptr, op, rhs);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         ClauseFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -54,7 +54,7 @@ export class Clock {
         const ptr0 = passStringToWasm0(name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
         const len0 = WASM_VECTOR_LEN;
         const ret = wasm.clock_new(ptr0, len0);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         ClockFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -89,7 +89,7 @@ export class ClockConstraint {
         const ptr0 = passArrayJsValueToWasm0(clauses, wasm.__wbindgen_malloc);
         const len0 = WASM_VECTOR_LEN;
         const ret = wasm.clockconstraint_new(ptr0, len0);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         ClockConstraintFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -127,7 +127,7 @@ export class Location {
             ptr1 = invariant.__destroy_into_raw();
         }
         const ret = wasm.location_new(ptr0, len0, is_initial, ptr1);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         LocationFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -171,7 +171,7 @@ export class Switch {
         const len2 = WASM_VECTOR_LEN;
         _assertClass(target, Location);
         const ret = wasm.switch_new(source.__wbg_ptr, ptr0, ptr1, len1, ptr2, len2, target.__wbg_ptr);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         SwitchFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -202,7 +202,7 @@ export class TimedAutomaton {
         const ptr2 = passArrayJsValueToWasm0(switches, wasm.__wbindgen_malloc);
         const len2 = WASM_VECTOR_LEN;
         const ret = wasm.timedautomaton_new(ptr0, len0, ptr1, len1, ptr2, len2);
-        this.__wbg_ptr = ret >>> 0;
+        this.__wbg_ptr = ret;
         TimedAutomatonFinalization.register(this, this.__wbg_ptr, this);
         return this;
     }
@@ -234,11 +234,11 @@ export function findUnreachableLocations(ta) {
     _assertClass(ta, TimedAutomaton);
     var ptr0 = ta.__destroy_into_raw();
     const ret = wasm.findUnreachableLocations(ptr0);
-    var v2 = getArrayJsValueFromWasm0(ret[0], ret[1]).slice();
+    var v2 = getArrayJsValueFromWasm0(ret[0], ret[1]);
     wasm.__wbindgen_free(ret[0], ret[1] * 4, 4);
     return v2;
 }
-export function __wbg___wbindgen_throw_df03e93053e0f4bc(arg0, arg1) {
+export function __wbg___wbindgen_throw_bb96b2010945f0bc(arg0, arg1) {
     throw new Error(getStringFromWasm0(arg0, arg1));
 }
 export function __wbg_clause_unwrap(arg0) {
@@ -273,22 +273,22 @@ export function __wbindgen_init_externref_table() {
 }
 const ClauseFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_clause_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_clause_free(ptr, 1));
 const ClockFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_clock_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_clock_free(ptr, 1));
 const ClockConstraintFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_clockconstraint_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_clockconstraint_free(ptr, 1));
 const LocationFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_location_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_location_free(ptr, 1));
 const SwitchFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_switch_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_switch_free(ptr, 1));
 const TimedAutomatonFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
-    : new FinalizationRegistry(ptr => wasm.__wbg_timedautomaton_free(ptr >>> 0, 1));
+    : new FinalizationRegistry(ptr => wasm.__wbg_timedautomaton_free(ptr, 1));
 
 function addToExternrefTable0(obj) {
     const idx = wasm.__externref_table_alloc();
@@ -322,8 +322,7 @@ function getDataViewMemory0() {
 }
 
 function getStringFromWasm0(ptr, len) {
-    ptr = ptr >>> 0;
-    return decodeText(ptr, len);
+    return decodeText(ptr >>> 0, len);
 }
 
 let cachedUint8ArrayMemory0 = null;