Enum DivergenceFound 

pub enum DivergenceFound {
    ChoiceIndexOutOfRange {
        index: u32,
        available: usize,
    },
    NotWaitingForChoice,
    UnknownPath {
        path: String,
    },
    UnexpectedEvent,
}

What was found at a divergence point instead of the recorded event.

Variants

ChoiceIndexOutOfRange

A choice index the current program does not present (out of range).

Fields

index: u32

available: usize

NotWaitingForChoice

The session was not waiting for a choice when a Choice event replayed.

UnknownPath

A path that no longer resolves in the current program.

Fields

path: String

UnexpectedEvent

The event kind cannot be applied from the reached state (e.g. a Start after the session already started).

Trait Implementations

impl Clone for DivergenceFound

fn clone(&self) -> DivergenceFound

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DivergenceFound

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for DivergenceFound

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for DivergenceFound

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

Equality operator ==.

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

Inequality operator !=.

impl Serialize for DivergenceFound

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for DivergenceFound