Struct Context 

pub struct Context { /* private fields */ }

Ordered store of specs keyed by (repository, name) and grouped into LemmaSpecSets.

Specs with the same (repository, name) identity are ordered by effective_from. A spec version’s temporal end is derived from the successor spec’s effective_from, or +∞. The repository identity is preserved as Arc<LemmaRepository> — never via string prefixes on the spec name. Repository names include the @ prefix when present (e.g. "@org/repo"). Dependency isolation is enforced at insert_spec: all specs in a repository must share the same dependency provenance ID.

Implementations

impl Context

pub fn new() -> Self

pub fn workspace(&self) -> Arc<LemmaRepository>

Workspace-global grouping for every locally loaded spec. The single namespace runtime APIs operate on (entry-point specs live here). Stable identity across calls; name = None, dependency = None.

pub fn find_repository(&self, name: &str) -> Option<Arc<LemmaRepository>>

Look up a repository by name without creating a new one.

pub fn repositories( &self, ) -> &IndexMap<Arc<LemmaRepository>, IndexMap<String, LemmaSpecSet>>

All spec sets, keyed by (repository, name). Iteration order: repository first (insertion order), then spec name ascending.

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 matches Self::iter.

pub fn spec_set( &self, repository: &Arc<LemmaRepository>, name: &str, ) -> Option<&LemmaSpecSet>

Look up a spec set by (repository, name). Returns None if no such spec set is loaded.

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

Insert a spec under repository. Validates that an identical (repository, name, effective_from)triple is not already loaded. Insert a spec underrepository`. Enforces two invariants:

1. Dependency isolation: all specs in a repo must share the same dependency provenance. A workspace repo cannot be merged with a dependency repo, and two different dependencies cannot contribute to the same repo name.
2. No duplicate (repository, name, effective_from) triples.

pub fn remove_spec( &mut self, repository: &Arc<LemmaRepository>, 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() -> Self

Returns the “default value” for a type.