timed-automata-analyzer 1.0.3 → 1.0.4

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/package.json

@@ -5,7 +5,7 @@
     "luth1um"
   ],
   "description": "An analyzer for Timed Automata written in Rust",
-  "version": "1.0.3",
+  "version": "1.0.4",
   "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

@@ -105,9 +105,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 +146,7 @@ function getArrayJsValueFromWasm0(ptr, len) {
  * locations.</li>
  * </ul>
  * @param {TimedAutomaton} ta
- * @returns {(string)[]}
+ * @returns {string[]}
  */
 export function findUnreachableLocations(ta) {
     _assertClass(ta, TimedAutomaton);
@@ -260,7 +260,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 +299,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 +342,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 +384,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);