Struct Report 

pub struct Report { /* private fields */ }

Everything a validation run produced.

Implementations

impl Report

pub fn new() -> Self

An empty report.

pub fn push(&mut self, finding: Finding)

Records a finding, or marks the report truncated when its cap is full.

pub fn mark_truncated(&mut self)

Records that the run stopped early because it hit its finding budget.

A report that silently stops at N findings claims the file has N problems. This flag is what keeps that claim honest.

pub const fn is_truncated(&self) -> bool

Whether the run stopped before checking everything.

pub fn findings(&self) -> &[Finding]

Every finding, in the order produced.

Callers wanting a stable order across runs should use Report::sorted: production order follows traversal, which is deterministic for a given model but not meaningful.

pub fn summary(&self) -> Summary

How many findings of each severity.

pub fn sorted(&self) -> Vec<&Finding>

Findings in a stable, explicitly defined order.

Sorted by severity, then rule id, then entity id, then slot. Two runs over the same file always produce byte-identical output, which is what makes a report diffable in CI.

pub fn extend(&mut self, other: Self)

Merges another report into this one, preserving the truncation flag.

pub fn is_conformant(&self) -> bool

Whether anything this validator checked was violated.

Trait Implementations

impl Clone for Report

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Report

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

Formats the value using the given formatter.

impl Default for Report

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Report

impl PartialEq for Report

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

Equality operator ==.

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

Inequality operator !=.