timed-automata-analyzer 1.0.2 → 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.2",
+  "version": "1.0.4",
   "license": "MIT",
   "repository": {
     "type": "git",

package/timed_automata_analyzer.d.ts

@@ -18,10 +18,8 @@
  * <li>All location names used as source and target of switches are also contained in the set of
  * locations.</li>
  * </ul>
- * @param {TimedAutomaton} ta
- * @returns {(string)[]}
  */
-export function findUnreachableLocations(ta: TimedAutomaton): (string)[];
+export function findUnreachableLocations(ta: TimedAutomaton): string[];
 export enum ClockComparator {
   LESSER = 0,
   LEQ = 1,
@@ -30,53 +28,25 @@ export enum ClockComparator {
 }
 export class Clause {
   free(): void;
-  /**
-   * @param {Clock} lhs
-   * @param {ClockComparator} op
-   * @param {number} rhs
-   */
   constructor(lhs: Clock, op: ClockComparator, rhs: number);
 }
 export class Clock {
   free(): void;
-  /**
-   * @param {string} name
-   */
   constructor(name: string);
 }
 export class ClockConstraint {
   free(): void;
-  /**
-   * @param {(Clause)[]} clauses
-   */
-  constructor(clauses: (Clause)[]);
+  constructor(clauses: Clause[]);
 }
 export class Location {
   free(): void;
-  /**
-   * @param {string} name
-   * @param {boolean} is_initial
-   * @param {ClockConstraint | undefined} [invariant]
-   */
-  constructor(name: string, is_initial: boolean, invariant?: ClockConstraint);
+  constructor(name: string, is_initial: boolean, invariant?: ClockConstraint | null);
 }
 export class Switch {
   free(): void;
-  /**
-   * @param {Location} source
-   * @param {ClockConstraint | undefined} guard
-   * @param {string} action
-   * @param {(Clock)[]} reset
-   * @param {Location} target
-   */
-  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;
-  /**
-   * @param {(Location)[]} locations
-   * @param {(Clock)[]} clocks
-   * @param {(Switch)[]} switches
-   */
-  constructor(locations: (Location)[], clocks: (Clock)[], switches: (Switch)[]);
+  constructor(locations: Location[], clocks: Clock[], switches: Switch[]);
 }

package/timed_automata_analyzer_bg.js

@@ -86,7 +86,6 @@ function _assertClass(instance, klass) {
     if (!(instance instanceof klass)) {
         throw new Error(`expected instance of ${klass.name}`);
     }
-    return instance.ptr;
 }
 
 let cachedDataViewMemory0 = null;
@@ -106,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;
@@ -147,7 +146,7 @@ function getArrayJsValueFromWasm0(ptr, len) {
  * locations.</li>
  * </ul>
  * @param {TimedAutomaton} ta
- * @returns {(string)[]}
+ * @returns {string[]}
  */
 export function findUnreachableLocations(ta) {
     _assertClass(ta, TimedAutomaton);
@@ -158,7 +157,15 @@ export function findUnreachableLocations(ta) {
     return v2;
 }
 
-export const ClockComparator = Object.freeze({ LESSER:0,"0":"LESSER",LEQ:1,"1":"LEQ",GEQ:2,"2":"GEQ",GREATER:3,"3":"GREATER", });
+/**
+ * @enum {0 | 1 | 2 | 3}
+ */
+export const ClockComparator = Object.freeze({
+    LESSER: 0, "0": "LESSER",
+    LEQ: 1, "1": "LEQ",
+    GEQ: 2, "2": "GEQ",
+    GREATER: 3, "3": "GREATER",
+});
 
 const ClauseFinalization = (typeof FinalizationRegistry === 'undefined')
     ? { register: () => {}, unregister: () => {} }
@@ -253,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);
@@ -292,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);
@@ -335,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) {
@@ -377,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);
@@ -395,18 +402,13 @@ export class TimedAutomaton {
     }
 }
 
-export function __wbg_clock_unwrap(arg0) {
-    const ret = Clock.__unwrap(arg0);
-    return ret;
-};
-
 export function __wbg_clause_unwrap(arg0) {
     const ret = Clause.__unwrap(arg0);
     return ret;
 };
 
-export function __wbg_switch_unwrap(arg0) {
-    const ret = Switch.__unwrap(arg0);
+export function __wbg_clock_unwrap(arg0) {
+    const ret = Clock.__unwrap(arg0);
     return ret;
 };
 
@@ -415,15 +417,11 @@ export function __wbg_location_unwrap(arg0) {
     return ret;
 };
 
-export function __wbindgen_string_new(arg0, arg1) {
-    const ret = getStringFromWasm0(arg0, arg1);
+export function __wbg_switch_unwrap(arg0) {
+    const ret = Switch.__unwrap(arg0);
     return ret;
 };
 
-export function __wbindgen_throw(arg0, arg1) {
-    throw new Error(getStringFromWasm0(arg0, arg1));
-};
-
 export function __wbindgen_init_externref_table() {
     const table = wasm.__wbindgen_export_0;
     const offset = table.grow(4);
@@ -435,3 +433,12 @@ export function __wbindgen_init_externref_table() {
     ;
 };
 
+export function __wbindgen_string_new(arg0, arg1) {
+    const ret = getStringFromWasm0(arg0, arg1);
+    return ret;
+};
+
+export function __wbindgen_throw(arg0, arg1) {
+    throw new Error(getStringFromWasm0(arg0, arg1));
+};
+