Skip to main content

RunFsm

Struct RunFsm 

Source
pub struct RunFsm { /* private fields */ }
Expand description

Finite state machine for a workflow run.

Wraps a RunStatus and enforces valid transitions via typed RunEvents. Records every transition in a history log.

§Transition table

FromEventTo
PendingPickedUpRunning
PendingCancelRequestedCancelled
RunningAllStepsCompletedCompleted
RunningStepFailedFailed
RunningStepFailedRetryableRetrying
RunningCancelRequestedCancelled
RetryingRetryStartedRunning
RetryingMaxRetriesExceededFailed
RetryingCancelRequestedCancelled
RunningApprovalRequestedAwaitingApproval
AwaitingApprovalApprovedRunning
AwaitingApprovalRejectedFailed
AwaitingApprovalCancelRequestedCancelled
RunningDelaySleepingSleeping
SleepingDelayElapsedPending
SleepingSignalReceivedPending
SleepingCancelRequestedCancelled
Pending, Retrying, Sleeping, AwaitingApproval, RunningPauseRequestedPaused
PausedResumeRequestedPending
PausedCancelRequestedCancelled

§Examples

use ironflow_engine::fsm::{RunFsm, RunEvent};
use ironflow_store::entities::RunStatus;

let mut fsm = RunFsm::new();
assert_eq!(fsm.state(), RunStatus::Pending);

fsm.apply(RunEvent::PickedUp).unwrap();
assert_eq!(fsm.state(), RunStatus::Running);

fsm.apply(RunEvent::AllStepsCompleted).unwrap();
assert_eq!(fsm.state(), RunStatus::Completed);
assert_eq!(fsm.history().len(), 2);

Implementations§

Source§

impl RunFsm

Source

pub fn new() -> Self

Create a new FSM in Pending state.

§Examples
use ironflow_engine::fsm::RunFsm;
use ironflow_store::entities::RunStatus;

let fsm = RunFsm::new();
assert_eq!(fsm.state(), RunStatus::Pending);
Source

pub fn from_state(state: RunStatus) -> Self

Create a FSM from an existing state (e.g. loaded from DB).

§Examples
use ironflow_engine::fsm::RunFsm;
use ironflow_store::entities::RunStatus;

let fsm = RunFsm::from_state(RunStatus::Running);
assert_eq!(fsm.state(), RunStatus::Running);
Source

pub fn state(&self) -> RunStatus

Returns the current state.

Source

pub fn history(&self) -> &[Transition<RunStatus, RunEvent>]

Returns the full transition history.

Source

pub fn is_terminal(&self) -> bool

Returns true if the FSM is in a terminal state.

Source

pub fn apply( &mut self, event: RunEvent, ) -> Result<RunStatus, TransitionError<RunStatus, RunEvent>>

Apply an event, transitioning to a new state if valid.

§Errors

Returns TransitionError if the event is not allowed in the current state.

§Examples
use ironflow_engine::fsm::{RunFsm, RunEvent};
use ironflow_store::entities::RunStatus;

let mut fsm = RunFsm::new();

// Valid transition
assert!(fsm.apply(RunEvent::PickedUp).is_ok());

// Invalid: can't pick up a running run
assert!(fsm.apply(RunEvent::PickedUp).is_err());
Source

pub fn can_apply(&self, event: RunEvent) -> bool

Check if an event would be accepted without applying it.

§Examples
use ironflow_engine::fsm::{RunFsm, RunEvent};

let fsm = RunFsm::new();
assert!(fsm.can_apply(RunEvent::PickedUp));
assert!(!fsm.can_apply(RunEvent::AllStepsCompleted));

Trait Implementations§

Source§

impl Clone for RunFsm

Source§

fn clone(&self) -> Self

Returns a duplicate of the value. Read more
1.0.0 (const: unstable) · Source§

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more
Source§

impl Debug for RunFsm

Source§

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more
Source§

impl Default for RunFsm

Source§

fn default() -> Self

Returns the “default value” for a type. Read more

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
where ST: ?Sized, DT: ?Sized,

Source§

impl<T> CloneToUninit for T
where T: Clone,

Source§

unsafe fn clone_to_uninit(&self, dest: *mut u8)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dest. Read more
Source§

impl<T> DynClone for T
where T: Clone,

Source§

fn __clone_box(&self, _: Private) -> *mut ()

Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

Source§

impl<T> Instrument for T

Source§

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided Span, returning an Instrumented wrapper. Read more
Source§

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

Source§

impl<T> PolicyExt for T
where T: ?Sized,

Source§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow only if self and other return Action::Follow. Read more
Source§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns Action::Follow if either self or other returns Action::Follow. Read more
Source§

impl<T> Read<Exclusive, BecauseExclusive> for T
where T: ?Sized,

Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T> ToOwned for T
where T: Clone,

Source§

type Owned = T

The resulting type after obtaining ownership.
Source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
Source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = !

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, !>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
Source§

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

Source§

fn vzip(self) -> V

Source§

impl<T> WithSubscriber for T

Source§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a WithDispatch wrapper. Read more
Source§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a WithDispatch wrapper. Read more