Struct SourceSetCoverageV1 

pub struct SourceSetCoverageV1 { /* private fields */ }

Coverage and reason for one independently enumerable source-fact domain.

Implementations

impl SourceSetCoverageV1

pub const fn complete() -> Self

Complete coverage; an empty set proves absence.

pub const fn partial(reason: SourceUnavailableReasonV1) -> Self

Partial coverage; retained rows prove presence but omissions prove nothing.

pub const fn unavailable(reason: SourceUnavailableReasonV1) -> Self

Unavailable coverage for a source domain.

pub const fn state(self) -> SourceSetCoverageStateV1

Coverage state.

pub const fn reason(self) -> Option<SourceUnavailableReasonV1>

Stable incompleteness reason, absent only for complete coverage.

pub const fn proves_absence(self) -> bool

Whether an empty row set proves source absence.

Trait Implementations

impl Clone for SourceSetCoverageV1

fn clone(&self) -> SourceSetCoverageV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for SourceSetCoverageV1

impl Debug for SourceSetCoverageV1

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

Formats the value using the given formatter.

impl Eq for SourceSetCoverageV1

impl From<SourceSetCoverageV1> for RawSourceSetCoverageV1

fn from(value: SourceSetCoverageV1) -> Self

Converts to this type from the input type.

impl PartialEq for SourceSetCoverageV1

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for SourceSetCoverageV1