Struct ContractLintReport 

pub struct ContractLintReport {
    pub results: Vec<AssertionLint>,
    pub tree_clean_at_base: bool,
}

Full lint report for a contract’s command assertions.

Fields

results: Vec<AssertionLint>

tree_clean_at_base: bool

Whether the tree was clean (no uncommitted changes) at the moment the lint ran — when false, results may not reflect the pristine base.

Implementations

impl ContractLintReport

pub fn suspects(&self) -> Vec<&AssertionLint>

Results whose outcome is an author-bug suspect.

pub fn is_empty(&self) -> bool

True when no command assertions were linted at all.

pub fn summary(&self) -> String

Compact operator-facing summary: suspects first under a clear label, then base-expected-to-fail assertions under a separate label. When tree_clean_at_base is false, prepends a note that the lint ran against a dirty working tree.

Trait Implementations

impl Clone for ContractLintReport

fn clone(&self) -> ContractLintReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ContractLintReport

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

Formats the value using the given formatter.