Enum ExplodedDecodeError 

pub enum ExplodedDecodeError {
    InvalidShape,
    BlockOutOfBounds {
        proc_id: u32,
        block_id: u32,
        slot: u32,
        slot_count: u32,
    },
    StatementOutOfBounds {
        statement: u32,
        statement_count: u32,
    },
}

Distinguishable failures when converting exploded IFDS reachability into the statement-id bitmask consumed by extract_path.

Variants

InvalidShape

blocks_per_proc was zero, so (proc, block) cannot be flattened.

BlockOutOfBounds

The decoded (proc, block) slot was not present in block_to_statement.

Fields

proc_id: u32

Decoded procedure id.

block_id: u32

Decoded block id.

slot: u32

Flattened block slot requested.

slot_count: u32

Number of block slots supplied.

StatementOutOfBounds

The block map named a statement outside the caller’s statement table.

Fields

statement: u32

Statement id read from block_to_statement.

statement_count: u32

Valid statement count.

Trait Implementations

impl Clone for ExplodedDecodeError

fn clone(&self) -> ExplodedDecodeError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExplodedDecodeError

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

Formats the value using the given formatter.

impl Eq for ExplodedDecodeError

impl PartialEq for ExplodedDecodeError

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for ExplodedDecodeError