OLD | NEW |
| (Empty) |
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 | |
OLD | NEW |