safe-migrate 0.9.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
34
35
36
37

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

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

impl<T> AnalysisOutcome<T> {
    pub(crate) 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(crate) 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
    }
}