Struct ExecCtx 

pub struct ExecCtx<'a> { /* private fields */ }

Execution context: database sources, rules, and counters.

Implementations

impl<'a> ExecCtx<'a>

pub fn new(dbs: BTreeMap<String, &'a Db>, rule_defs: Vec<RuleDef>) -> Self

Creates a context over named database sources and rule definitions.

pub fn set_fuel(&self, fuel: u64)

Limits the number of datoms the execution may touch.

pub fn set_extern_call(&mut self, extern_call: ExternCall)

Installs the resolver consulted for non-native call clause names.

pub fn scanned(&self) -> usize

Datoms touched by pattern scans so far.

pub fn db(&self, src: &str) -> Option<&'a Db>

Resolves a database source by name.

pub fn default_db(&self) -> Option<&'a Db>

The default database source, if bound.

pub fn attr_of(&self, db: &Db, form: &Edn) -> Option<AttrId>

Resolves an attribute-position constant against a database.