Struct Finding 

pub struct Finding {
    pub code: &'static str,
    pub check: &'static str,
    pub severity: Severity,
    pub basis: Basis,
    pub confidence: Confidence,
    pub observation: String,
    pub why_it_matters: String,
    pub suggested_next_check: String,
    pub variables: Vec<String>,
    pub constraints: Vec<String>,
    pub evidence: Value,
}

One finding. Build with Finding::new and the chained setters.

Fields

code: &'static str

Stable identifier, snake_case. Codes are part of the schema: renaming one is a breaking change for anyone filtering on it.

check: &'static str

The check that produced it (one of Report::checks).

severity: Severity

basis: Basis

confidence: Confidence

observation: String

What was seen, in one or two sentences, naming the entities.

why_it_matters: String

Why the solver or the user should care.

suggested_next_check: String

The cheapest next thing to look at. An investigation step, never an instruction to change the model.

variables: Vec<String>

Variable names involved.

constraints: Vec<String>

Constraint names involved (objective for the objective).

evidence: Value

Supporting numbers: intervals, values, tolerances, the point label.

Implementations

impl Finding

pub fn new( check: &'static str, code: &'static str, severity: Severity, basis: Basis, confidence: Confidence, observation: impl Into<String>, ) -> Self

pub fn why(self, s: impl Into<String>) -> Self

pub fn next(self, s: impl Into<String>) -> Self

pub fn vars(self, v: Vec<String>) -> Self

pub fn cons(self, c: Vec<String>) -> Self

pub fn evidence(self, e: Value) -> Self

Trait Implementations

impl Clone for Finding

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 Finding

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

Formats the value using the given formatter.