Struct Context 

pub struct Context { /* private fields */ }

Ordered set of specs with temporal versioning.

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

Implementations

impl Context

pub fn new() -> Self

pub fn get_spec_effective_from( &self, name: &str, effective_from: Option<&DateTimeValue>, ) -> Option<Arc<LemmaSpec>>

Exact identity lookup by (name, effective_from).

None matches specs without temporal versioning. Some(d) matches the temporal version whose effective_from equals d.

pub fn get_spec( &self, name: &str, effective: &DateTimeValue, ) -> Option<Arc<LemmaSpec>>

Temporal range resolution: find the temporal version of name that is active at effective.

A spec is active at effective when: effective_from <= effective < effective_to where effective_to is the next temporal version’s effective_from, or +inf if no successor.

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

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

Insert a spec. Validates no duplicate (name, effective_from).

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

pub fn effective_range( &self, spec: &Arc<LemmaSpec>, ) -> (Option<DateTimeValue>, Option<DateTimeValue>)

Returns the effective range [from, to) for a spec in this context.

• from: spec.effective_from() (None = -∞)
• to: next temporal version’s effective_from, or None (+∞) if no successor.

pub fn version_boundaries(&self, name: &str) -> Vec<DateTimeValue>

Returns all effective_from dates for temporal versions of name, sorted ascending. Temporal versions without effective_from are excluded (they represent -∞).

pub fn dep_coverage_gaps( &self, dep_name: &str, required_from: Option<&DateTimeValue>, required_to: Option<&DateTimeValue>, ) -> Vec<(Option<DateTimeValue>, Option<DateTimeValue>)>

Check if temporal versions of dep_name fully cover the range [required_from, required_to).

Returns gaps as (start, end) intervals. Empty vec = fully covered. Start: None = -∞, End: None = +∞.

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.