Annotation of embedaddon/sqlite3/test/tkt3718.test, revision 1.1.1.1
1.1 misho 1: # 2001 September 15
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 file is testing the execution of SQL statements from
13: # within callbacks generated by VMs that themselves open statement
14: # transactions.
15: #
16: # $Id: tkt3718.test,v 1.2 2009/06/05 17:09:12 drh Exp $
17:
18: set testdir [file dirname $argv0]
19: source $testdir/tester.tcl
20:
21: do_test tkt3718-1.1 {
22: execsql {
23: CREATE TABLE t1(a PRIMARY KEY, b);
24: INSERT INTO t1 VALUES(1, 'one');
25: INSERT INTO t1 VALUES(2, 'two');
26: INSERT INTO t1 VALUES(3, 'three');
27: INSERT INTO t1 VALUES(4, 'four');
28: INSERT INTO t1 VALUES(5, 'five');
29: CREATE TABLE t2(a PRIMARY KEY, b);
30: }
31: } {}
32:
33: # SQL scalar function:
34: #
35: # f1(<arg>)
36: #
37: # Uses database handle [db] to execute "SELECT f2(<arg>)". Returns either
38: # the results or error message from the "SELECT f2(<arg>)" query to the
39: # caller.
40: #
41: proc f1 {args} {
42: set a [lindex $args 0]
43: catch { db eval {SELECT f2($a)} } msg
44: set msg
45: }
46:
47: # SQL scalar function:
48: #
49: # f2(<arg>)
50: #
51: # Return the value of <arg>. Unless <arg> is "three", in which case throw
52: # an exception.
53: #
54: proc f2 {args} {
55: set a [lindex $args 0]
56: if {$a == "three"} { error "Three!!" }
57: return $a
58: }
59:
60: db func f1 f1
61: db func f2 f2
62:
63: # The second INSERT statement below uses the f1 user function such that
64: # half-way through the INSERT operation f1() will run an SQL statement
65: # that throws an exception. At one point, before #3718 was fixed, this
66: # caused the statement transaction belonging to the INSERT statement to
67: # be rolled back. The result was that some (but not all) of the rows that
68: # should have been inserted went missing.
69: #
70: do_test tkt3718-1.2 {
71: execsql {
72: BEGIN;
73: INSERT INTO t2 SELECT a, b FROM t1;
74: INSERT INTO t2 SELECT a+5, f1(b) FROM t1;
75: COMMIT;
76: }
77: execsql {
78: SELECT a FROM t2;
79: }
80: } {1 2 3 4 5 6 7 8 9 10}
81:
82: # This test turns on the count_changes pragma (causing DML statements to
83: # return SQLITE_ROW once, with a single integer result value reporting the
84: # number of rows affected by the statement). It then executes an INSERT
85: # statement that requires a statement journal. After stepping the statement
86: # once, so that it returns SQLITE_ROW, a second SQL statement that throws an
87: # exception is run. At one point, before #3718 was fixed, this caused the
88: # statement transaction belonging to the INSERT statement to be rolled back.
89: # The result was that none of the rows were actually inserted.
90: #
91: #
92: do_test tkt3718-1.3 {
93: execsql {
94: DELETE FROM t2 WHERE a > 5;
95: PRAGMA count_changes = 1;
96: BEGIN;
97: }
98: db eval {INSERT INTO t2 SELECT a+5, b||'+5' FROM t1} {
99: catch { db eval {SELECT f2('three')} } msg
100: }
101: execsql {
102: COMMIT;
103: SELECT a FROM t2;
104: }
105: } {1 2 3 4 5 6 7 8 9 10}
106:
107: do_test tkt3718-1.4 {
108: execsql {pragma count_changes=0}
109: } {}
110:
111: # This SQL function executes the SQL specified as an argument against
112: # database [db].
113: #
114: proc sql {doit zSql} {
115: if {$doit} { catchsql $zSql }
116: }
117: db func sql [list sql]
118:
119: # The following tests, tkt3718-2.*, test that a nested statement
120: # transaction can be successfully committed or reverted without
121: # affecting the parent statement transaction.
122: #
123: do_test tkt3718-2.1 {
124: execsql { SELECT sql(1, 'DELETE FROM t2 WHERE a = '||a ) FROM t2 WHERE a>5 }
125: execsql { SELECT a from t2 }
126: } {1 2 3 4 5}
127: do_test tkt3718-2.2 {
128: execsql {
129: DELETE FROM t2 WHERE a > 5;
130: BEGIN;
131: INSERT INTO t2 SELECT a+5, sql(a==3,
132: 'INSERT INTO t2 SELECT a+10, f2(b) FROM t1'
133: ) FROM t1;
134: }
135: execsql {
136: COMMIT;
137: SELECT a FROM t2;
138: }
139: } {1 2 3 4 5 6 7 8 9 10}
140: do_test tkt3718-2.3 {
141: execsql {
142: DELETE FROM t2 WHERE a > 5;
143: BEGIN;
144: INSERT INTO t2 SELECT a+5, sql(a==3,
145: 'INSERT INTO t2 SELECT a+10, b FROM t1'
146: ) FROM t1;
147: COMMIT;
148: }
149: execsql { SELECT a FROM t2 ORDER BY a+0}
150: } {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15}
151: integrity_check tkt3718.2-4
152:
153: # The next set of tests, tkt3718-3.*, test that a statement transaction
154: # that has a committed statement transaction nested inside of it can
155: # be committed or reverted.
156: #
157: foreach {tn io ii results} {
158: 1 0 10 {1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20}
159: 2 1 10 {6 7 8 9 10 16 17 18 19 20}
160: 3 0 11 {1 2 3 4 5 6 7 8 9 10 16 17 18 19 20}
161: 4 1 11 {6 7 8 9 10 16 17 18 19 20}
162: } {
163: do_test tkt3718-3.$tn {
164: execsql {
165: DELETE FROM t2;
166: INSERT INTO t2 SELECT a+5, b FROM t1;
167: INSERT INTO t2 SELECT a+15, b FROM t1;
168: }
169:
170: catchsql "
171: BEGIN;
172: INSERT INTO t2 SELECT a+$io, sql(a==3,
173: 'INSERT INTO t2 SELECT a+$ii, b FROM t1'
174: ) FROM t1;
175: "
176:
177: execsql { COMMIT }
178:
179: execsql { SELECT a FROM t2 ORDER BY a+0}
180: } $results
181:
182: integrity_check tkt3718-3.$tn.integrity
183: }
184:
185: # This is the same test as tkt3718-3.*, but with 3 levels of nesting.
186: #
187: foreach {tn i1 i2 i3 results} {
188: 1 0 10 20 {5 10 15 20 25 30}
189: 2 0 10 21 {5 10 15 20 30}
190: 3 0 11 20 {5 10 20 30}
191: 4 0 11 21 {5 10 20 30}
192: 5 1 10 20 {10 20 30}
193: 6 1 10 21 {10 20 30}
194: 7 1 11 20 {10 20 30}
195: 8 1 11 21 {10 20 30}
196: } {
197: do_test tkt3718-4.$tn {
198: execsql {
199: DELETE FROM t2;
200: INSERT INTO t2 SELECT a+5, b FROM t1;
201: INSERT INTO t2 SELECT a+15, b FROM t1;
202: INSERT INTO t2 SELECT a+25, b FROM t1;
203: }
204:
205: catchsql "
206: BEGIN;
207: INSERT INTO t2 SELECT a+$i1, sql(a==3,
208: 'INSERT INTO t2 SELECT a+$i2, sql(a==3,
209: ''INSERT INTO t2 SELECT a+$i3, b FROM t1''
210: ) FROM t1'
211: ) FROM t1;
212: "
213:
214: execsql { COMMIT }
215:
216: execsql { SELECT a FROM t2 WHERE (a%5)==0 ORDER BY a+0}
217: } $results
218:
219: do_test tkt3718-4.$tn.extra {
220: execsql {
221: SELECT
222: (SELECT sum(a) FROM t2)==(SELECT sum(a*5-10) FROM t2 WHERE (a%5)==0)
223: }
224: } {1}
225:
226: integrity_check tkt3718-4.$tn.integrity
227: }
228:
229:
230: finish_test
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>