Enum SimulatedTransition 

pub enum SimulatedTransition<S, E> {
    Applied {
        state: Option<S>,
        events: Vec<E>,
    },
    Rejected(DomainRejection),
}

The result of applying one candidate command to one state (spec §8.5).

A transition is either applied — producing the next state and the events the executor would commit — or refused by the domain. A refusal carries the DomainRejection the real executor would return, so the explorer can check it against WorkflowDefinition::validate_command.

Variants

Applied

The command was applied.

Fields

state: Option<S>

State after the command, or None when the case ceased to exist.

events: Vec<E>

Events the executor would commit.

Rejected(DomainRejection)

The domain refused the command; the input state is unchanged.

Implementations

impl<S, E> SimulatedTransition<S, E>

pub fn applied(state: S, events: Vec<E>) -> Self

A transition that produced a new state.

pub fn removed(events: Vec<E>) -> Self

A transition that removed the case, which explore reports as TransitionRemovesCase.

A case’s identity outlives its content, so a domain whose working document is consumed on success moves the case to a terminal status instead of dropping it, the way the traveler sample’s Deleted does. This constructor exists so that a model ported from a delete-on-completion design produces a reported violation rather than a shape the explorer cannot express — and so the check itself can be falsified.

pub fn rejected(rejection: DomainRejection) -> Self

A refusal.

pub fn is_applied(&self) -> bool

Returns true when the command was applied.

pub fn next_state(&self) -> Option<&S>

The state after the command, when the command applied and the case still exists.

pub fn events(&self) -> &[E]

The events the command would commit; empty for a refusal.

pub fn rejection(&self) -> Option<&DomainRejection>

The rejection, when the command was refused.

Trait Implementations

impl<S: Clone, E: Clone> Clone for SimulatedTransition<S, E>

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<S: Debug, E: Debug> Debug for SimulatedTransition<S, E>

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

Formats the value using the given formatter.

impl<S: Eq, E: Eq> Eq for SimulatedTransition<S, E>

impl<S: PartialEq, E: PartialEq> PartialEq for SimulatedTransition<S, E>

fn eq(&self, other: &Self) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<S: PartialEq, E: PartialEq> StructuralPartialEq for SimulatedTransition<S, E>