|
| 1 | +using System.Data.Common; |
| 2 | +using static Microsoft.VisualStudio.TestTools.UnitTesting.Assert; |
| 3 | + |
| 4 | +namespace SqlServerSimulator; |
| 5 | + |
| 6 | +/// <summary> |
| 7 | +/// Behavioral tests for <c>ALTER TABLE … (CHECK | NOCHECK) CONSTRAINT (ALL | |
| 8 | +/// name [,…])</c> trust-toggle shapes. <c>NOCHECK</c> disables enforcement |
| 9 | +/// (sets IsDisabled + IsNotTrusted); bare <c>CHECK</c> re-enables without |
| 10 | +/// revalidating (leaves IsNotTrusted = true); <c>WITH CHECK CHECK |
| 11 | +/// CONSTRAINT</c> revalidates and clears IsNotTrusted on success. |
| 12 | +/// Probe-confirmed against SQL Server 2025 on 2026-05-13. |
| 13 | +/// </summary> |
| 14 | +[TestClass] |
| 15 | +public sealed class AlterTableTrustToggleTests |
| 16 | +{ |
| 17 | + // --- NOCHECK CONSTRAINT (disable) --- |
| 18 | + |
| 19 | + [TestMethod] |
| 20 | + public void NoCheckConstraint_FK_DisablesEnforcement() |
| 21 | + { |
| 22 | + var sim = new Simulation(); |
| 23 | + // Bulk-import scenario: disable FK, insert orphan, re-enable. |
| 24 | + _ = sim.ExecuteNonQuery(""" |
| 25 | + create table p (id int not null primary key); |
| 26 | + create table c (id int not null primary key, p_id int null constraint fk_cp references p(id)); |
| 27 | + alter table c nocheck constraint fk_cp; |
| 28 | + insert c values (1, 999) |
| 29 | + """); |
| 30 | + AreEqual(1, sim.ExecuteScalar("select count(*) from c")); |
| 31 | + IsTrue((bool)sim.ExecuteScalar("select is_disabled from sys.foreign_keys where name = 'fk_cp'")!); |
| 32 | + IsTrue((bool)sim.ExecuteScalar("select is_not_trusted from sys.foreign_keys where name = 'fk_cp'")!); |
| 33 | + } |
| 34 | + |
| 35 | + [TestMethod] |
| 36 | + public void NoCheckConstraint_FK_SkipsCascadeOnDelete() |
| 37 | + { |
| 38 | + var sim = new Simulation(); |
| 39 | + // Probe-confirmed: disabled CASCADE FK leaves children orphaned when |
| 40 | + // parent is deleted (cascade action is suppressed alongside the |
| 41 | + // NO-ACTION reject). |
| 42 | + _ = sim.ExecuteNonQuery(""" |
| 43 | + create table p (id int not null primary key); |
| 44 | + create table c (id int not null primary key, p_id int null constraint fk_cp references p(id) on delete cascade); |
| 45 | + insert p values (1); |
| 46 | + insert c values (10, 1), (20, 1); |
| 47 | + alter table c nocheck constraint fk_cp; |
| 48 | + delete p |
| 49 | + """); |
| 50 | + AreEqual(2, sim.ExecuteScalar("select count(*) from c")); |
| 51 | + } |
| 52 | + |
| 53 | + [TestMethod] |
| 54 | + public void NoCheckConstraint_Check_DisablesPredicate() |
| 55 | + { |
| 56 | + var sim = new Simulation(); |
| 57 | + _ = sim.ExecuteNonQuery(""" |
| 58 | + create table t (qty int constraint ck_q check (qty > 0)); |
| 59 | + alter table t nocheck constraint ck_q; |
| 60 | + insert t values (-5) |
| 61 | + """); |
| 62 | + AreEqual(-5, sim.ExecuteScalar("select qty from t")); |
| 63 | + } |
| 64 | + |
| 65 | + // --- CHECK CONSTRAINT (re-enable without revalidate) --- |
| 66 | + |
| 67 | + [TestMethod] |
| 68 | + public void CheckConstraint_BareReEnablesWithoutRevalidating() |
| 69 | + { |
| 70 | + var sim = new Simulation(); |
| 71 | + // Probe-confirmed gotcha: bare CHECK CONSTRAINT (no WITH CHECK |
| 72 | + // prefix) re-enables enforcement but leaves IsNotTrusted = true. |
| 73 | + _ = sim.ExecuteNonQuery(""" |
| 74 | + create table t (qty int constraint ck_q check (qty > 0)); |
| 75 | + alter table t nocheck constraint ck_q; |
| 76 | + insert t values (-5); |
| 77 | + alter table t check constraint ck_q |
| 78 | + """); |
| 79 | + IsFalse((bool)sim.ExecuteScalar("select is_disabled from sys.check_constraints where name = 'ck_q'")!); |
| 80 | + IsTrue((bool)sim.ExecuteScalar("select is_not_trusted from sys.check_constraints where name = 'ck_q'")!); |
| 81 | + // New rows are now enforced. |
| 82 | + var ex = Throws<DbException>(() => sim.ExecuteNonQuery("insert t values (-10)")); |
| 83 | + AreEqual("547", ex.Data["HelpLink.EvtID"]); |
| 84 | + } |
| 85 | + |
| 86 | + // --- WITH CHECK CHECK CONSTRAINT (re-validate + re-trust) --- |
| 87 | + |
| 88 | + [TestMethod] |
| 89 | + public void WithCheckCheckConstraint_FK_RevalidatesAndClearsNotTrusted() |
| 90 | + { |
| 91 | + var sim = new Simulation(); |
| 92 | + _ = sim.ExecuteNonQuery(""" |
| 93 | + create table p (id int not null primary key); |
| 94 | + create table c (id int not null primary key, p_id int null constraint fk_cp references p(id)); |
| 95 | + insert p values (1); |
| 96 | + insert c values (10, 1); |
| 97 | + alter table c nocheck constraint fk_cp; |
| 98 | + alter table c with check check constraint fk_cp |
| 99 | + """); |
| 100 | + IsFalse((bool)sim.ExecuteScalar("select is_disabled from sys.foreign_keys where name = 'fk_cp'")!); |
| 101 | + IsFalse((bool)sim.ExecuteScalar("select is_not_trusted from sys.foreign_keys where name = 'fk_cp'")!); |
| 102 | + } |
| 103 | + |
| 104 | + [TestMethod] |
| 105 | + public void WithCheckCheckConstraint_FK_OrphanRaisesMsg547WithAlterPrefix() |
| 106 | + { |
| 107 | + var ex = new Simulation().AssertSqlError(""" |
| 108 | + create table p (id int not null primary key); |
| 109 | + create table c (id int not null primary key, p_id int null constraint fk_cp references p(id)); |
| 110 | + alter table c nocheck constraint fk_cp; |
| 111 | + insert c values (10, 999); |
| 112 | + alter table c with check check constraint fk_cp |
| 113 | + """, 547); |
| 114 | + Contains("ALTER TABLE statement conflicted with the FOREIGN KEY constraint", ex.Message); |
| 115 | + Contains("\"fk_cp\"", ex.Message); |
| 116 | + } |
| 117 | + |
| 118 | + [TestMethod] |
| 119 | + public void WithCheckCheckConstraint_Check_BadRowRaisesMsg547() |
| 120 | + { |
| 121 | + var ex = new Simulation().AssertSqlError(""" |
| 122 | + create table t (qty int constraint ck_q check (qty > 0)); |
| 123 | + alter table t nocheck constraint ck_q; |
| 124 | + insert t values (-5); |
| 125 | + alter table t with check check constraint ck_q |
| 126 | + """, 547); |
| 127 | + Contains("ALTER TABLE statement conflicted with the CHECK constraint", ex.Message); |
| 128 | + Contains("\"ck_q\"", ex.Message); |
| 129 | + } |
| 130 | + |
| 131 | + // --- ALL keyword --- |
| 132 | + |
| 133 | + [TestMethod] |
| 134 | + public void NoCheckConstraintAll_DisablesEveryFkAndCheckOnTable() |
| 135 | + { |
| 136 | + var sim = new Simulation(); |
| 137 | + _ = sim.ExecuteNonQuery(""" |
| 138 | + create table p (id int not null primary key); |
| 139 | + create table c ( |
| 140 | + id int not null primary key, |
| 141 | + p_id int null constraint fk_cp references p(id), |
| 142 | + qty int constraint ck_q check (qty > 0) |
| 143 | + ); |
| 144 | + alter table c nocheck constraint all |
| 145 | + """); |
| 146 | + IsTrue((bool)sim.ExecuteScalar("select is_disabled from sys.foreign_keys where name = 'fk_cp'")!); |
| 147 | + IsTrue((bool)sim.ExecuteScalar("select is_disabled from sys.check_constraints where name = 'ck_q'")!); |
| 148 | + // Inserts with both violations now succeed. |
| 149 | + AreEqual(1, sim.ExecuteScalar(""" |
| 150 | + insert c values (1, 999, -10); |
| 151 | + select count(*) from c |
| 152 | + """)); |
| 153 | + } |
| 154 | + |
| 155 | + [TestMethod] |
| 156 | + public void CheckConstraintAll_BareReEnablesAllWithoutRevalidating() |
| 157 | + { |
| 158 | + var sim = new Simulation(); |
| 159 | + _ = sim.ExecuteNonQuery(""" |
| 160 | + create table p (id int not null primary key); |
| 161 | + create table c ( |
| 162 | + id int not null primary key, |
| 163 | + p_id int null constraint fk_cp references p(id), |
| 164 | + qty int constraint ck_q check (qty > 0) |
| 165 | + ); |
| 166 | + alter table c nocheck constraint all; |
| 167 | + alter table c check constraint all |
| 168 | + """); |
| 169 | + IsFalse((bool)sim.ExecuteScalar("select is_disabled from sys.foreign_keys where name = 'fk_cp'")!); |
| 170 | + IsTrue((bool)sim.ExecuteScalar("select is_not_trusted from sys.foreign_keys where name = 'fk_cp'")!); |
| 171 | + IsFalse((bool)sim.ExecuteScalar("select is_disabled from sys.check_constraints where name = 'ck_q'")!); |
| 172 | + IsTrue((bool)sim.ExecuteScalar("select is_not_trusted from sys.check_constraints where name = 'ck_q'")!); |
| 173 | + } |
| 174 | + |
| 175 | + [TestMethod] |
| 176 | + public void WithCheckCheckConstraintAll_ClearsNotTrusted() |
| 177 | + { |
| 178 | + var sim = new Simulation(); |
| 179 | + _ = sim.ExecuteNonQuery(""" |
| 180 | + create table p (id int not null primary key); |
| 181 | + create table c ( |
| 182 | + id int not null primary key, |
| 183 | + p_id int null constraint fk_cp references p(id), |
| 184 | + qty int constraint ck_q check (qty > 0) |
| 185 | + ); |
| 186 | + insert p values (1); |
| 187 | + alter table c nocheck constraint all; |
| 188 | + alter table c with check check constraint all |
| 189 | + """); |
| 190 | + IsFalse((bool)sim.ExecuteScalar("select is_not_trusted from sys.foreign_keys where name = 'fk_cp'")!); |
| 191 | + IsFalse((bool)sim.ExecuteScalar("select is_not_trusted from sys.check_constraints where name = 'ck_q'")!); |
| 192 | + } |
| 193 | + |
| 194 | + // --- Error paths --- |
| 195 | + |
| 196 | + [TestMethod] |
| 197 | + public void NoCheckConstraint_NameNotFound_RaisesMsg4917() |
| 198 | + => _ = new Simulation().AssertSqlError(""" |
| 199 | + create table t (id int not null primary key); |
| 200 | + alter table t nocheck constraint missing |
| 201 | + """, 4917); |
| 202 | + |
| 203 | + [TestMethod] |
| 204 | + public void WithCheckCheckConstraint_NameNotFound_RaisesMsg4917() |
| 205 | + => _ = new Simulation().AssertSqlError(""" |
| 206 | + create table t (id int not null primary key); |
| 207 | + alter table t with check check constraint missing |
| 208 | + """, 4917); |
| 209 | + |
| 210 | + [TestMethod] |
| 211 | + public void MultiName_OneMissing_AtomicNoMutation() |
| 212 | + { |
| 213 | + var sim = new Simulation(); |
| 214 | + _ = sim.ExecuteNonQuery(""" |
| 215 | + create table t (id int not null primary key, qty int); |
| 216 | + alter table t add constraint ck_q check (qty > 0); |
| 217 | + alter table t nocheck constraint ck_q |
| 218 | + """); |
| 219 | + IsTrue((bool)sim.ExecuteScalar("select is_disabled from sys.check_constraints where name = 'ck_q'")!); |
| 220 | + var ex = Throws<DbException>(() => sim.ExecuteNonQuery("alter table t check constraint ck_q, missing")); |
| 221 | + AreEqual("4917", ex.Data["HelpLink.EvtID"]); |
| 222 | + // ck_q was disabled before; the failed multi-toggle leaves it disabled. |
| 223 | + IsTrue((bool)sim.ExecuteScalar("select is_disabled from sys.check_constraints where name = 'ck_q'")!); |
| 224 | + } |
| 225 | + |
| 226 | + // --- Bulk-import recipe --- |
| 227 | + |
| 228 | + [TestMethod] |
| 229 | + public void BulkImport_DisableImportReEnable_FlowEndToEnd() |
| 230 | + { |
| 231 | + var sim = new Simulation(); |
| 232 | + // The intended bulk-import use case: disable all constraints, push |
| 233 | + // data (possibly with rows that would have violated), re-enable. |
| 234 | + _ = sim.ExecuteNonQuery(""" |
| 235 | + create table p (id int not null primary key); |
| 236 | + create table c ( |
| 237 | + id int not null primary key, |
| 238 | + p_id int null constraint fk_cp references p(id), |
| 239 | + qty int constraint ck_q check (qty > 0) |
| 240 | + ); |
| 241 | + insert p values (1), (2); |
| 242 | + alter table c nocheck constraint all; |
| 243 | + insert c values (10, 1, 5), (20, 2, -3), (30, 99, 10); |
| 244 | + alter table c check constraint all |
| 245 | + """); |
| 246 | + AreEqual(3, sim.ExecuteScalar("select count(*) from c")); |
| 247 | + // After re-enable without WITH CHECK, IsNotTrusted = true; new |
| 248 | + // inserts enforce again so attempting a fresh orphan now fails. |
| 249 | + var ex = Throws<DbException>(() => sim.ExecuteNonQuery("insert c values (40, 999, 1)")); |
| 250 | + AreEqual("547", ex.Data["HelpLink.EvtID"]); |
| 251 | + } |
| 252 | +} |
0 commit comments