Struct Reads 

pub struct Reads { /* private fields */ }

The building metrics a run’s verdicts have read.

Deterministic (ADR-0006): a BTreeSet of &'static str, so the order a DW0813 line names them in is the table’s own order and not the order the checks happened to run in.

Implementations

impl Reads

pub fn new() -> Self

A ledger nothing has read through yet.

pub fn binding(&self) -> ReadBinding

How many building metrics this run’s verdicts read, and how many of those the gym has not walked.

pub fn provisional(&self) -> Vec<&'static str>

The uncalibrated entries read, in table order.

pub fn read(&self) -> BTreeSet<&'static str>

Every entry read, in table order.

The metrics gym’s coverage numerator: an entry the gym’s construction never read is an entry no bay was built from, so a walk of the gym cannot rule on it. Taking it from the same ledger the reads are recorded in is what stops the gym’s own coverage claim being a list somebody maintains beside the generator.

Trait Implementations

impl Clone for Reads

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 Reads

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

Formats the value using the given formatter.

impl Default for Reads

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Reads

impl PartialEq for Reads

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Reads