Struct Fact 

pub struct Fact { /* private fields */ }

Implementations

impl Fact

pub fn new( key_input: FindingKeyInput, resolution: Resolution<RepoPathText>, ) -> Option<Self>

Builds a structural fact only when the key kind and resolution family agree. Non-structural resolution families are not eligible for control items.

pub const fn finding_kind(&self) -> EligibleFindingKind

The finding kind fixed by the validated key and resolution family.

pub const fn key_input(&self) -> &FindingKeyInput

The canonical finding-key preimage embedded in this fact.

pub const fn resolution(&self) -> &Resolution<RepoPathText>

The structural resolution evidence embedded in this fact.

Trait Implementations

impl Clone for Fact

fn clone(&self) -> Fact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Fact

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

Formats the value using the given formatter.

impl Eq for Fact

impl PartialEq for Fact

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Fact