Struct Manifest 

#[non_exhaustive]
pub struct Manifest {
    pub spans: Vec<EmittedTokenSpan>,
}

Set of emitted token spans for one clean text segment.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

spans: Vec<EmittedTokenSpan>

Spans sorted by clean_span.start.

Implementations

impl Manifest

pub fn from_spans(spans: Vec<EmittedTokenSpan>) -> Self

Builds a manifest from spans and sorts them by clean byte start.

pub fn diff_against( &self, suspect_span: &Range<usize>, suspect_class: &PiiClass, ) -> Option<LeakKind>

Diffs one safety-net suspect span against emitted token coverage.

Returns None when the suspect span is continuously covered by emitted token spans of the same class. Internal gaps return LeakKind::PartialBleed. When multiple uncovered gaps exist, this method deterministically returns the first gap by byte offset; full gap enumeration is intentionally deferred to a future report format.

Trait Implementations

impl Clone for Manifest

fn clone(&self) -> Manifest

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Manifest

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

Formats the value using the given formatter.

impl Default for Manifest

fn default() -> Manifest

Returns the “default value” for a type.

impl PartialEq for Manifest

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for Manifest

impl StructuralPartialEq for Manifest