Struct Claim 

pub struct Claim {
    pub source: String,
    pub id: String,
    pub text: String,
    pub kind: Kind,
    /* private fields */
}

One citable statement of the expert repo.

Fields

source: String

Path of the file it was read from, at the commit.

id: String

Anchor inside the source: requirement id, release and change number, theorem, heading slug.

text: String

The claim as printed (before truncation).

kind: Kind

Implementations

impl Claim

pub fn key(&self) -> String

source#id, as a rendered line cites it.

Trait Implementations

impl Clone for Claim

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 Claim

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

Formats the value using the given formatter.