cargo-gamma-lib 0.1.0

Internal library for cargo-gamma
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

// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.

/// The outcome of verifying a set of edits against a fresh discovery.
#[derive(Debug, Default, PartialEq, Eq)]
pub struct Verification {
    /// Mutants that were meant to be suppressed and are not.
    pub missing: Vec<String>,

    /// Mutants that became suppressed and were not meant to be.
    ///
    /// The dangerous half. A directive attached to a multi-line construct takes out everything
    /// inside it, and if any of those were survivors the guarantee at the top of this module has
    /// been violated by accident.
    pub collateral: Vec<String>,

    /// Mutants that stopped being suppressed.
    ///
    /// The hazard when a directive is removed rather than written: a directive reported as
    /// suppressing nothing that turns out to have been holding something down means the report was
    /// wrong, and the safe response is to put the tree back and say so.
    pub released: Vec<String>,
}

impl Verification {
    /// Whether the edit may stand.
    #[must_use]
    pub const fn is_clean(&self) -> bool {
        self.missing.is_empty() && self.collateral.is_empty() && self.released.is_empty()
    }
}