pgsafe 0.9.0

Static safety linter for PostgreSQL DDL migrations — catches unsafe schema changes before they lock or break production.
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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64

use pg_query::protobuf::AlterTableType;
use pg_query::NodeEnum;

use super::Rule;
use crate::RuleHit;

pub struct DropConstraint;

impl Rule for DropConstraint {
    fn id(&self) -> &'static str {
        "drop-constraint"
    }
    fn check(&self, node: &NodeEnum, out: &mut Vec<RuleHit>) {
        for cmd in super::alter_table_cmds(node) {
            if matches!(
                AlterTableType::try_from(cmd.subtype),
                Ok(AlterTableType::AtDropConstraint)
            ) {
                out.push(RuleHit {
                    message: "DROP CONSTRAINT removes an integrity guarantee (foreign key, check, or \
                              unique) that application code may rely on; dropping a primary key or \
                              unique constraint can also break logical-replication replica identity."
                        .into(),
                    guidance: "Confirm no application logic or replication setup depends on the \
                               constraint before dropping it."
                        .into(),
                    fix: None,
                });
            }
        }
    }
}

#[cfg(test)]
mod tests {
    use crate::{lint_sql, LintOptions, Severity};

    fn findings(sql: &str) -> Vec<crate::Finding> {
        lint_sql(sql, &LintOptions::default()).unwrap()
    }

    #[test]
    fn flags_drop_constraint() {
        assert!(findings("ALTER TABLE t DROP CONSTRAINT c")
            .iter()
            .any(|f| f.rule_id == "drop-constraint"));
    }

    #[test]
    fn drop_constraint_is_a_warning() {
        let f = findings("ALTER TABLE t DROP CONSTRAINT c")
            .into_iter()
            .find(|f| f.rule_id == "drop-constraint")
            .expect("rule must fire");
        assert_eq!(f.severity, Severity::Warning);
    }

    #[test]
    fn silent_on_other_alter_commands() {
        assert!(findings("ALTER TABLE t ADD COLUMN x int")
            .iter()
            .all(|f| f.rule_id != "drop-constraint"));
    }
}