Struct SeededCase 

pub struct SeededCase<W: WorkflowDefinition, E: WorkflowExecutor<W>> {
    pub executor: E,
    pub actor: ActorContext,
    pub case_ref: CaseRef,
    pub first: W::Command,
    pub second: W::Command,
    pub refused: W::Command,
}

A fresh executor, the case seeded in it, and the commands the suite drives it with.

The suite builds every envelope itself — identifiers, idempotency keys and batch scope are derived, not supplied — so an adopter only has to say what to execute, never how to address it.

Fields

executor: E

The executor under test, holding exactly one case.

actor: ActorContext

The actor every envelope runs as. Its account owns the seeded case.

case_ref: CaseRef

The seeded case, at the revision the seed left it.

first: W::Command

A command that applies from the seeded state.

It must not be naturally idempotent: applying it twice has to leave a state different from applying it once (append a line, do not assign a field). A suite that used an assignment could not tell a replay from a second execution, which is the whole point of half the checks here.

second: W::Command

A command that applies after first and serializes differently from it.

refused: W::Command

A command the domain refuses, both from the seeded state and from the state first leaves behind.

The refusal must come from the domain — ExecutionError::Rejected — and not from a revision or an idempotency rule, because the checks that use it are about what a refusal leaves behind.

Implementations

impl<W: WorkflowDefinition, E: WorkflowExecutor<W>> SeededCase<W, E>

pub fn new( executor: E, actor: ActorContext, case_ref: CaseRef, first: W::Command, second: W::Command, refused: W::Command, ) -> Self

Assembles a seeded case.

Trait Implementations

impl<W: WorkflowDefinition, E: WorkflowExecutor<W>> Debug for SeededCase<W, E>

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

Formats the value using the given formatter.