Struct SourceSnapshot 

pub struct SourceSnapshot { /* private fields */ }

Immutable identity of one source revision in an evidence session.

Implementations

impl SourceSnapshot

pub fn try_new( source: SourceId, revision: impl Into<Arc<str>>, fingerprint: impl Into<Arc<str>>, ) -> Result<Self, EvidenceSessionError>

Creates an exact source snapshot identity.

pub fn with_type_system( self, type_system: impl Into<Arc<str>>, ) -> Result<Self, EvidenceSessionError>

Declares one type system this source’s vocabulary uses.

Package concepts bind to source data only through an external name in a declared type system. A source usually speaks one release-bound system (an IFC4 model: IFC4 entities and its property templates) and may add a project namespace for custom property sets. A source that declares none cannot bind any concept, so package rules over it are not evaluated rather than passed. Declaring a system twice is a no-op.

pub fn type_systems(&self) -> &[Arc<str>]

Declared type systems for concept binding, sorted and unique.

pub fn with_schema( self, schema: impl Into<Arc<str>>, ) -> Result<Self, EvidenceSessionError>

Binds a source-declared semantic schema to the immutable snapshot.

pub fn source(&self) -> &SourceId

Stable source identity.

pub fn revision(&self) -> &str

Adapter-defined immutable revision.

pub fn fingerprint(&self) -> &str

Content fingerprint, including its algorithm when applicable.

pub fn schema(&self) -> Option<&str>

Source-declared semantic schema, when the adapter has one.

Trait Implementations

impl Clone for SourceSnapshot

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceSnapshot

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

Formats the value using the given formatter.

impl Eq for SourceSnapshot

impl PartialEq for SourceSnapshot

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceSnapshot