Enum ezno_checker::events::FinalEvent

pub enum FinalEvent {
    Return {
        returned: TypeId,
        position: SpanWithSource,
    },
    Throw {
        thrown: TypeId,
        position: SpanWithSource,
    },
    Break {
        carry: u8,
        position: SpanWithSource,
    },
    Continue {
        carry: u8,
        position: SpanWithSource,
    },
}

Nothing runs after this event

Variants

Return

Fields

returned: TypeId

position: SpanWithSource

Throw

From a throw *** statement (or expression)

Fields

thrown: TypeId

position: SpanWithSource

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

Implementations

impl FinalEvent

pub fn returns(self) -> Option<TypeId>

Trait Implementations

impl Clone for FinalEvent

fn clone(&self) -> FinalEvent

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for FinalEvent

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

Formats the value using the given formatter.

impl From<FinalEvent> for Event

fn from(value: FinalEvent) -> Self

Converts to this type from the input type.

impl Copy for FinalEvent