@vsirotin/ts-stop 1.13.0 → 2.4.1

package/lib/fa/FiniteStateMachine.js

@@ -1,410 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.FiniteStateMachine = void 0;
-const DefaultState_1 = require("./DefaultState");
-/**
- * Concrete implementation of a finite state machine with optional state actions.
- *
- * This class supports states that can optionally implement action interfaces:
- * - IStateWithAfterEntryAction: Execute action when entering the state
- * - IStateWithBeforeExitAction: Execute action when exiting the state
- * - Both interfaces: Execute both entry and exit actions
- * - Neither interface: Traditional state machine behavior (no actions)
- *
- * @template STATE - The type representing possible states
- * @template SIGNAL - The type representing signals/events
- *
- * @example
- * ```typescript
- * // Basic string-based turnstile (traditional approach)
- * class Turnstile extends FiniteStateMachine<string, string> {
- *     constructor() {
- *         super(
- *             ['locked', 'unlocked'],
- *             ['coin', 'push'],
- *             [
- *                 { from: 'locked', signal: 'coin', to: 'unlocked' },
- *                 { from: 'unlocked', signal: 'push', to: 'locked' }
- *             ],
- *             'locked'
- *         );
- *     }
- *
- * ...
- * }
- *
- 
- *
- * class TurnstileWithActions extends FiniteStateMachine<ActionState, string> {
- *     private locked = new ActionState('locked', 'Payment required');
- *     private unlocked = new ActionState('unlocked', 'Please proceed');
- *
- *     constructor() {
- *         super(
- *             [this.locked, this.unlocked],
- *             ['coin', 'push'],
- *             [
- *                 { from: this.locked, signal: 'coin', to: this.unlocked },
- *                 { from: this.unlocked, signal: 'push', to: this.locked }
- *             ],
- *             this.locked
- *         );
- *     }
- *
- *     insertCoin(): ActionState { return this.sendSignal('coin'); }
- *     pushThrough(): ActionState { return this.sendSignal('push'); }
- * }
- *
- * ```
- */
-class FiniteStateMachine {
-    /**
-     * Creates a new finite state machine.
-     *
-     * @param states - Array of all possible states
-     * @param signals - Array of all possible signals/events
-     * @param transitions - Array of transition rules defining how signals move between states
-     * @param startState - The initial state of the machine
-     * @param skipValidation - When true, all structural validations are skipped (default: false)
-     */
-    constructor(states, signals, transitions, startState, skipValidation = false) {
-        this.states = states;
-        this.signals = signals;
-        this.transitions = transitions;
-        this.startState = startState;
-        /**
-     * The default state that handles invalid signals.
-     * Set to null if no state implements IDefaultState.
-     */
-        this.defaultState = null;
-        // Find states that implement IDefaultState
-        const defaultStates = states.filter(state => this.isDefaultState(state));
-        if (!skipValidation) {
-            // Validate default state count
-            if (defaultStates.length > 1) {
-                throw new Error(`ERROR-STOP-01: Multiple states implement IDefaultState interface. ` +
-                    `Only one state can handle invalid signals. ` +
-                    `Found ${defaultStates.length} states with IDefaultState.`);
-            }
-            // Validate that all transition and start-state references are defined
-            this.validateDanglingReferences();
-            // Validate that all output signal states have at least one outgoing transition
-            this.validateOutputSignalStates();
-            // Validate that output-signal states do not form cycles
-            this.validateOutputSignalCycles();
-            // Validate that all states are reachable from the start state
-            this.validateUnreachableStates();
-        }
-        // Set default state if exactly one found
-        if (defaultStates.length === 1) {
-            this.defaultState = defaultStates[0];
-        }
-        // Initialize the machine to its starting state
-        this.currentState = startState;
-        // Check if a current state has output signal and process it
-        this.tryProcessStateWithOutputSignal();
-        // Execute initial state entry action if supported
-        this.executeEntryAction(this.currentState);
-    }
-    /**
-     * Gets the current state of the state machine.
-     *
-     * @returns The current state
-     */
-    getCurrentState() {
-        return this.currentState;
-    }
-    /**
-     * Processes a signal and potentially transitions to a new state with action execution.
-     *
-     * This method:
-     * 1. Finds a matching transition for the current state and signal
-     * 2. If found and the target state is different:
-     *    a. Executes beforeExitAction on current state (if implemented)
-     *    b. Changes to the new state
-     *    c. Executes afterEntryAction on new state (if implemented)
-     * 3. Returns the resulting state
-     *
-     * @param signal - The signal/event to process
-     * @returns The resulting state after processing the signal
-     */
-    sendSignal(signal) {
-        // Find a transition that matches current state and signal
-        const transition = this.transitions.find(t => t.from === this.currentState && t.signal === signal);
-        // If valid transition found, handle state change with actions
-        if (transition) {
-            this.executeStateTransition(transition);
-        }
-        else if (this.defaultState) {
-            // No valid transition found, but default state exists
-            // Execute default state's actions (entry/exit if implemented)
-            this.executeStateActions(this.defaultState);
-            // Current state remains unchanged
-        }
-        this.tryProcessStateWithOutputSignal();
-        return this.currentState;
-    }
-    tryProcessStateWithOutputSignal() {
-        if (this.isStateWithOutputSignal(this.currentState)) {
-            // Processing of behaviour for state with inside calculated output signal
-            this.executeStateActions(this.currentState);
-            const stateWithOutputSignal = this.currentState;
-            const outputSignal = stateWithOutputSignal.getOutputSignal();
-            // Add null/undefined check to prevent errors
-            if (outputSignal !== null && outputSignal !== undefined) {
-                this.sendSignal(outputSignal);
-            }
-        }
-    }
-    validateUnreachableStates() {
-        const reachable = new Set();
-        const queue = [this.startState];
-        reachable.add(this.startState);
-        while (queue.length > 0) {
-            const current = queue.shift();
-            for (const t of this.transitions) {
-                if (t.from === current && !reachable.has(t.to)) {
-                    reachable.add(t.to);
-                    queue.push(t.to);
-                }
-            }
-        }
-        for (const state of this.states) {
-            if (this.isDefaultState(state))
-                continue; // DefaultState handles invalid signals — unreachable by design
-            if (!reachable.has(state)) {
-                throw new Error(`ERROR-STOP-08: State '${state}' is unreachable from start state '${this.startState}'. ` +
-                    `All non-default states must be reachable from the start state via the transition graph.`);
-            }
-        }
-    }
-    validateDanglingReferences() {
-        const stateSet = new Set(this.states);
-        const signalSet = new Set(this.signals);
-        if (!stateSet.has(this.startState)) {
-            throw new Error(`ERROR-STOP-03: Start state '${this.startState}' is not in the states array. ` +
-                `The start state must be one of the provided states.`);
-        }
-        for (const t of this.transitions) {
-            if (!stateSet.has(t.from)) {
-                throw new Error(`ERROR-STOP-04: Transition references unknown state '${t.from}' as 'from'. ` +
-                    `All transition states must be in the states array.`);
-            }
-            if (!stateSet.has(t.to)) {
-                throw new Error(`ERROR-STOP-05: Transition references unknown state '${t.to}' as 'to'. ` +
-                    `All transition states must be in the states array.`);
-            }
-            if (!signalSet.has(t.signal)) {
-                throw new Error(`ERROR-STOP-06: Transition references unknown signal '${String(t.signal)}'. ` +
-                    `All transition signals must be in the signals array.`);
-            }
-        }
-    }
-    validateOutputSignalStates() {
-        for (const state of this.states) {
-            if (this.isStateWithOutputSignal(state)) {
-                const hasOutgoing = this.transitions.some(t => t.from === state);
-                if (!hasOutgoing) {
-                    throw new Error(`ERROR-STOP-02: Configuration error: State '${state}' implements IStateWithOutputSignal ` +
-                        `but has no outgoing transitions. States with output signals must have ` +
-                        `at least one outgoing transition.`);
-                }
-            }
-        }
-    }
-    validateOutputSignalCycles() {
-        const outputStateSet = new Set(this.states.filter(s => this.isStateWithOutputSignal(s)));
-        if (outputStateSet.size < 2)
-            return;
-        // Build adjacency: output state → output states reachable via one transition
-        const adj = new Map();
-        for (const state of outputStateSet) {
-            adj.set(state, this.transitions
-                .filter(t => t.from === state && outputStateSet.has(t.to))
-                .map(t => t.to));
-        }
-        // DFS-based cycle detection (colour: 0=unvisited, 1=in-stack, 2=done)
-        const visited = new Set();
-        const onStack = new Set();
-        const stackPath = [];
-        const dfs = (state) => {
-            var _a;
-            visited.add(state);
-            onStack.add(state);
-            stackPath.push(state);
-            for (const neighbor of ((_a = adj.get(state)) !== null && _a !== void 0 ? _a : [])) {
-                if (onStack.has(neighbor)) {
-                    const cycleStart = stackPath.indexOf(neighbor);
-                    const cyclePath = [...stackPath.slice(cycleStart), neighbor];
-                    throw new Error(`ERROR-STOP-07: Circular dependency detected in output signals: ` +
-                        `${cyclePath.map(s => String(s)).join(' -> ')}. ` +
-                        `States with output signals cannot form cycles as this creates infinite loops.`);
-                }
-                if (!visited.has(neighbor)) {
-                    dfs(neighbor);
-                }
-            }
-            onStack.delete(state);
-            stackPath.pop();
-        };
-        for (const state of outputStateSet) {
-            if (!visited.has(state)) {
-                dfs(state);
-            }
-        }
-    }
-    isStateWithOutputSignal(state) {
-        const obj = state;
-        return (typeof obj === 'object' &&
-            obj !== null &&
-            typeof obj.getOutputSignal === 'function');
-    }
-    executeStateTransition(transition) {
-        const oldState = this.currentState;
-        const newState = transition.to;
-        // Only execute actions if there's an actual state change
-        if (oldState !== newState) {
-            // Execute before exit action on current state
-            this.executeExitAction(oldState);
-            // Change state
-            this.currentState = newState;
-            // Execute after entry action on new state
-            this.executeEntryAction(newState);
-        }
-    }
-    executeStateActions(state) {
-        this.executeEntryAction(state);
-        this.executeExitAction(state);
-    }
-    /**
-     * Type guard to check if a state is an instance of DefaultState class.
-     *
-     * @param state - The state to check
-     * @returns true if the state is an instance of DefaultState
-     */
-    isDefaultState(state) {
-        return state instanceof DefaultState_1.DefaultState;
-    }
-    /**
-     * Type guard to check if a state implements IStateWithAfterEntryAction.
-     *
-     * @param state - The state to check
-     * @returns true if the state implements afterEntryAction method
-     */
-    hasAfterEntryAction(state) {
-        return typeof state === 'object' &&
-            state !== null &&
-            'afterEntryAction' in state &&
-            typeof state.afterEntryAction === 'function';
-    }
-    /**
-     * Type guard to check if a state implements IStateWithBeforeExitAction.
-     *
-     * @param state - The state to check
-     * @returns true if the state implements beforeExitAction method
-     */
-    hasBeforeExitAction(state) {
-        return typeof state === 'object' &&
-            state !== null &&
-            'beforeExitAction' in state &&
-            typeof state.beforeExitAction === 'function';
-    }
-    /**
-     * Executes the afterEntryAction on a state if it implements IStateWithAfterEntryAction.
-     *
-     * @param state - The state to execute the entry action on
-     */
-    executeEntryAction(state) {
-        if (this.hasAfterEntryAction(state)) {
-            state.afterEntryAction();
-        }
-    }
-    /**
-     * Executes the beforeExitAction on a state if it implements IStateWithBeforeExitAction.
-     *
-     * @param state - The state to execute the exit action on
-     */
-    executeExitAction(state) {
-        if (this.hasBeforeExitAction(state)) {
-            state.beforeExitAction();
-        }
-    }
-    /**
-     * Gets all possible states.
-     *
-     * @returns Array of all states
-     */
-    getAllStates() {
-        return [...this.states];
-    }
-    /**
-     * Gets all possible signals.
-     *
-     * @returns Array of all signals
-     */
-    getAllSignals() {
-        return [...this.signals];
-    }
-    /**
-     * Checks if a given signal is valid from the current state.
-     *
-     * @param signal - The signal to check
-     * @returns true if the signal can trigger a transition from the current state
-     */
-    isValidSignalFromCurrentState(signal) {
-        return this.transitions.some(t => t.from === this.currentState && t.signal === signal);
-    }
-    /**
-     * Gets all valid signals from the current state.
-     *
-     * @returns Array of signals that can trigger transitions from the current state
-     */
-    getValidSignalsFromCurrentState() {
-        return this.transitions
-            .filter(t => t.from === this.currentState)
-            .map(t => t.signal);
-    }
-    /**
-     * Gets all transitions.
-     *
-     * @returns Array of all transitions
-     */
-    getTransitions() {
-        return [...this.transitions];
-    }
-    /**
-     * Checks if a signal is valid in the state machine.
-     * @param signal - The signal to check
-     * @returns True if the signal is valid, false otherwise.
-     */
-    hasSignal(signal) {
-        return this.getAllSignals().includes(signal);
-    }
-    /**
-     * Checks if a given state exists in the state machine.
-     *
-     * @param state - The state to check
-     * @returns true if the state exists, false otherwise
-     */
-    hasState(state) {
-        return this.getAllStates().includes(state);
-    }
-    /**
- * Gets the default state that handles invalid signals.
- *
- * @returns The default state or null if none exists
- */
-    getDefaultState() {
-        return this.defaultState;
-    }
-    /**
-     * Checks if the state machine has a default state.
-     *
-     * @returns true if a default state exists
-     */
-    hasDefaultState() {
-        return this.defaultState !== null;
-    }
-}
-exports.FiniteStateMachine = FiniteStateMachine;
-//# sourceMappingURL=FiniteStateMachine.js.map

package/lib/fa/FiniteStateMachine.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"FiniteStateMachine.js","sourceRoot":"","sources":["../../src/fa/FiniteStateMachine.ts"],"names":[],"mappings":";;;AAAA,iDAA8C;AAgC9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsDG;AACH,MAAsB,kBAAkB;IAapC;;;;;;;;OAQG;IACH,YACc,MAAe,EACf,OAAiB,EACjB,WAAyC,EACzC,UAAiB,EAC3B,iBAA0B,KAAK;QAJrB,WAAM,GAAN,MAAM,CAAS;QACf,YAAO,GAAP,OAAO,CAAU;QACjB,gBAAW,GAAX,WAAW,CAA8B;QACzC,eAAU,GAAV,UAAU,CAAO;QAnB3B;;;OAGD;QACK,iBAAY,GAAwB,IAAI,CAAC;QAkB1C,2CAA2C;QAClD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QAErE,IAAI,CAAC,cAAc,EAAE,CAAC;YAClB,+BAA+B;YAC/B,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACX,oEAAoE;oBACpE,6CAA6C;oBAC7C,SAAS,aAAa,CAAC,MAAM,6BAA6B,CAC7D,CAAC;YACN,CAAC;YAED,sEAAsE;YACtE,IAAI,CAAC,0BAA0B,EAAE,CAAC;YAElC,+EAA+E;YAC/E,IAAI,CAAC,0BAA0B,EAAE,CAAC;YAElC,wDAAwD;YACxD,IAAI,CAAC,0BAA0B,EAAE,CAAC;YAElC,8DAA8D;YAC9D,IAAI,CAAC,yBAAyB,EAAE,CAAC;QACrC,CAAC;QAED,yCAAyC;QACzC,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,YAAY,GAAG,aAAa,CAAC,CAAC,CAAiB,CAAC;QACzD,CAAC;QAED,+CAA+C;QAC/C,IAAI,CAAC,YAAY,GAAG,UAAU,CAAC;QAE/B,4DAA4D;QAC5D,IAAI,CAAC,+BAA+B,EAAE,CAAC;QAEvC,kDAAkD;QAClD,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC/C,CAAC;IAED;;;;OAIG;IACH,eAAe;QACX,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAED;;;;;;;;;;;;;OAaG;IACO,UAAU,CAAC,MAAc;QAC/B,0DAA0D;QAC1D,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACzC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CACtD,CAAC;QAEF,8DAA8D;QAC9D,IAAI,UAAU,EAAE,CAAC;YACb,IAAI,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;QAC5C,CAAC;aAAM,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC3B,sDAAsD;YACtD,8DAA8D;YAC9D,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,YAAqB,CAAC,CAAC;YACrD,kCAAkC;QACtC,CAAC;QAED,IAAI,CAAC,+BAA+B,EAAE,CAAC;QAEvC,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAEO,+BAA+B;QACnC,IAAI,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAClD,yEAAyE;YACzE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAC5C,MAAM,qBAAqB,GAAG,IAAI,CAAC,YAA8C,CAAC;YAClF,MAAM,YAAY,GAAG,qBAAqB,CAAC,eAAe,EAAE,CAAC;YAE7D,6CAA6C;YAC7C,IAAI,YAAY,KAAK,IAAI,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;gBACtD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YAClC,CAAC;QACL,CAAC;IACL,CAAC;IAEO,yBAAyB;QAC7B,MAAM,SAAS,GAAG,IAAI,GAAG,EAAS,CAAC;QACnC,MAAM,KAAK,GAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAE/B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC7C,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBACpB,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrB,CAAC;YACL,CAAC;QACL,CAAC;QAED,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC;gBAAE,SAAS,CAAC,+DAA+D;YACzG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACX,yBAAyB,KAAK,sCAAsC,IAAI,CAAC,UAAU,KAAK;oBACxF,yFAAyF,CAC5F,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAEO,0BAA0B;QAC9B,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAExC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,MAAM,IAAI,KAAK,CACX,+BAA+B,IAAI,CAAC,UAAU,gCAAgC;gBAC9E,qDAAqD,CACxD,CAAC;QACN,CAAC;QAED,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC/B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,MAAM,IAAI,KAAK,CACX,uDAAuD,CAAC,CAAC,IAAI,eAAe;oBAC5E,oDAAoD,CACvD,CAAC;YACN,CAAC;YACD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtB,MAAM,IAAI,KAAK,CACX,uDAAuD,CAAC,CAAC,EAAE,aAAa;oBACxE,oDAAoD,CACvD,CAAC;YACN,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,KAAK,CACX,wDAAwD,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK;oBAC7E,sDAAsD,CACzD,CAAC;YACN,CAAC;QACL,CAAC;IACL,CAAC;IAEO,0BAA0B;QAC9B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;gBACjE,IAAI,CAAC,WAAW,EAAE,CAAC;oBACf,MAAM,IAAI,KAAK,CACX,8CAA8C,KAAK,sCAAsC;wBACzF,wEAAwE;wBACxE,mCAAmC,CACtC,CAAC;gBACN,CAAC;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAEO,0BAA0B;QAC9B,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,IAAI,cAAc,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO;QAEpC,6EAA6E;QAC7E,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,GAAG,CAAC,GAAG,CACH,KAAK,EACL,IAAI,CAAC,WAAW;iBACX,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;iBACzD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CACtB,CAAC;QACN,CAAC;QAED,sEAAsE;QACtE,MAAM,OAAO,GAAG,IAAI,GAAG,EAAS,CAAC;QACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAS,CAAC;QACjC,MAAM,SAAS,GAAY,EAAE,CAAC;QAE9B,MAAM,GAAG,GAAG,CAAC,KAAY,EAAQ,EAAE;;YAC/B,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAEtB,KAAK,MAAM,QAAQ,IAAI,CAAC,MAAA,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,mCAAI,EAAE,CAAC,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACxB,MAAM,UAAU,GAAG,SAAS,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBAC/C,MAAM,SAAS,GAAG,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,CAAC;oBAC7D,MAAM,IAAI,KAAK,CACX,iEAAiE;wBACjE,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI;wBACjD,+EAA+E,CAClF,CAAC;gBACN,CAAC;gBACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACzB,GAAG,CAAC,QAAQ,CAAC,CAAC;gBAClB,CAAC;YACL,CAAC;YAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YACtB,SAAS,CAAC,GAAG,EAAE,CAAC;QACpB,CAAC,CAAC;QAEF,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtB,GAAG,CAAC,KAAK,CAAC,CAAC;YACf,CAAC;QACL,CAAC;IACL,CAAC;IAEO,uBAAuB,CAAI,KAAY;QAC3C,MAAM,GAAG,GAAG,KAAY,CAAC;QACzB,OAAO,CACH,OAAO,GAAG,KAAK,QAAQ;YACvB,GAAG,KAAK,IAAI;YACZ,OAAO,GAAG,CAAC,eAAe,KAAK,UAAU,CAC5C,CAAC;IACV,CAAC;IAEW,sBAAsB,CAAC,UAAsC;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC;QACnC,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,CAAC;QAE/B,yDAAyD;QACzD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YACxB,8CAA8C;YAC9C,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;YAEjC,eAAe;YACf,IAAI,CAAC,YAAY,GAAG,QAAQ,CAAC;YAE7B,0CAA0C;YAC1C,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;IACL,CAAC;IAEO,mBAAmB,CAAC,KAAY;QACpC,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC;IAED;;;;;OAKG;IACO,cAAc,CAAC,KAAY;QACjC,OAAO,KAAK,YAAY,2BAAY,CAAC;IACzC,CAAC;IAED;;;;;OAKG;IACO,mBAAmB,CAAC,KAAY;QACtC,OAAO,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,kBAAkB,IAAI,KAAK;YAC3B,OAAQ,KAAa,CAAC,gBAAgB,KAAK,UAAU,CAAC;IACjE,CAAC;IAED;;;;;OAKG;IACO,mBAAmB,CAAC,KAAY;QACtC,OAAO,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,IAAI;YACd,kBAAkB,IAAI,KAAK;YAC3B,OAAQ,KAAa,CAAC,gBAAgB,KAAK,UAAU,CAAC;IACjE,CAAC;IAED;;;;OAIG;IACK,kBAAkB,CAAC,KAAY;QACnC,IAAI,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IAED;;;;OAIG;IACK,iBAAiB,CAAC,KAAY;QAClC,IAAI,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,KAAK,CAAC,gBAAgB,EAAE,CAAC;QAC7B,CAAC;IACL,CAAC;IAED;;;;OAIG;IACH,YAAY;QACR,OAAO,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACH,aAAa;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;IAED;;;;;OAKG;IACH,6BAA6B,CAAC,MAAc;QACxC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CACxB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAC3D,CAAC;IACN,CAAC;IAED;;;;OAIG;IACH,+BAA+B;QAC3B,OAAO,IAAI,CAAC,WAAW;aAClB,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,CAAC;aACzC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACH,cAAc;QACV,OAAO,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,MAAc;QACpB,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAED;;;;;OAKG;IACH,QAAQ,CAAC,KAAY;QACjB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC;IAEG;;;;GAID;IACH,eAAe;QACX,OAAO,IAAI,CAAC,YAAY,CAAC;IAC7B,CAAC;IAED;;;;OAIG;IACH,eAAe;QACX,OAAO,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC;IACtC,CAAC;CACJ;AA5aD,gDA4aC"}

package/lib/fa/IStateWithActions.d.ts

@@ -1,18 +0,0 @@
-/**
- * Interface for states that have an action after entry.
- */
-export interface IStateWithAfterEntryAction {
-    afterEntryAction: () => void;
-}
-/**
- * Interface for states that have an action before exit.
- */
-export interface IStateWithBeforeExitAction {
-    beforeExitAction: () => void;
-}
-/**
- * Interface combining both entry and exit actions.
- */
-export interface IStateWithActions extends IStateWithAfterEntryAction, IStateWithBeforeExitAction {
-}
-//# sourceMappingURL=IStateWithActions.d.ts.map

package/lib/fa/IStateWithActions.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"IStateWithActions.d.ts","sourceRoot":"","sources":["../../src/fa/IStateWithActions.ts"],"names":[],"mappings":"AAAA;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACvC,gBAAgB,EAAE,MAAM,IAAI,CAAC;CAChC;AACD;;GAEG;AACH,MAAM,WAAW,0BAA0B;IACvC,gBAAgB,EAAE,MAAM,IAAI,CAAC;CAChC;AACD;;GAEG;AACH,MAAM,WAAW,iBAAkB,SAAQ,0BAA0B,EAAE,0BAA0B;CAAI"}

package/lib/fa/IStateWithActions.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=IStateWithActions.js.map

package/lib/fa/IStateWithActions.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"IStateWithActions.js","sourceRoot":"","sources":["../../src/fa/IStateWithActions.ts"],"names":[],"mappings":""}

package/lib/fa/IStateWithOutputSignal.d.ts

@@ -1,4 +0,0 @@
-export interface IStateWithOutputSignal<SIGNAL> {
-    getOutputSignal(): SIGNAL;
-}
-//# sourceMappingURL=IStateWithOutputSignal.d.ts.map

package/lib/fa/IStateWithOutputSignal.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"IStateWithOutputSignal.d.ts","sourceRoot":"","sources":["../../src/fa/IStateWithOutputSignal.ts"],"names":[],"mappings":"AAGA,MAAM,WAAW,sBAAsB,CAAC,MAAM;IAC1C,eAAe,IAAI,MAAM,CAAC;CAC7B"}

package/lib/fa/IStateWithOutputSignal.js

@@ -1,3 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-//# sourceMappingURL=IStateWithOutputSignal.js.map

package/lib/fa/IStateWithOutputSignal.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"IStateWithOutputSignal.js","sourceRoot":"","sources":["../../src/fa/IStateWithOutputSignal.ts"],"names":[],"mappings":""}

package/lib/fa/MatrixBasedStateMachine.d.ts

@@ -1,108 +0,0 @@
-import { FiniteStateMachine } from './FiniteStateMachine';
-import { TransitionMatrix } from './TransitionMatrix';
-/**
- * Abstract base class for finite state machines that use transition matrices.
- *
- * This class extends FiniteStateMachine to provide a more intuitive way to define
- * state transitions using a 2D matrix representation instead of explicit transition arrays.
- *
- * The matrix format allows for visual representation of state transitions:
- * - Columns represent states
- * - Rows represent signals
- * - Cell values represent target states
- * - Empty cells represent invalid/ignored transitions
- *
- * @template STATE - The type representing possible states
- * @template SIGNAL - The type representing signals/events
- *
- * @example
- * ```typescript
- * // Example 1: Using explicit start state
- * class TurnstileMatrix extends MatrixBasedStateMachine<string, string> {
- *     constructor() {
- *         const matrix = transitionMatrix([
- *             [           , "locked"    , "unlocked" ],
- *             [ "coin"    , "unlocked" ,             ],
- *             [ "push"    ,            , "locked"   ]
- *         ]);
- *         super(matrix, "locked"); // Explicit start state
- *     }
- * }
- *
- * // Example 2: Using first state as start state (auto)
- * class TurnstileMatrixAuto extends MatrixBasedStateMachine<string, string> {
- *     constructor() {
- *         const matrix = transitionMatrix([
- *             [           , "locked"    , "unlocked" ],  // "locked" becomes start state
- *             [ "coin"    , "unlocked" ,             ],
- *             [ "push"    ,            , "locked"   ]
- *         ]);
- *         super(matrix); // Uses first state ("locked") as start state
- *     }
- * }
- * ```
- */
-export declare abstract class MatrixBasedStateMachine<STATE, SIGNAL> extends FiniteStateMachine<STATE, SIGNAL> {
-    /**
-     * The transition matrix used to define state transitions.
-     * Stored for potential debugging or inspection purposes.
-     */
-    protected readonly matrix: TransitionMatrix<STATE, SIGNAL>;
-    /**
-     * Creates a new matrix-based finite state machine.
-     *
-     * @param matrix - The transition matrix defining all states, signals, and transitions
-     * @param startState - Optional. The initial state of the machine. If not provided,
-     *                     the first state from the matrix (first column in header row) will be used.
-     *                     If provided, must be one of the states in the matrix.
-     *
-     * @throws {Error} If matrix has no states
-     * @throws {Error} If startState is provided but not found in the matrix states
-     *
-     * @example
-     * ```typescript
-     * // Constructor with explicit start state
-     * const matrix = transitionMatrix([
-     *     [           , "locked"    , "unlocked" ],
-     *     [ "coin"    , "unlocked" ,             ],
-     *     [ "push"    ,            , "locked"   ]
-     * ]);
-     * super(matrix, "unlocked"); // Start in unlocked state
-     *
-     * // Constructor with auto start state (uses first state)
-     * super(matrix); // Automatically starts in "locked" state
-     * ```
-     *
-     * @example
-     * ```typescript
-     * // TurnstileMatrix implementation from test/Turnstile/TurnstileMatrix.ts
-     * class TurnstileMatrix extends MatrixBasedStateMachine<string, string> {
-     *     constructor() {
-     *         const matrix = transitionMatrix([
-     *             [           , "locked"    , "unlocked" ],
-     *             [ "coin"    , "unlocked" ,             ],
-     *             [ "push"    ,            , "locked"   ]
-     *         ]);
-     *
-     *         // Two ways to call the constructor:
-     *         super(matrix, "locked");  // Option 1: Explicit start state
-     *         // OR
-     *         super(matrix);            // Option 2: Auto start state (uses "locked")
-     *     }
-     *
-     *     insertCoin(): string { return this.sendSignal('coin'); }
-     *     pushThrough(): string { return this.sendSignal('push'); }
-     *     isLocked(): boolean { return this.getCurrentState() === 'locked'; }
-     *     isUnlocked(): boolean { return this.getCurrentState() === 'unlocked'; }
-     * }
-     * ```
-     */
-    constructor(matrix: TransitionMatrix<STATE, SIGNAL>, startState?: STATE);
-    /**
-     * Gets the transition matrix used by this state machine.
-     *
-     * @returns The transition matrix
-     */
-    getMatrix(): TransitionMatrix<STATE, SIGNAL>;
-}
-//# sourceMappingURL=MatrixBasedStateMachine.d.ts.map

package/lib/fa/MatrixBasedStateMachine.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"MatrixBasedStateMachine.d.ts","sourceRoot":"","sources":["../../src/fa/MatrixBasedStateMachine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAuB,MAAM,sBAAsB,CAAC;AAC/E,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AAEtD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyCG;AACH,8BAAsB,uBAAuB,CAAC,KAAK,EAAE,MAAM,CAAE,SAAQ,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC;IAClG;;;OAGG;IACH,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAE3D;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAgDG;gBACS,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,UAAU,CAAC,EAAE,KAAK;IAqCvE;;;;OAIG;IACH,SAAS,IAAI,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC;CAI/C"}