1 # 2002 January 29 2 # 3 # The author disclaims copyright to this source code. In place of 4 # a legal notice, here is a blessing: 5 # 6 # May you do good and not evil. 7 # May you find forgiveness for yourself and forgive others. 8 # May you share freely, never taking more than you give. 9 # 10 #*********************************************************************** 11 # This file implements regression tests for SQLite library. 12 # 13 # This file implements tests for the NOT NULL constraint. 14 # 15 # $Id: notnull.test,v 1.4 2006/01/17 09:35:02 danielk1977 Exp $ 16 17 set testdir [file dirname $argv0] 18 source $testdir/tester.tcl 19 20 ifcapable !conflict { 21 finish_test 22 return 23 } 24 25 do_test notnull-1.0 { 26 execsql { 27 CREATE TABLE t1 ( 28 a NOT NULL, 29 b NOT NULL DEFAULT 5, 30 c NOT NULL ON CONFLICT REPLACE DEFAULT 6, 31 d NOT NULL ON CONFLICT IGNORE DEFAULT 7, 32 e NOT NULL ON CONFLICT ABORT DEFAULT 8 33 ); 34 SELECT * FROM t1; 35 } 36 } {} 37 do_test notnull-1.1 { 38 catchsql { 39 DELETE FROM t1; 40 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,3,4,5); 41 SELECT * FROM t1 order by a; 42 } 43 } {0 {1 2 3 4 5}} 44 do_test notnull-1.2 { 45 catchsql { 46 DELETE FROM t1; 47 INSERT INTO t1(b,c,d,e) VALUES(2,3,4,5); 48 SELECT * FROM t1 order by a; 49 } 50 } {1 {t1.a may not be NULL}} 51 do_test notnull-1.3 { 52 catchsql { 53 DELETE FROM t1; 54 INSERT OR IGNORE INTO t1(b,c,d,e) VALUES(2,3,4,5); 55 SELECT * FROM t1 order by a; 56 } 57 } {0 {}} 58 do_test notnull-1.4 { 59 catchsql { 60 DELETE FROM t1; 61 INSERT OR REPLACE INTO t1(b,c,d,e) VALUES(2,3,4,5); 62 SELECT * FROM t1 order by a; 63 } 64 } {1 {t1.a may not be NULL}} 65 do_test notnull-1.5 { 66 catchsql { 67 DELETE FROM t1; 68 INSERT OR ABORT INTO t1(b,c,d,e) VALUES(2,3,4,5); 69 SELECT * FROM t1 order by a; 70 } 71 } {1 {t1.a may not be NULL}} 72 do_test notnull-1.6 { 73 catchsql { 74 DELETE FROM t1; 75 INSERT INTO t1(a,c,d,e) VALUES(1,3,4,5); 76 SELECT * FROM t1 order by a; 77 } 78 } {0 {1 5 3 4 5}} 79 do_test notnull-1.7 { 80 catchsql { 81 DELETE FROM t1; 82 INSERT OR IGNORE INTO t1(a,c,d,e) VALUES(1,3,4,5); 83 SELECT * FROM t1 order by a; 84 } 85 } {0 {1 5 3 4 5}} 86 do_test notnull-1.8 { 87 catchsql { 88 DELETE FROM t1; 89 INSERT OR REPLACE INTO t1(a,c,d,e) VALUES(1,3,4,5); 90 SELECT * FROM t1 order by a; 91 } 92 } {0 {1 5 3 4 5}} 93 do_test notnull-1.9 { 94 catchsql { 95 DELETE FROM t1; 96 INSERT OR ABORT INTO t1(a,c,d,e) VALUES(1,3,4,5); 97 SELECT * FROM t1 order by a; 98 } 99 } {0 {1 5 3 4 5}} 100 do_test notnull-1.10 { 101 catchsql { 102 DELETE FROM t1; 103 INSERT INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 104 SELECT * FROM t1 order by a; 105 } 106 } {1 {t1.b may not be NULL}} 107 do_test notnull-1.11 { 108 catchsql { 109 DELETE FROM t1; 110 INSERT OR IGNORE INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 111 SELECT * FROM t1 order by a; 112 } 113 } {0 {}} 114 do_test notnull-1.12 { 115 catchsql { 116 DELETE FROM t1; 117 INSERT OR REPLACE INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 118 SELECT * FROM t1 order by a; 119 } 120 } {0 {1 5 3 4 5}} 121 do_test notnull-1.13 { 122 catchsql { 123 DELETE FROM t1; 124 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 125 SELECT * FROM t1 order by a; 126 } 127 } {0 {1 2 6 4 5}} 128 do_test notnull-1.14 { 129 catchsql { 130 DELETE FROM t1; 131 INSERT OR IGNORE INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 132 SELECT * FROM t1 order by a; 133 } 134 } {0 {}} 135 do_test notnull-1.15 { 136 catchsql { 137 DELETE FROM t1; 138 INSERT OR REPLACE INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 139 SELECT * FROM t1 order by a; 140 } 141 } {0 {1 2 6 4 5}} 142 do_test notnull-1.16 { 143 catchsql { 144 DELETE FROM t1; 145 INSERT OR ABORT INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 146 SELECT * FROM t1 order by a; 147 } 148 } {1 {t1.c may not be NULL}} 149 do_test notnull-1.17 { 150 catchsql { 151 DELETE FROM t1; 152 INSERT OR ABORT INTO t1(a,b,c,d,e) VALUES(1,2,3,null,5); 153 SELECT * FROM t1 order by a; 154 } 155 } {1 {t1.d may not be NULL}} 156 do_test notnull-1.18 { 157 catchsql { 158 DELETE FROM t1; 159 INSERT OR ABORT INTO t1(a,b,c,e) VALUES(1,2,3,5); 160 SELECT * FROM t1 order by a; 161 } 162 } {0 {1 2 3 7 5}} 163 do_test notnull-1.19 { 164 catchsql { 165 DELETE FROM t1; 166 INSERT INTO t1(a,b,c,d) VALUES(1,2,3,4); 167 SELECT * FROM t1 order by a; 168 } 169 } {0 {1 2 3 4 8}} 170 do_test notnull-1.20 { 171 catchsql { 172 DELETE FROM t1; 173 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,3,4,null); 174 SELECT * FROM t1 order by a; 175 } 176 } {1 {t1.e may not be NULL}} 177 do_test notnull-1.21 { 178 catchsql { 179 DELETE FROM t1; 180 INSERT OR REPLACE INTO t1(e,d,c,b,a) VALUES(1,2,3,null,5); 181 SELECT * FROM t1 order by a; 182 } 183 } {0 {5 5 3 2 1}} 184 185 do_test notnull-2.1 { 186 catchsql { 187 DELETE FROM t1; 188 INSERT INTO t1 VALUES(1,2,3,4,5); 189 UPDATE t1 SET a=null; 190 SELECT * FROM t1 ORDER BY a; 191 } 192 } {1 {t1.a may not be NULL}} 193 do_test notnull-2.2 { 194 catchsql { 195 DELETE FROM t1; 196 INSERT INTO t1 VALUES(1,2,3,4,5); 197 UPDATE OR REPLACE t1 SET a=null; 198 SELECT * FROM t1 ORDER BY a; 199 } 200 } {1 {t1.a may not be NULL}} 201 do_test notnull-2.3 { 202 catchsql { 203 DELETE FROM t1; 204 INSERT INTO t1 VALUES(1,2,3,4,5); 205 UPDATE OR IGNORE t1 SET a=null; 206 SELECT * FROM t1 ORDER BY a; 207 } 208 } {0 {1 2 3 4 5}} 209 do_test notnull-2.4 { 210 catchsql { 211 DELETE FROM t1; 212 INSERT INTO t1 VALUES(1,2,3,4,5); 213 UPDATE OR ABORT t1 SET a=null; 214 SELECT * FROM t1 ORDER BY a; 215 } 216 } {1 {t1.a may not be NULL}} 217 do_test notnull-2.5 { 218 catchsql { 219 DELETE FROM t1; 220 INSERT INTO t1 VALUES(1,2,3,4,5); 221 UPDATE t1 SET b=null; 222 SELECT * FROM t1 ORDER BY a; 223 } 224 } {1 {t1.b may not be NULL}} 225 do_test notnull-2.6 { 226 catchsql { 227 DELETE FROM t1; 228 INSERT INTO t1 VALUES(1,2,3,4,5); 229 UPDATE OR REPLACE t1 SET b=null, d=e, e=d; 230 SELECT * FROM t1 ORDER BY a; 231 } 232 } {0 {1 5 3 5 4}} 233 do_test notnull-2.7 { 234 catchsql { 235 DELETE FROM t1; 236 INSERT INTO t1 VALUES(1,2,3,4,5); 237 UPDATE OR IGNORE t1 SET b=null, d=e, e=d; 238 SELECT * FROM t1 ORDER BY a; 239 } 240 } {0 {1 2 3 4 5}} 241 do_test notnull-2.8 { 242 catchsql { 243 DELETE FROM t1; 244 INSERT INTO t1 VALUES(1,2,3,4,5); 245 UPDATE t1 SET c=null, d=e, e=d; 246 SELECT * FROM t1 ORDER BY a; 247 } 248 } {0 {1 2 6 5 4}} 249 do_test notnull-2.9 { 250 catchsql { 251 DELETE FROM t1; 252 INSERT INTO t1 VALUES(1,2,3,4,5); 253 UPDATE t1 SET d=null, a=b, b=a; 254 SELECT * FROM t1 ORDER BY a; 255 } 256 } {0 {1 2 3 4 5}} 257 do_test notnull-2.10 { 258 catchsql { 259 DELETE FROM t1; 260 INSERT INTO t1 VALUES(1,2,3,4,5); 261 UPDATE t1 SET e=null, a=b, b=a; 262 SELECT * FROM t1 ORDER BY a; 263 } 264 } {1 {t1.e may not be NULL}} 265 266 do_test notnull-3.0 { 267 execsql { 268 CREATE INDEX t1a ON t1(a); 269 CREATE INDEX t1b ON t1(b); 270 CREATE INDEX t1c ON t1(c); 271 CREATE INDEX t1d ON t1(d); 272 CREATE INDEX t1e ON t1(e); 273 CREATE INDEX t1abc ON t1(a,b,c); 274 } 275 } {} 276 do_test notnull-3.1 { 277 catchsql { 278 DELETE FROM t1; 279 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,3,4,5); 280 SELECT * FROM t1 order by a; 281 } 282 } {0 {1 2 3 4 5}} 283 do_test notnull-3.2 { 284 catchsql { 285 DELETE FROM t1; 286 INSERT INTO t1(b,c,d,e) VALUES(2,3,4,5); 287 SELECT * FROM t1 order by a; 288 } 289 } {1 {t1.a may not be NULL}} 290 do_test notnull-3.3 { 291 catchsql { 292 DELETE FROM t1; 293 INSERT OR IGNORE INTO t1(b,c,d,e) VALUES(2,3,4,5); 294 SELECT * FROM t1 order by a; 295 } 296 } {0 {}} 297 do_test notnull-3.4 { 298 catchsql { 299 DELETE FROM t1; 300 INSERT OR REPLACE INTO t1(b,c,d,e) VALUES(2,3,4,5); 301 SELECT * FROM t1 order by a; 302 } 303 } {1 {t1.a may not be NULL}} 304 do_test notnull-3.5 { 305 catchsql { 306 DELETE FROM t1; 307 INSERT OR ABORT INTO t1(b,c,d,e) VALUES(2,3,4,5); 308 SELECT * FROM t1 order by a; 309 } 310 } {1 {t1.a may not be NULL}} 311 do_test notnull-3.6 { 312 catchsql { 313 DELETE FROM t1; 314 INSERT INTO t1(a,c,d,e) VALUES(1,3,4,5); 315 SELECT * FROM t1 order by a; 316 } 317 } {0 {1 5 3 4 5}} 318 do_test notnull-3.7 { 319 catchsql { 320 DELETE FROM t1; 321 INSERT OR IGNORE INTO t1(a,c,d,e) VALUES(1,3,4,5); 322 SELECT * FROM t1 order by a; 323 } 324 } {0 {1 5 3 4 5}} 325 do_test notnull-3.8 { 326 catchsql { 327 DELETE FROM t1; 328 INSERT OR REPLACE INTO t1(a,c,d,e) VALUES(1,3,4,5); 329 SELECT * FROM t1 order by a; 330 } 331 } {0 {1 5 3 4 5}} 332 do_test notnull-3.9 { 333 catchsql { 334 DELETE FROM t1; 335 INSERT OR ABORT INTO t1(a,c,d,e) VALUES(1,3,4,5); 336 SELECT * FROM t1 order by a; 337 } 338 } {0 {1 5 3 4 5}} 339 do_test notnull-3.10 { 340 catchsql { 341 DELETE FROM t1; 342 INSERT INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 343 SELECT * FROM t1 order by a; 344 } 345 } {1 {t1.b may not be NULL}} 346 do_test notnull-3.11 { 347 catchsql { 348 DELETE FROM t1; 349 INSERT OR IGNORE INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 350 SELECT * FROM t1 order by a; 351 } 352 } {0 {}} 353 do_test notnull-3.12 { 354 catchsql { 355 DELETE FROM t1; 356 INSERT OR REPLACE INTO t1(a,b,c,d,e) VALUES(1,null,3,4,5); 357 SELECT * FROM t1 order by a; 358 } 359 } {0 {1 5 3 4 5}} 360 do_test notnull-3.13 { 361 catchsql { 362 DELETE FROM t1; 363 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 364 SELECT * FROM t1 order by a; 365 } 366 } {0 {1 2 6 4 5}} 367 do_test notnull-3.14 { 368 catchsql { 369 DELETE FROM t1; 370 INSERT OR IGNORE INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 371 SELECT * FROM t1 order by a; 372 } 373 } {0 {}} 374 do_test notnull-3.15 { 375 catchsql { 376 DELETE FROM t1; 377 INSERT OR REPLACE INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 378 SELECT * FROM t1 order by a; 379 } 380 } {0 {1 2 6 4 5}} 381 do_test notnull-3.16 { 382 catchsql { 383 DELETE FROM t1; 384 INSERT OR ABORT INTO t1(a,b,c,d,e) VALUES(1,2,null,4,5); 385 SELECT * FROM t1 order by a; 386 } 387 } {1 {t1.c may not be NULL}} 388 do_test notnull-3.17 { 389 catchsql { 390 DELETE FROM t1; 391 INSERT OR ABORT INTO t1(a,b,c,d,e) VALUES(1,2,3,null,5); 392 SELECT * FROM t1 order by a; 393 } 394 } {1 {t1.d may not be NULL}} 395 do_test notnull-3.18 { 396 catchsql { 397 DELETE FROM t1; 398 INSERT OR ABORT INTO t1(a,b,c,e) VALUES(1,2,3,5); 399 SELECT * FROM t1 order by a; 400 } 401 } {0 {1 2 3 7 5}} 402 do_test notnull-3.19 { 403 catchsql { 404 DELETE FROM t1; 405 INSERT INTO t1(a,b,c,d) VALUES(1,2,3,4); 406 SELECT * FROM t1 order by a; 407 } 408 } {0 {1 2 3 4 8}} 409 do_test notnull-3.20 { 410 catchsql { 411 DELETE FROM t1; 412 INSERT INTO t1(a,b,c,d,e) VALUES(1,2,3,4,null); 413 SELECT * FROM t1 order by a; 414 } 415 } {1 {t1.e may not be NULL}} 416 do_test notnull-3.21 { 417 catchsql { 418 DELETE FROM t1; 419 INSERT OR REPLACE INTO t1(e,d,c,b,a) VALUES(1,2,3,null,5); 420 SELECT * FROM t1 order by a; 421 } 422 } {0 {5 5 3 2 1}} 423 424 do_test notnull-4.1 { 425 catchsql { 426 DELETE FROM t1; 427 INSERT INTO t1 VALUES(1,2,3,4,5); 428 UPDATE t1 SET a=null; 429 SELECT * FROM t1 ORDER BY a; 430 } 431 } {1 {t1.a may not be NULL}} 432 do_test notnull-4.2 { 433 catchsql { 434 DELETE FROM t1; 435 INSERT INTO t1 VALUES(1,2,3,4,5); 436 UPDATE OR REPLACE t1 SET a=null; 437 SELECT * FROM t1 ORDER BY a; 438 } 439 } {1 {t1.a may not be NULL}} 440 do_test notnull-4.3 { 441 catchsql { 442 DELETE FROM t1; 443 INSERT INTO t1 VALUES(1,2,3,4,5); 444 UPDATE OR IGNORE t1 SET a=null; 445 SELECT * FROM t1 ORDER BY a; 446 } 447 } {0 {1 2 3 4 5}} 448 do_test notnull-4.4 { 449 catchsql { 450 DELETE FROM t1; 451 INSERT INTO t1 VALUES(1,2,3,4,5); 452 UPDATE OR ABORT t1 SET a=null; 453 SELECT * FROM t1 ORDER BY a; 454 } 455 } {1 {t1.a may not be NULL}} 456 do_test notnull-4.5 { 457 catchsql { 458 DELETE FROM t1; 459 INSERT INTO t1 VALUES(1,2,3,4,5); 460 UPDATE t1 SET b=null; 461 SELECT * FROM t1 ORDER BY a; 462 } 463 } {1 {t1.b may not be NULL}} 464 do_test notnull-4.6 { 465 catchsql { 466 DELETE FROM t1; 467 INSERT INTO t1 VALUES(1,2,3,4,5); 468 UPDATE OR REPLACE t1 SET b=null, d=e, e=d; 469 SELECT * FROM t1 ORDER BY a; 470 } 471 } {0 {1 5 3 5 4}} 472 do_test notnull-4.7 { 473 catchsql { 474 DELETE FROM t1; 475 INSERT INTO t1 VALUES(1,2,3,4,5); 476 UPDATE OR IGNORE t1 SET b=null, d=e, e=d; 477 SELECT * FROM t1 ORDER BY a; 478 } 479 } {0 {1 2 3 4 5}} 480 do_test notnull-4.8 { 481 catchsql { 482 DELETE FROM t1; 483 INSERT INTO t1 VALUES(1,2,3,4,5); 484 UPDATE t1 SET c=null, d=e, e=d; 485 SELECT * FROM t1 ORDER BY a; 486 } 487 } {0 {1 2 6 5 4}} 488 do_test notnull-4.9 { 489 catchsql { 490 DELETE FROM t1; 491 INSERT INTO t1 VALUES(1,2,3,4,5); 492 UPDATE t1 SET d=null, a=b, b=a; 493 SELECT * FROM t1 ORDER BY a; 494 } 495 } {0 {1 2 3 4 5}} 496 do_test notnull-4.10 { 497 catchsql { 498 DELETE FROM t1; 499 INSERT INTO t1 VALUES(1,2,3,4,5); 500 UPDATE t1 SET e=null, a=b, b=a; 501 SELECT * FROM t1 ORDER BY a; 502 } 503 } {1 {t1.e may not be NULL}} 504 505 # Test that bug 29ab7be99f is fixed. 506 # 507 do_test notnull-5.1 { 508 execsql { 509 DROP TABLE IF EXISTS t1; 510 CREATE TABLE t1(a, b NOT NULL); 511 CREATE TABLE t2(c, d); 512 INSERT INTO t2 VALUES(3, 4); 513 INSERT INTO t2 VALUES(5, NULL); 514 } 515 } {} 516 do_test notnull-5.2 { 517 catchsql { 518 INSERT INTO t1 VALUES(1, 2); 519 INSERT INTO t1 SELECT * FROM t2; 520 } 521 } {1 {t1.b may not be NULL}} 522 do_test notnull-5.3 { 523 execsql { SELECT * FROM t1 } 524 } {1 2} 525 do_test notnull-5.4 { 526 catchsql { 527 DELETE FROM t1; 528 BEGIN; 529 INSERT INTO t1 VALUES(1, 2); 530 INSERT INTO t1 SELECT * FROM t2; 531 COMMIT; 532 } 533 } {1 {t1.b may not be NULL}} 534 do_test notnull-5.5 { 535 execsql { SELECT * FROM t1 } 536 } {1 2} 537 538 finish_test 539 540
