Enum ezno_checker::events::ApplicationResult

pub enum ApplicationResult {
    Return {
        returned: TypeId,
        position: SpanWithSource,
    },
    Throw {
        thrown: TypeId,
        position: SpanWithSource,
    },
    Yield {},
    Break {
        carry: u8,
        position: SpanWithSource,
    },
    Continue {
        carry: u8,
        position: SpanWithSource,
    },
    Or {
        on: TypeId,
        truthy_result: Box<ApplicationResult>,
        otherwise_result: Box<ApplicationResult>,
    },
}

This doesn’t cover unconditional thrown from internal functions

Similar to FinalEvent but includes different information + or break and continue don’t apply for function returns (but do for iteration and conditionals)

Variants

Return

Fields

returned: TypeId

position: SpanWithSource

Throw

From a throw *** statement (or expression).

Fields

thrown: TypeId

position: SpanWithSource

Yield

TODO state

Break

Fields

carry: u8

position: SpanWithSource

Continue

TODO explain why this can’t be done with just (or at least label makes it more difficult)

Fields

carry: u8

position: SpanWithSource

Or

One of these is Some.

Fields

on: TypeId

truthy_result: Box<ApplicationResult>

otherwise_result: Box<ApplicationResult>

Trait Implementations

impl Debug for ApplicationResult

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

Formats the value using the given formatter.