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 |