Struct jaq_interpret::ParseCtx

pub struct ParseCtx {
    pub errs: Vec<Spanned<Error>>,
    /* private fields */
}

Compile parsed to executable filters.

This allows to go from a parsed filter to a filter executable by this crate.

Fields

errs: Vec<Spanned<Error>>

errors occurred during transformation

Implementations

impl ParseCtx

pub fn new(vars: Vec<String>) -> Self

Initialise new context with list of global variables.

When running a filter produced by this context, values corresponding to the variables have to be supplied in the execution context.

pub fn insert_native(&mut self, name: String, arity: usize, f: Native)

Add a native filter with given name and arity.

pub fn insert_natives<I>(&mut self, natives: I)where I: IntoIterator<Item = (String, usize, Native)>,

Add native filters with given names and arities.

pub fn insert_defs(&mut self, defs: impl IntoIterator<Item = Def>)

Import parsed definitions, such as obtained from the standard library.

Errors that might occur include undefined variables, for example.

pub fn root_def(&mut self, def: Def)

👎Deprecated since 1.1.0: use insert_defs instead

Insert a root definition.

pub fn root_filter(&mut self, filter: Spanned<Filter>)

👎Deprecated since 1.1.0: this call has no effect

Insert a root filter.

pub fn compile(&mut self, main: Main) -> Filter

Given a main filter (consisting of definitions and a body), return a finished filter.

pub fn yields(&mut self, x: Val, f: Main, ys: impl Iterator<Item = ValR>)

Compile and run a filter on given input, panic if it does not compile or yield the given output.

This is for testing purposes.