Enum FlowError 

pub enum FlowError {
    Invalid(String),
    UnreachableStep(String),
    UnguardedCommitTool(String),
    UnknownTool(String),
    UnsatisfiableGuard {
        tool: String,
        step: String,
    },
    OrderingCycle(Vec<String>),
}

A single problem found while compiling a Flow.

Variants

Invalid(String)

A referential-integrity or acyclicity error from Flow::validate.

UnreachableStep(String)

A step that no path from a root can ever reach.

UnguardedCommitTool(String)

A commit (confirm) tool whose gate is always true — effectively unguarded, defeating confirm-before-commit.

UnknownTool(String)

A tool referenced by the flow (step allow/deny, once, never…until, confirm) that is not in the registry given to Flow::compile_with_tools.

UnsatisfiableGuard

A never(tool).until(guard) whose guard references a step id that doesn’t exist — the guard can never latch, so the tool would be forbidden forever.

Fields

tool: String

The tool the constraint gates.

step: String

The unknown step id the guard’s done(..) atom references.

OrderingCycle(Vec<String>)

A cycle over the combined after + before(a, b) ordering edges — every step on the cycle waits on another, so none can ever become eligible. Contains the step ids on the cycle.

Trait Implementations

impl Clone for FlowError

fn clone(&self) -> FlowError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FlowError

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

Formats the value using the given formatter.

impl Display for FlowError

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

Formats the value using the given formatter.

impl Eq for FlowError

impl PartialEq for FlowError

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for FlowError

fn serialize<__S>( &self, __serializer: __S, ) -> Result<<__S as Serializer>::Ok, <__S as Serializer>::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for FlowError