timed-automata-analyzer 1.0.7 → 1.0.9

package/package.json

@@ -5,7 +5,7 @@
     "luth1um"
   ],
   "description": "An analyzer for Timed Automata written in Rust",
-  "version": "1.0.7",
+  "version": "1.0.9",
   "license": "MIT",
   "repository": {
     "type": "git",

package/timed_automata_analyzer.d.ts

@@ -28,25 +28,31 @@ export enum ClockComparator {
 }
 export class Clause {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(lhs: Clock, op: ClockComparator, rhs: number);
 }
 export class Clock {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(name: string);
 }
 export class ClockConstraint {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(clauses: Clause[]);
 }
 export class Location {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(name: string, is_initial: boolean, invariant?: ClockConstraint | null);
 }
 export class Switch {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(source: Location, guard: ClockConstraint | null | undefined, action: string, reset: Clock[], target: Location);
 }
 export class TimedAutomaton {
   free(): void;
+  [Symbol.dispose](): void;
   constructor(locations: Location[], clocks: Clock[], switches: Switch[]);
 }

package/timed_automata_analyzer_bg.js

@@ -13,9 +13,7 @@ function getUint8ArrayMemory0() {
     return cachedUint8ArrayMemory0;
 }
 
-const lTextDecoder = typeof TextDecoder === 'undefined' ? (0, module.require)('util').TextDecoder : TextDecoder;
-
-let cachedTextDecoder = new lTextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
 
 cachedTextDecoder.decode();
 
@@ -24,7 +22,7 @@ let numBytesDecoded = 0;
 function decodeText(ptr, len) {
     numBytesDecoded += len;
     if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
-        cachedTextDecoder = new lTextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+        cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
         cachedTextDecoder.decode();
         numBytesDecoded = len;
     }
@@ -38,22 +36,18 @@ function getStringFromWasm0(ptr, len) {
 
 let WASM_VECTOR_LEN = 0;
 
-const lTextEncoder = typeof TextEncoder === 'undefined' ? (0, module.require)('util').TextEncoder : TextEncoder;
-
-const cachedTextEncoder = new lTextEncoder('utf-8');
+const cachedTextEncoder = new TextEncoder();
 
-const encodeString = (typeof cachedTextEncoder.encodeInto === 'function'
-    ? function (arg, view) {
-    return cachedTextEncoder.encodeInto(arg, view);
+if (!('encodeInto' in cachedTextEncoder)) {
+    cachedTextEncoder.encodeInto = function (arg, view) {
+        const buf = cachedTextEncoder.encode(arg);
+        view.set(buf);
+        return {
+            read: arg.length,
+            written: buf.length
+        };
+    }
 }
-    : function (arg, view) {
-    const buf = cachedTextEncoder.encode(arg);
-    view.set(buf);
-    return {
-        read: arg.length,
-        written: buf.length
-    };
-});
 
 function passStringToWasm0(arg, malloc, realloc) {
 
@@ -84,7 +78,7 @@ function passStringToWasm0(arg, malloc, realloc) {
         }
         ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
         const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
-        const ret = encodeString(arg, view);
+        const ret = cachedTextEncoder.encodeInto(arg, view);
 
         offset += ret.written;
         ptr = realloc(ptr, len, offset, 1) >>> 0;
@@ -216,6 +210,7 @@ export class Clause {
         return this;
     }
 }
+if (Symbol.dispose) Clause.prototype[Symbol.dispose] = Clause.prototype.free;
 
 const ClockFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -253,6 +248,7 @@ export class Clock {
         return this;
     }
 }
+if (Symbol.dispose) Clock.prototype[Symbol.dispose] = Clock.prototype.free;
 
 const ClockConstraintFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -283,6 +279,7 @@ export class ClockConstraint {
         return this;
     }
 }
+if (Symbol.dispose) ClockConstraint.prototype[Symbol.dispose] = ClockConstraint.prototype.free;
 
 const LocationFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -327,6 +324,7 @@ export class Location {
         return this;
     }
 }
+if (Symbol.dispose) Location.prototype[Symbol.dispose] = Location.prototype.free;
 
 const SwitchFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -377,6 +375,7 @@ export class Switch {
         return this;
     }
 }
+if (Symbol.dispose) Switch.prototype[Symbol.dispose] = Switch.prototype.free;
 
 const TimedAutomatonFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -413,6 +412,7 @@ export class TimedAutomaton {
         return this;
     }
 }
+if (Symbol.dispose) TimedAutomaton.prototype[Symbol.dispose] = TimedAutomaton.prototype.free;
 
 export function __wbg_clause_unwrap(arg0) {
     const ret = Clause.__unwrap(arg0);
@@ -434,7 +434,7 @@ export function __wbg_switch_unwrap(arg0) {
     return ret;
 };
 
-export function __wbg_wbindgenthrow_4c11a24fca429ccf(arg0, arg1) {
+export function __wbg_wbindgenthrow_451ec1a8469d7eb6(arg0, arg1) {
     throw new Error(getStringFromWasm0(arg0, arg1));
 };