Struct Report 

pub struct Report {
    pub dialect: String,
    pub findings: Vec<Finding>,
    pub taken_as_default: Vec<TakenAsDefault>,
}

The whole report for one dialect.

Fields

dialect: String

The dialect’s registry name.

findings: Vec<Finding>

Everything found, worst first.

taken_as_default: Vec<TakenAsDefault>

The answers that shape a statement this dialect left to the contract, in the order the bundle’s files run — see taken_as_default.

Implementations

impl Report

pub fn is_clean(&self) -> bool

Whether nothing blocking or unanswered was found.

Notes do not fail a report: they are observations, not obligations.

pub fn count(&self, severity: Severity) -> usize

How many findings of one severity.

impl Report

pub fn head(&self) -> String

The report’s opening and its findings: what it read and what it ran, then each finding, worst first.

The Display of the report is this and then the answers left to the contract; razeri plugin conform prints this and then the same answers with how many of the engines Razeri ships write their own.

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 Display for Report

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

Formats the value using the given formatter.