| blob | 14be637f970ffd3a6a6875420a2196faf3e05a71 |
1 # 2005 February 18
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. The
12 # focus of this script is testing that SQLite can handle a subtle
13 # file format change that may be used in the future to implement
14 # "ALTER TABLE ... ADD COLUMN".
15 #
16 # $Id: alter2.test,v 1.14 2009/04/07 14:14:22 danielk1977 Exp $
17 #
19 set testdir [file dirname $argv0]
20 source $testdir/tester.tcl
22 # We have to have pragmas in order to do this test
23 ifcapable {!pragma} return
25 # Do not use a codec for tests in this file, as the database file is
26 # manipulated directly using tcl scripts. See proc [set_file_format].
27 #
28 do_not_use_codec
30 # The file format change affects the way row-records stored in tables (but
31 # not indices) are interpreted. Before version 3.1.3, a row-record for a
32 # table with N columns was guaranteed to contain exactly N fields. As
33 # of version 3.1.3, the record may contain up to N fields. In this case
34 # the M fields that are present are the values for the left-most M
35 # columns. The (N-M) rightmost columns contain NULL.
36 #
37 # If any records in the database contain less fields than their table
38 # has columns, then the file-format meta value should be set to (at least) 2.
39 #
41 # This procedure sets the value of the file-format in file 'test.db'
42 # to $newval. Also, the schema cookie is incremented.
43 #
44 proc set_file_format {newval} {
45 hexio_write test.db 44 [hexio_render_int32 $newval]
46 set schemacookie [hexio_get_int [hexio_read test.db 40 4]]
47 incr schemacookie
48 hexio_write test.db 40 [hexio_render_int32 $schemacookie]
49 return {}
50 }
52 # This procedure returns the value of the file-format in file 'test.db'.
53 #
54 proc get_file_format {{fname test.db}} {
55 return [hexio_get_int [hexio_read $fname 44 4]]
56 }
58 # This procedure sets the SQL statement stored for table $tbl in the
59 # sqlite_master table of file 'test.db' to $sql. Also set the file format
60 # to the supplied value. This is 2 if the added column has a default that is
61 # NULL, or 3 otherwise.
62 #
63 proc alter_table {tbl sql {file_format 2}} {
64 sqlite3 dbat test.db
65 set s [string map {' ''} $sql]
66 set t [string map {' ''} $tbl]
67 dbat eval [subst {
68 PRAGMA writable_schema = 1;
69 UPDATE sqlite_master SET sql = '$s' WHERE name = '$t' AND type = 'table';
70 PRAGMA writable_schema = 0;
71 }]
72 dbat close
73 set_file_format 2
74 }
76 # Create bogus application-defined functions for functions used
77 # internally by ALTER TABLE, to ensure that ALTER TABLE falls back
78 # to the built-in functions.
79 #
80 proc failing_app_func {args} {error "bad function"}
81 do_test alter2-1.0 {
82 db func substr failing_app_func
83 db func like failing_app_func
84 db func sqlite_rename_table failing_app_func
85 db func sqlite_rename_trigger failing_app_func
86 db func sqlite_rename_parent failing_app_func
87 catchsql {SELECT substr('abcdefg',1,3)}
88 } {1 {bad function}}
91 #-----------------------------------------------------------------------
92 # Some basic tests to make sure short rows are handled.
93 #
94 do_test alter2-1.1 {
95 execsql {
96 CREATE TABLE abc(a, b);
97 INSERT INTO abc VALUES(1, 2);
98 INSERT INTO abc VALUES(3, 4);
99 INSERT INTO abc VALUES(5, 6);
100 }
101 } {}
102 do_test alter2-1.2 {
103 # ALTER TABLE abc ADD COLUMN c;
104 alter_table abc {CREATE TABLE abc(a, b, c);}
105 } {}
106 do_test alter2-1.3 {
107 execsql {
108 SELECT * FROM abc;
109 }
110 } {1 2 {} 3 4 {} 5 6 {}}
111 do_test alter2-1.4 {
112 execsql {
113 UPDATE abc SET c = 10 WHERE a = 1;
114 SELECT * FROM abc;
115 }
116 } {1 2 10 3 4 {} 5 6 {}}
117 do_test alter2-1.5 {
118 execsql {
119 CREATE INDEX abc_i ON abc(c);
120 }
121 } {}
122 do_test alter2-1.6 {
123 execsql {
124 SELECT c FROM abc ORDER BY c;
125 }
126 } {{} {} 10}
127 do_test alter2-1.7 {
128 execsql {
129 SELECT * FROM abc WHERE c = 10;
130 }
131 } {1 2 10}
132 do_test alter2-1.8 {
133 execsql {
134 SELECT sum(a), c FROM abc GROUP BY c;
135 }
136 } {8 {} 1 10}
137 do_test alter2-1.9 {
138 # ALTER TABLE abc ADD COLUMN d;
139 alter_table abc {CREATE TABLE abc(a, b, c, d);}
140 if {[permutation] == "prepare"} { db cache flush }
141 execsql { SELECT * FROM abc; }
142 execsql {
143 UPDATE abc SET d = 11 WHERE c IS NULL AND a<4;
144 SELECT * FROM abc;
145 }
146 } {1 2 10 {} 3 4 {} 11 5 6 {} {}}
147 do_test alter2-1.10 {
148 execsql {
149 SELECT typeof(d) FROM abc;
150 }
151 } {null integer null}
152 do_test alter2-1.99 {
153 execsql {
154 DROP TABLE abc;
155 }
156 } {}
158 #-----------------------------------------------------------------------
159 # Test that views work when the underlying table structure is changed.
160 #
161 ifcapable view {
162 do_test alter2-2.1 {
163 execsql {
164 CREATE TABLE abc2(a, b, c);
165 INSERT INTO abc2 VALUES(1, 2, 10);
166 INSERT INTO abc2 VALUES(3, 4, NULL);
167 INSERT INTO abc2 VALUES(5, 6, NULL);
168 CREATE VIEW abc2_v AS SELECT * FROM abc2;
169 SELECT * FROM abc2_v;
170 }
171 } {1 2 10 3 4 {} 5 6 {}}
172 do_test alter2-2.2 {
173 # ALTER TABLE abc ADD COLUMN d;
174 alter_table abc2 {CREATE TABLE abc2(a, b, c, d);}
175 execsql {
176 SELECT * FROM abc2_v;
177 }
178 } {1 2 10 {} 3 4 {} {} 5 6 {} {}}
179 do_test alter2-2.3 {
180 execsql {
181 DROP TABLE abc2;
182 DROP VIEW abc2_v;
183 }
184 } {}
185 }
187 #-----------------------------------------------------------------------
188 # Test that triggers work when a short row is copied to the old.*
189 # trigger pseudo-table.
190 #
191 ifcapable trigger {
192 do_test alter2-3.1 {
193 execsql {
194 CREATE TABLE abc3(a, b);
195 CREATE TABLE blog(o, n);
196 CREATE TRIGGER abc3_t AFTER UPDATE OF b ON abc3 BEGIN
197 INSERT INTO blog VALUES(old.b, new.b);
198 END;
199 }
200 } {}
201 do_test alter2-3.2 {
202 execsql {
203 INSERT INTO abc3 VALUES(1, 4);
204 UPDATE abc3 SET b = 2 WHERE b = 4;
205 SELECT * FROM blog;
206 }
207 } {4 2}
208 do_test alter2-3.3 {
209 execsql {
210 INSERT INTO abc3 VALUES(3, 4);
211 INSERT INTO abc3 VALUES(5, 6);
212 }
213 alter_table abc3 {CREATE TABLE abc3(a, b, c);}
214 execsql {
215 SELECT * FROM abc3;
216 }
217 } {1 2 {} 3 4 {} 5 6 {}}
218 do_test alter2-3.4 {
219 execsql {
220 UPDATE abc3 SET b = b*2 WHERE a<4;
221 SELECT * FROM abc3;
222 }
223 } {1 4 {} 3 8 {} 5 6 {}}
224 do_test alter2-3.5 {
225 execsql {
226 SELECT * FROM blog;
227 }
228 } {4 2 2 4 4 8}
230 do_test alter2-3.6 {
231 execsql {
232 CREATE TABLE clog(o, n);
233 CREATE TRIGGER abc3_t2 AFTER UPDATE OF c ON abc3 BEGIN
234 INSERT INTO clog VALUES(old.c, new.c);
235 END;
236 UPDATE abc3 SET c = a*2;
237 SELECT * FROM clog;
238 }
239 } {{} 2 {} 6 {} 10}
240 } else {
241 execsql { CREATE TABLE abc3(a, b); }
242 }
244 #---------------------------------------------------------------------
245 # Check that an error occurs if the database is upgraded to a file
246 # format that SQLite does not support (in this case 5). Note: The
247 # file format is checked each time the schema is read, so changing the
248 # file format requires incrementing the schema cookie.
249 #
250 do_test alter2-4.1 {
251 db close
252 set_file_format 5
253 catch { sqlite3 db test.db }
254 set {} {}
255 } {}
256 do_test alter2-4.2 {
257 # We have to run two queries here because the Tcl interface uses
258 # sqlite3_prepare_v2(). In this case, the first query encounters an
259 # SQLITE_SCHEMA error. Then, when trying to recompile the statement, the
260 # "unsupported file format" error is encountered. So the error code
261 # returned is SQLITE_SCHEMA, not SQLITE_ERROR as required by the following
262 # test case.
263 #
264 # When the query is attempted a second time, the same error message is
265 # returned but the error code is SQLITE_ERROR, because the unsupported
266 # file format was detected during a call to sqlite3_prepare(), not
267 # sqlite3_step().
268 #
269 catchsql { SELECT * FROM sqlite_master; }
270 catchsql { SELECT * FROM sqlite_master; }
271 } {1 {unsupported file format}}
272 do_test alter2-4.3 {
273 sqlite3_errcode db
274 } {SQLITE_ERROR}
275 do_test alter2-4.4 {
276 set ::DB [sqlite3_connection_pointer db]
277 catchsql {
278 SELECT * FROM sqlite_master;
279 }
280 } {1 {unsupported file format}}
281 do_test alter2-4.5 {
282 sqlite3_errcode db
283 } {SQLITE_ERROR}
285 #---------------------------------------------------------------------
286 # Check that executing VACUUM on a file with file-format version 2
287 # resets the file format to 1.
288 #
289 set default_file_format [expr $SQLITE_DEFAULT_FILE_FORMAT==4 ? 4 : 1]
290 ifcapable vacuum {
291 do_test alter2-5.1 {
292 set_file_format 2
293 db close
294 sqlite3 db test.db
295 execsql {SELECT 1 FROM sqlite_master LIMIT 1;}
296 get_file_format
297 } {2}
298 do_test alter2-5.2 {
299 execsql { VACUUM }
300 } {}
301 do_test alter2-5.3 {
302 get_file_format
303 } $default_file_format
304 }
306 #---------------------------------------------------------------------
307 # Test that when a database with file-format 2 is opened, new
308 # databases are still created with file-format 1.
309 #
310 do_test alter2-6.1 {
311 db close
312 set_file_format 2
313 sqlite3 db test.db
314 get_file_format
315 } {2}
316 ifcapable attach {
317 do_test alter2-6.2 {
318 forcedelete test2.db-journal
319 forcedelete test2.db
320 execsql {
321 ATTACH 'test2.db' AS aux;
322 CREATE TABLE aux.t1(a, b);
323 }
324 get_file_format test2.db
325 } $default_file_format
326 }
327 do_test alter2-6.3 {
328 execsql {
329 CREATE TABLE t1(a, b);
330 }
331 get_file_format
332 } {2}
334 #---------------------------------------------------------------------
335 # Test that types and values for columns added with default values
336 # other than NULL work with SELECT statements.
337 #
338 do_test alter2-7.1 {
339 execsql {
340 DROP TABLE t1;
341 CREATE TABLE t1(a);
342 INSERT INTO t1 VALUES(1);
343 INSERT INTO t1 VALUES(2);
344 INSERT INTO t1 VALUES(3);
345 INSERT INTO t1 VALUES(4);
346 SELECT * FROM t1;
347 }
348 } {1 2 3 4}
349 do_test alter2-7.2 {
350 set sql {CREATE TABLE t1(a, b DEFAULT '123', c INTEGER DEFAULT '123')}
351 alter_table t1 $sql 3
352 execsql {
353 SELECT * FROM t1 LIMIT 1;
354 }
355 } {1 123 123}
356 do_test alter2-7.3 {
357 execsql {
358 SELECT a, typeof(a), b, typeof(b), c, typeof(c) FROM t1 LIMIT 1;
359 }
360 } {1 integer 123 text 123 integer}
361 do_test alter2-7.4 {
362 execsql {
363 SELECT a, typeof(a), b, typeof(b), c, typeof(c) FROM t1 LIMIT 1;
364 }
365 } {1 integer 123 text 123 integer}
366 do_test alter2-7.5 {
367 set sql {CREATE TABLE t1(a, b DEFAULT -123.0, c VARCHAR(10) default 5)}
368 alter_table t1 $sql 3
369 execsql {
370 SELECT a, typeof(a), b, typeof(b), c, typeof(c) FROM t1 LIMIT 1;
371 }
372 } {1 integer -123 integer 5 text}
374 #-----------------------------------------------------------------------
375 # Test that UPDATE trigger tables work with default values, and that when
376 # a row is updated the default values are correctly transfered to the
377 # new row.
378 #
379 ifcapable trigger {
380 db function set_val {set ::val}
381 do_test alter2-8.1 {
382 execsql {
383 CREATE TRIGGER trig1 BEFORE UPDATE ON t1 BEGIN
384 SELECT set_val(
385 old.b||' '||typeof(old.b)||' '||old.c||' '||typeof(old.c)||' '||
386 new.b||' '||typeof(new.b)||' '||new.c||' '||typeof(new.c)
387 );
388 END;
389 }
390 list
391 } {}
392 }
393 do_test alter2-8.2 {
394 execsql {
395 UPDATE t1 SET c = 10 WHERE a = 1;
396 SELECT a, typeof(a), b, typeof(b), c, typeof(c) FROM t1 LIMIT 1;
397 }
398 } {1 integer -123 integer 10 text}
399 ifcapable trigger {
400 do_test alter2-8.3 {
401 set ::val
402 } {-123 integer 5 text -123 integer 10 text}
403 }
405 #-----------------------------------------------------------------------
406 # Test that DELETE trigger tables work with default values, and that when
407 # a row is updated the default values are correctly transfered to the
408 # new row.
409 #
410 ifcapable trigger {
411 do_test alter2-9.1 {
412 execsql {
413 CREATE TRIGGER trig2 BEFORE DELETE ON t1 BEGIN
414 SELECT set_val(
415 old.b||' '||typeof(old.b)||' '||old.c||' '||typeof(old.c)
416 );
417 END;
418 }
419 list
420 } {}
421 do_test alter2-9.2 {
422 execsql {
423 DELETE FROM t1 WHERE a = 2;
424 }
425 set ::val
426 } {-123 integer 5 text}
427 }
429 #-----------------------------------------------------------------------
430 # Test creating an index on a column added with a default value.
431 #
432 ifcapable bloblit {
433 do_test alter2-10.1 {
434 execsql {
435 CREATE TABLE t2(a);
436 INSERT INTO t2 VALUES('a');
437 INSERT INTO t2 VALUES('b');
438 INSERT INTO t2 VALUES('c');
439 INSERT INTO t2 VALUES('d');
440 }
441 alter_table t2 {CREATE TABLE t2(a, b DEFAULT X'ABCD', c DEFAULT NULL);} 3
442 catchsql {
443 SELECT * FROM sqlite_master;
444 }
445 execsql {
446 SELECT quote(a), quote(b), quote(c) FROM t2 LIMIT 1;
447 }
448 } {'a' X'ABCD' NULL}
449 do_test alter2-10.2 {
450 execsql {
451 CREATE INDEX i1 ON t2(b);
452 SELECT a FROM t2 WHERE b = X'ABCD';
453 }
454 } {a b c d}
455 do_test alter2-10.3 {
456 execsql {
457 DELETE FROM t2 WHERE a = 'c';
458 SELECT a FROM t2 WHERE b = X'ABCD';
459 }
460 } {a b d}
461 do_test alter2-10.4 {
462 execsql {
463 SELECT count(b) FROM t2 WHERE b = X'ABCD';
464 }
465 } {3}
466 }
468 finish_test