timed-automata-analyzer 1.0.3 → 1.0.5

package/LICENSE

@@ -1,6 +1,6 @@
 MIT License
 
-Copyright (c) 2024 Luthium
+Copyright (c) 2024 - 2025 Luthium
 
 Permission is hereby granted, free of charge, to any person obtaining a copy
 of this software and associated documentation files (the "Software"), to deal

package/README.md

@@ -21,7 +21,7 @@ In case you want to contribute to the tool or fork the repository, only few step
 - As a first step, you need to install Rust.
   See the [Rust website](https://www.rust-lang.org/tools/install) for information on how to do this.
 - Additionally, you need to install _wasm-pack_ with `cargo install wasm-pack` for WebAssembly outputs.
-- The WebAssembly binary (including glue code for JavaScript/TypeScript and an npm package) is generated by running `wasm-pack build --target bundler` and published to the npm registry by running `wasm-pack publish`.
+- The WebAssembly binary (including glue code for JavaScript/TypeScript and an NPM package) is generated by running `wasm-pack build --target bundler` and published to the npm registry by running `wasm-pack publish`.
 - This project includes an extensive test suite. Tests can be run with `cargo test`.
 - For linting, this project uses the built-in linter of Rust as well as [Clippy](https://github.com/rust-lang/rust-clippy).
   To run the linters, execute `cargo check` and `cargo clippy`, respectively.

package/package.json

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

package/timed_automata_analyzer.d.ts

@@ -19,7 +19,7 @@
  * locations.</li>
  * </ul>
  */
-export function findUnreachableLocations(ta: TimedAutomaton): (string)[];
+export function findUnreachableLocations(ta: TimedAutomaton): string[];
 export enum ClockComparator {
   LESSER = 0,
   LEQ = 1,
@@ -36,17 +36,17 @@ export class Clock {
 }
 export class ClockConstraint {
   free(): void;
-  constructor(clauses: (Clause)[]);
+  constructor(clauses: Clause[]);
 }
 export class Location {
   free(): void;
-  constructor(name: string, is_initial: boolean, invariant?: ClockConstraint);
+  constructor(name: string, is_initial: boolean, invariant?: ClockConstraint | null);
 }
 export class Switch {
   free(): void;
-  constructor(source: Location, guard: ClockConstraint | undefined, action: string, reset: (Clock)[], target: Location);
+  constructor(source: Location, guard: ClockConstraint | null | undefined, action: string, reset: Clock[], target: Location);
 }
 export class TimedAutomaton {
   free(): void;
-  constructor(locations: (Location)[], clocks: (Clock)[], switches: (Switch)[]);
+  constructor(locations: Location[], clocks: Clock[], switches: Switch[]);
 }

package/timed_automata_analyzer_bg.js

@@ -4,12 +4,6 @@ export function __wbg_set_wasm(val) {
 }
 
 
-const lTextDecoder = typeof TextDecoder === 'undefined' ? (0, module.require)('util').TextDecoder : TextDecoder;
-
-let cachedTextDecoder = new lTextDecoder('utf-8', { ignoreBOM: true, fatal: true });
-
-cachedTextDecoder.decode();
-
 let cachedUint8ArrayMemory0 = null;
 
 function getUint8ArrayMemory0() {
@@ -19,16 +13,34 @@ 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 });
+
+cachedTextDecoder.decode();
+
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+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.decode();
+        numBytesDecoded = len;
+    }
+    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+}
+
 function getStringFromWasm0(ptr, len) {
     ptr = ptr >>> 0;
-    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+    return decodeText(ptr, len);
 }
 
 let WASM_VECTOR_LEN = 0;
 
 const lTextEncoder = typeof TextEncoder === 'undefined' ? (0, module.require)('util').TextEncoder : TextEncoder;
 
-let cachedTextEncoder = new lTextEncoder('utf-8');
+const cachedTextEncoder = new lTextEncoder('utf-8');
 
 const encodeString = (typeof cachedTextEncoder.encodeInto === 'function'
     ? function (arg, view) {
@@ -105,9 +117,9 @@ function addToExternrefTable0(obj) {
 
 function passArrayJsValueToWasm0(array, malloc) {
     const ptr = malloc(array.length * 4, 4) >>> 0;
-    const mem = getDataViewMemory0();
     for (let i = 0; i < array.length; i++) {
-        mem.setUint32(ptr + 4 * i, addToExternrefTable0(array[i]), true);
+        const add = addToExternrefTable0(array[i]);
+        getDataViewMemory0().setUint32(ptr + 4 * i, add, true);
     }
     WASM_VECTOR_LEN = array.length;
     return ptr;
@@ -146,7 +158,7 @@ function getArrayJsValueFromWasm0(ptr, len) {
  * locations.</li>
  * </ul>
  * @param {TimedAutomaton} ta
- * @returns {(string)[]}
+ * @returns {string[]}
  */
 export function findUnreachableLocations(ta) {
     _assertClass(ta, TimedAutomaton);
@@ -260,7 +272,7 @@ export class ClockConstraint {
         wasm.__wbg_clockconstraint_free(ptr, 0);
     }
     /**
-     * @param {(Clause)[]} clauses
+     * @param {Clause[]} clauses
      */
     constructor(clauses) {
         const ptr0 = passArrayJsValueToWasm0(clauses, wasm.__wbindgen_malloc);
@@ -299,7 +311,7 @@ export class Location {
     /**
      * @param {string} name
      * @param {boolean} is_initial
-     * @param {ClockConstraint | undefined} [invariant]
+     * @param {ClockConstraint | null} [invariant]
      */
     constructor(name, is_initial, invariant) {
         const ptr0 = passStringToWasm0(name, wasm.__wbindgen_malloc, wasm.__wbindgen_realloc);
@@ -342,9 +354,9 @@ export class Switch {
     }
     /**
      * @param {Location} source
-     * @param {ClockConstraint | undefined} guard
+     * @param {ClockConstraint | null | undefined} guard
      * @param {string} action
-     * @param {(Clock)[]} reset
+     * @param {Clock[]} reset
      * @param {Location} target
      */
     constructor(source, guard, action, reset, target) {
@@ -384,9 +396,9 @@ export class TimedAutomaton {
         wasm.__wbg_timedautomaton_free(ptr, 0);
     }
     /**
-     * @param {(Location)[]} locations
-     * @param {(Clock)[]} clocks
-     * @param {(Switch)[]} switches
+     * @param {Location[]} locations
+     * @param {Clock[]} clocks
+     * @param {Switch[]} switches
      */
     constructor(locations, clocks, switches) {
         const ptr0 = passArrayJsValueToWasm0(locations, wasm.__wbindgen_malloc);