Struct EvaluationContext 

pub struct EvaluationContext<S = Scoped> { /* private fields */ }

Inputs for one pin’s evaluation, lifted to a type-state pipeline so half-built contexts cannot reach the evaluator. The progression is Pinned (identity) → Scoped (added module/record scope) → Sourced (added file bytes for context-drift checks). Only Scoped and Sourced contexts can be evaluated; the EvaluationInput trait lets the evaluator accept either. Per-state data is stored in the marker (extras), so there are no Option fields and no runtime expects.

source_snapshot is optional regardless of state: it carries the matching snapshot at the source pin (the version the patch was authored against), enabling spec and record-field diffs that flag signature narrowing between source and target.

Implementations

impl EvaluationContext<Pinned>

pub fn for_pin(pin: Pin, snapshot: impl Into<Arc<Snapshot<Canonical>>>) -> Self

pub fn with_scope(self, scope: PinScope) -> EvaluationContext<Scoped>

impl EvaluationContext<Scoped>

pub fn new( pin: Pin, snapshot: impl Into<Arc<Snapshot<Canonical>>>, scope: PinScope, ) -> Self

Shortcut for EvaluationContext::for_pin(pin, snap).with_scope(scope).

pub fn with_files(self, files: EvaluationFiles) -> EvaluationContext<Sourced>

impl<S> EvaluationContext<S>

pub fn with_source_snapshot( self, source: impl Into<Arc<Snapshot<Canonical>>>, ) -> Self

pub fn with_family_defaults(self, defaults: FamilyDefaults) -> Self

Attach the pin’s project-family declarations. Contexts without this skip the versioned-machine and wire-constant checks.

Trait Implementations

impl<S: Clone> Clone for EvaluationContext<S>

fn clone(&self) -> EvaluationContext<S>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<S: Debug> Debug for EvaluationContext<S>

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

Formats the value using the given formatter.

impl<S: Eq> Eq for EvaluationContext<S>

impl EvaluationInput for EvaluationContext<Scoped>

fn pin(&self) -> &Pin

fn snapshot(&self) -> &Snapshot<Canonical>

fn scope(&self) -> &PinScope

fn files(&self) -> Option<&EvaluationFiles>

fn source_snapshot(&self) -> Option<&Snapshot<Canonical>>

fn family_defaults(&self) -> Option<&FamilyDefaults>

impl EvaluationInput for EvaluationContext<Sourced>

fn pin(&self) -> &Pin

fn snapshot(&self) -> &Snapshot<Canonical>

fn scope(&self) -> &PinScope

fn files(&self) -> Option<&EvaluationFiles>

fn source_snapshot(&self) -> Option<&Snapshot<Canonical>>

fn family_defaults(&self) -> Option<&FamilyDefaults>

impl<S: PartialEq> PartialEq for EvaluationContext<S>

fn eq(&self, other: &EvaluationContext<S>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<S: PartialEq> StructuralPartialEq for EvaluationContext<S>