Enum ezno_checker::events::Event

pub enum Event {
    ReadsReference {
        reference: RootReference,
        reflects_dependency: Option<TypeId>,
        position: SpanWithSource,
    },
    SetsVariable(VariableId, TypeId, SpanWithSource),
    Getter {
        on: TypeId,
        under: PropertyKey<'static>,
        reflects_dependency: Option<TypeId>,
        publicity: Publicity,
        position: SpanWithSource,
        bind_this: bool,
    },
    Setter {
        on: TypeId,
        under: PropertyKey<'static>,
        new: PropertyValue,
        initialization: bool,
        publicity: Publicity,
        position: SpanWithSource,
    },
    CallsType {
        on: TypeId,
        with: Box<[SynthesisedArgument]>,
        reflects_dependency: Option<TypeId>,
        timing: CallingTiming,
        called_with_new: CalledWithNew,
        possibly_thrown: Option<TypeId>,
        position: SpanWithSource,
    },
    Conditionally {
        condition: TypeId,
        truthy_events: u32,
        otherwise_events: u32,
        position: SpanWithSource,
    },
    Iterate {
        kind: IterationKind,
        initial: ClosedOverVariables,
        iterate_over: u32,
    },
    CreateObject {
        prototype: PrototypeArgument,
        referenced_in_scope_as: TypeId,
        position: SpanWithSource,
    },
    ExceptionTrap {
        investigate: u32,
        trapped_type_id: Option<Trapped>,
        handle: u32,
        finally: u32,
    },
    FinalEvent(FinalEvent),
    RegisterVariable {
        name: String,
        position: SpanWithSource,
        initial_value: Option<TypeId>,
    },
    EndOfControlFlow(u32),
}

Events which happen

Used for getting values and states

reflects_dependency means the result goes into the type argument map. This corresponds to the type id (of constructor) it goes under

Variants

ReadsReference

Reads a reference (as a free variable or this)

Can be used for DCE reasons, or finding variables in context

Fields

reference: RootReference

reflects_dependency: Option<TypeId>

position: SpanWithSource

SetsVariable(VariableId, TypeId, SpanWithSource)

Also used for DCE

Getter

Mostly trivial, sometimes can call a function :(

Fields

on: TypeId

under: PropertyKey<'static>

reflects_dependency: Option<TypeId>

publicity: Publicity

position: SpanWithSource

bind_this: bool

Setter

All changes to the value of a property

Fields

on: TypeId

under: PropertyKey<'static>

new: PropertyValue

initialization: bool

THIS DOES NOT CALL SETTERS, JUST SETS VALUE! TODO this is [define] property see https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Classes/Public_class_fields

publicity: Publicity

position: SpanWithSource

CallsType

This includes closed over variables, anything dependent

Fields

on: TypeId

with: Box<[SynthesisedArgument]>

reflects_dependency: Option<TypeId>

timing: CallingTiming

called_with_new: CalledWithNew

possibly_thrown: Option<TypeId>

position: SpanWithSource

Conditionally

Run events conditionally

Fields

condition: TypeId

truthy_events: u32

otherwise_events: u32

position: SpanWithSource

Iterate

Run events multiple times

Fields

kind: IterationKind

initial: ClosedOverVariables

Contains initial values that the iteration runs over. Without, initial iterations can’t access anything…?

iterate_over: u32

TODO for of and in variants here:

CreateObject

lil bit magic, handles:

• Creating objects {}
• Creating objects with prototypes:
  • Arrays
  • Map & Sets
  • HTMLElement and derivatives

function x() {
    return {}
}

TODO this is only need if exposed by return typed. It may get added but needs some way of ignoring it if not in externally referenced set or something

Fields

prototype: PrototypeArgument

referenced_in_scope_as: TypeId

This is the id referencing a [Type::AliasTo] that is created

This is also for the specialisation (somehow)

position: SpanWithSource

ExceptionTrap

aka try-catch-finally

Fields

investigate: u32

events in the try block

trapped_type_id: Option<Trapped>

This can run subtyping

handle: u32

events in catch block

finally: u32

run Immediately before a control-flow statement (return, throw, break, continue) is executed in the try block or catch block

FinalEvent(FinalEvent)

RegisterVariable

doesn’t affect type checking useful for linting WIP

Fields

name: String

position: SpanWithSource

initial_value: Option<TypeId>

None for let x;

EndOfControlFlow(u32)

TODO was trying to avoid

Trait Implementations

impl Clone for Event

fn clone(&self) -> Event

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Event

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.