Struct LexicalExtractorReceipt 

#[non_exhaustive]
pub struct LexicalExtractorReceipt {
    pub schema_version: u32,
    pub bodies: Vec<BodyExtractionResult>,
    pub total_read_count: usize,
    pub total_write_count: usize,
    pub skipped_node_count: usize,
    pub provider_behavior_changed: bool,
}

Receipt from the lexical extractor, summarizing all bindings extracted from a file.

This is distinct from PirReceipt, which models lowering stats. LexicalExtractorReceipt is a compiler-substrate proof surface: it records what the extractor found, not what the lowerer did.

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.

schema_version: u32

Schema version (currently 1).

bodies: Vec<BodyExtractionResult>

Per-body extraction results, in order.

total_read_count: usize

Total count of lexical reads across all bodies.

total_write_count: usize

Total count of lexical writes across all bodies.

skipped_node_count: usize

Count of operations skipped (Modify, StashModify).

provider_behavior_changed: bool

Whether provider behavior changed (always false for PR1).

Trait Implementations

impl Clone for LexicalExtractorReceipt

fn clone(&self) -> LexicalExtractorReceipt

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LexicalExtractorReceipt

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

Formats the value using the given formatter.

impl Eq for LexicalExtractorReceipt

impl PartialEq for LexicalExtractorReceipt

fn eq(&self, other: &LexicalExtractorReceipt) -> 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 StructuralPartialEq for LexicalExtractorReceipt