Struct AnalysisFinding 

pub struct AnalysisFinding {
    pub kind: AnalysisFindingKind,
    pub status: AnalysisStatus,
    pub summary: String,
    pub nodes: Vec<AnalysisNode>,
    pub metric: Option<u64>,
    pub evidence: Option<AnalysisRelationEvidence>,
}

One deterministic bounded analysis finding.

Fields

kind: AnalysisFindingKind

Closed finding family.

status: AnalysisStatus

Evidence disposition.

summary: String

Concise interpretation that does not overclaim semantic proof.

nodes: Vec<AnalysisNode>

Typed reusable nodes with purpose, coverage, and next-call routing.

metric: Option<u64>

Optional exact structural metric, such as degree or declaration span.

evidence: Option<AnalysisRelationEvidence>

Exact relation evidence when this finding is caused by a resolution gap.

Trait Implementations

impl Clone for AnalysisFinding

fn clone(&self) -> AnalysisFinding

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisFinding

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

Formats the value using the given formatter.

impl PartialEq for AnalysisFinding

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

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for AnalysisFinding

impl StructuralPartialEq for AnalysisFinding