Struct SourceConstructFactV1 

pub struct SourceConstructFactV1 { /* private fields */ }

One extension/custom/unmodeled source construct declaration.

Implementations

impl SourceConstructFactV1

pub fn new( source_order_index: usize, kind: SourceConstructKindV1, name: SourceTextV1, required: bool, count: u64, disposition: SourceLoaderDispositionV1, provenance: SourceProvenanceV1, ) -> Result<Self, SourceFactsError>

Construct one source construct fact.

Errors

Returns SourceFactsError::ZeroConstructCount because every retained row is positive-presence evidence.

pub const fn source_order_index(&self) -> usize

Zero-based deterministic row order in this projection domain.

pub const fn kind(&self) -> SourceConstructKindV1

Construct kind.

pub const fn name(&self) -> &SourceTextV1

Bounded source construct spelling.

pub const fn required(&self) -> bool

Whether the source declaration makes the construct required.

pub const fn count(&self) -> u64

Number of source occurrences represented by this aggregate row.

pub const fn disposition(&self) -> SourceLoaderDispositionV1

AnimSmith-loader treatment.

pub const fn provenance(&self) -> &SourceProvenanceV1

Source provenance.

Trait Implementations

impl Clone for SourceConstructFactV1

fn clone(&self) -> SourceConstructFactV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SourceConstructFactV1

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

Formats the value using the given formatter.

impl Eq for SourceConstructFactV1

impl PartialEq for SourceConstructFactV1

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceConstructFactV1