Struct CoverageResult 

pub struct CoverageResult {
    pub anchor: String,
    pub total_steps: usize,
    pub implemented: Vec<Vec<u32>>,
    pub missing: Vec<Vec<u32>>,
    pub warnings: usize,
    pub reordered: usize,
}

Coverage of a spec algorithm in source code.

Fields

anchor: String

total_steps: usize

implemented: Vec<Vec<u32>>

missing: Vec<Vec<u32>>

warnings: usize

reordered: usize

Implementations

impl CoverageResult

pub fn implemented_count(&self) -> usize

pub fn summary(&self) -> String

One-line summary for code lens display.

Trait Implementations

impl Clone for CoverageResult

fn clone(&self) -> CoverageResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CoverageResult

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

Formats the value using the given formatter.

impl From<&CoverageResult> for CoverageSummary

fn from(cr: &CoverageResult) -> Self

Converts to this type from the input type.