Struct Diagnosis

pub struct Diagnosis {
    pub defects: Vec<Defect>,
}

Immutable diagnosis report.

Fields

defects: Vec<Defect>

Defects in deterministic discovery order.

Implementations

impl Diagnosis

pub fn is_clean(&self) -> bool

Whether no defects were found.

pub fn blocks_boolean(&self) -> bool

Whether a robust boolean precondition is violated.

Trait Implementations

impl Clone for Diagnosis

fn clone(&self) -> Diagnosis

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Diagnosis

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

Formats the value using the given formatter.

impl Default for Diagnosis

fn default() -> Diagnosis

Returns the “default value” for a type.

impl PartialEq for Diagnosis

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

impl StructuralPartialEq for Diagnosis