Struct Context 

pub struct Context { /* private fields */ }

Ordered set of specs grouped into LemmaSpecSets by name.

Specs with the same name are ordered by effective_from. A spec’s temporal end is derived from the next spec’s effective_from, or +inf.

Implementations

impl Context

pub fn new() -> Self

pub fn spec_sets(&self) -> &BTreeMap<String, LemmaSpecSet>

All spec sets (name → specs keyed by effective_from), ordered by spec name.

pub fn iter(&self) -> impl Iterator<Item = Arc<LemmaSpec>> + '_

pub fn iter_with_ranges( &self, ) -> impl Iterator<Item = (Arc<LemmaSpec>, Option<DateTimeValue>, Option<DateTimeValue>)> + '_

Every loaded spec paired with its half-open [effective_from, effective_to) validity range.

Iteration order: spec name ascending, then by effective_from ascending within the same name — identical to Self::iter. Each tuple is (spec, effective_from, effective_to); see crate::planning::LemmaSpecSet::iter_with_ranges for the range semantics (the last row of each name has effective_to = None).

pub fn insert_spec( &mut self, spec: Arc<LemmaSpec>, from_registry: bool, ) -> Result<(), Error>

Insert a spec. Set from_registry to true for pre-fetched registry specs; false rejects @-prefixed spec definitions.

When from_registry is true, only @-prefixed specs are accepted — registry bundles must not introduce bare-named specs into the local namespace.

pub fn remove_spec(&mut self, spec: &Arc<LemmaSpec>) -> bool

Trait Implementations

impl Debug for Context

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

Formats the value using the given formatter.

impl Default for Context

fn default() -> Context

Returns the “default value” for a type.