Enum ClaimKind 

pub enum ClaimKind {
    Example,
    Property,
    Theorem,
    Axiom,
    AdmittedAssumption,
    Component,
}

The KIND of a claim — the top-level partition the inventory reports over.

Variants

Example

A ## Test/## Example block asserted with Expect/ExpectOutput/ ExpectFail — finite testing of concrete cases (never a proof).

Property

A For all <domain> …: property test — finite enumeration/sampling over a disclosed domain (a proof ONLY when the domain is finite AND exhausted).

Theorem

A ## Theorem/Theorem … claim discharged by the proof engine.

Axiom

A ## Axiom/Axiom … — an ASSUMPTION admitted into the premise base, never proved.

AdmittedAssumption

Anything the proof engine ADMITS rather than proves (an admitted lemma).

Component

★ A COMPONENT TEST — one that MOUNTS a page, drives it, and asserts about the rendered document.

Not an Example, and the difference is what a claim inventory is for: an example checks a VALUE, this checks a PAGE. They fail in different ways and cover different risk, and reporting both as example told a reader that a run of twenty examples had checked twenty values when some of them had checked a document. It is what lets somebody ask “does this project test its UI at all?” and get an answer.

Finite testing like an example, and never a proof: mounting a page and clicking it checks the cases you drove and nothing else.

Trait Implementations

impl Clone for ClaimKind

fn clone(&self) -> ClaimKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ClaimKind

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

Formats the value using the given formatter.

impl PartialEq for ClaimKind

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for ClaimKind

impl Eq for ClaimKind

impl StructuralPartialEq for ClaimKind