safe-migrate 0.8.0

Check PostgreSQL migrations against a synchronized database baseline
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

use crate::_internal::analysis::evidence::EvidenceRecord;
use crate::_internal::analysis::state::Confidence;

/// Immutable result of an analysis run.
#[derive(Debug, Clone)]
pub struct AnalysisOutcome<T> {
    pub findings: Vec<T>,
    pub confidence: Confidence,
    pub evidence: Vec<EvidenceRecord>,
}

impl<T> AnalysisOutcome<T> {
    pub fn new(findings: Vec<T>, confidence: Confidence, evidence: Vec<EvidenceRecord>) -> Self {
        Self {
            findings,
            confidence,
            evidence,
        }
    }

    /// Attach chain-level evidence after analysis without mutating the state
    /// machine that produced the findings. This is used for invocation facts
    /// such as a missing or stale baseline, which must taint the verdict but
    /// must not downgrade the severity of the SQL being analyzed.
    pub fn with_evidence(mut self, record: EvidenceRecord) -> Self {
        if !self.evidence.contains(&record) {
            self.evidence.push(record);
            self.evidence.sort();
        }
        self.confidence = Confidence::Tainted;
        self
    }
}