Struct P0CaseExpectation 

pub struct P0CaseExpectation {
    pub id: &'static str,
    pub locale: &'static str,
    pub source_fixture: &'static str,
    pub source_sha256: &'static str,
    pub residuals: &'static [P0ResidualExpectation],
    pub gaps: &'static [P0GapExpectation],
}

The pinned source identity and owner-defined expectation for one P0 case.

Fields

id: &'static str

Stable case identity.

locale: &'static str

Source locale of the pinned Workshop input.

source_fixture: &'static str

Crate-relative path to the pinned source input.

source_sha256: &'static str

SHA-256 digest of Self::source_fixture.

residuals: &'static [P0ResidualExpectation]

Semantic residuals admitted for this case at every inspection stage.

gaps: &'static [P0GapExpectation]

Stage-specific Workshop errors admitted for this case.

Implementations

impl P0CaseExpectation

pub fn admits_residual(&self, issue: &SemanticIssue) -> bool

Whether the inspected semantic issue is admitted for this case.

pub fn admits_gap(&self, stage: P0Stage, error: &WorkshopError) -> bool

Whether the error is an owner-admitted gap at the given stage.

Trait Implementations

impl Clone for P0CaseExpectation

fn clone(&self) -> P0CaseExpectation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for P0CaseExpectation

impl Debug for P0CaseExpectation

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

Formats the value using the given formatter.

impl Eq for P0CaseExpectation

impl PartialEq for P0CaseExpectation

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for P0CaseExpectation