Enum air::UncatchableError

pub enum UncatchableError {
    TraceError {
        trace_error: TraceHandlerError,
        instruction: String,
    },
    GenerationCompatificationError(GenerationCompatificationError),
    FoldStateNotFound(String),
    IterableShadowing(String),
    MultipleIterableValues(String),
    CallResultNotCorrespondToInstr(ValueRef),
    ShadowingIsNotAllowed(String),
    ScalarsStateCorrupted {
        scalar_name: String,
        depth: usize,
    },
    CidError(CidCalculationError),
    ValueForCidNotFound(&'static str, String),
    StreamDontHaveSuchGeneration {
        stream: Stream,
        generation: Generation,
    },
    MalformedCallServiceFailed(Error),
}

Uncatchable errors arisen during AIR script execution. Uncatchable here means that these errors couldn’t be handled by a xor instruction and their error_code couldn’t be used in a match instruction. They are similar to JVM runtime errors and some of them could be caught only while execution of AIR script, others (FoldStateNotFound and MultipleVariablesFound) are checked additionally on the validation step, and presence here for convenience.

Variants

TraceError

Fields

trace_error: TraceHandlerError

instruction: String

Errors bubbled from a trace handler.

GenerationCompatificationError(GenerationCompatificationError)

These errors are related to internal bug in the interpreter when result trace is corrupted.

FoldStateNotFound(String)

Fold state wasn’t found for such iterator name.

IterableShadowing(String)

Errors encountered while shadowing non-scalar values.

MultipleIterableValues(String)

Multiple fold states found for such iterator name.

CallResultNotCorrespondToInstr(ValueRef)

Errors occurred when result from data doesn’t match to a call instruction, f.e. a call could be applied to a stream, but result doesn’t contain generation in a source position.

ShadowingIsNotAllowed(String)

Variable shadowing is not allowed, usually it’s thrown when a AIR tries to assign value for a variable not in a fold block or in a global scope but not right after new.

ScalarsStateCorrupted

Fields

scalar_name: String

depth: usize

This error occurred when new tries to pop up a variable at the end, but scalar state doesn’t contain an appropriate variable. It should be considered as an internal error and shouldn’t be caught by a xor instruction.

CidError(CidCalculationError)

ValueForCidNotFound(&'static str, String)

We consider now that every CID should present in the data; and not having any CID is considered a non-catching error.

StreamDontHaveSuchGeneration

Fields

stream: Stream

generation: Generation

Errors occurred while insertion of a value inside stream that doesn’t have corresponding generation.

MalformedCallServiceFailed(Error)

Trait Implementations

impl Debug for UncatchableError

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

Formats the value using the given formatter.

impl Display for UncatchableError

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

Formats the value using the given formatter.

impl Error for UncatchableError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, demand: &mut Demand<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl From<CidCalculationError> for UncatchableError

fn from(source: CidCalculationError) -> Self

Converts to this type from the input type.

impl From<GenerationCompatificationError> for UncatchableError

fn from(source: GenerationCompatificationError) -> Self

Converts to this type from the input type.

impl From<UncatchableError> for ExecutionError

fn from(source: UncatchableError) -> Self

Converts to this type from the input type.

impl ToErrorCode for UncatchableError

fn to_error_code(&self) -> i64