timed-automata-analyzer 1.0.2 → 1.0.3

package/package.json

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

package/timed_automata_analyzer.d.ts

@@ -18,8 +18,6 @@
  * <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 enum ClockComparator {
@@ -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)[]);
 }
 export class Location {
   free(): void;
-  /**
-   * @param {string} name
-   * @param {boolean} is_initial
-   * @param {ClockConstraint | undefined} [invariant]
-   */
   constructor(name: string, is_initial: boolean, invariant?: ClockConstraint);
 }
 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);
 }
 export class TimedAutomaton {
   free(): void;
-  /**
-   * @param {(Location)[]} locations
-   * @param {(Clock)[]} clocks
-   * @param {(Switch)[]} switches
-   */
   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;
@@ -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: () => {} }
@@ -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));
+};
+