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

Empty workspace repository; specs are inserted via Self::insert_spec.

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 = &LemmaSpec> + '_

Flat iterator over every loaded LemmaSpec across all repositories.

Used by registry resolution to discover missing @owner/repo qualifiers.

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: LemmaSpec, ) -> Result<(), Vec<Error>>

Insert a spec under repository. 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: &LemmaSpec, ) -> bool

pub fn remove_spec_by_identity( &mut self, repository: &Arc<LemmaRepository>, name: &str, effective_from: Option<&DateTimeValue>, ) -> bool

Remove by (repository, name, effective_from) without needing a live &LemmaSpec.

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.

impl<'de> Deserialize<'de> for Context

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for Context

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.