Struct FindingIdTrace 

pub struct FindingIdTrace { /* private fields */ }

Evidence for a finding-id answer, collected around the filter stages of one run.

A requested id that is present before a filter stage and absent after it was hidden by this run, not fixed. Those ids end in filtered. A stage that is analysis (type-aware refinement) stays outside every stage, so a finding it removes counts as gone.

Implementations

impl FindingIdTrace

pub fn start(filter: FindingIdFilter, results: &mut AnalysisResults) -> Self

Start the first filter stage on the full result set.

pub fn start_stage(&mut self, results: &mut AnalysisResults)

Start a filter stage after work that is not a filter.

pub fn end_stage(&mut self, results: &mut AnalysisResults)

End a filter stage: the requested ids it removed count as filtered.

pub fn finish( self, results: &mut AnalysisResults, config: &ResolvedConfig, run_reasons: impl IntoIterator<Item = FindingIdQueryReason>, ) -> FindingIdQuery

Apply the filter and build the answer. See FindingIdFilter::apply.

Trait Implementations

impl Clone for FindingIdTrace

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 FindingIdTrace

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

Formats the value using the given formatter.