mirror of
https://github.com/tursodatabase/libsql.git
synced 2024-11-23 12:06:16 +00:00
290 lines
8.3 KiB
Plaintext
290 lines
8.3 KiB
Plaintext
# 2008 June 18
|
|
#
|
|
# The author disclaims copyright to this source code. In place of
|
|
# a legal notice, here is a blessing:
|
|
#
|
|
# May you do good and not evil.
|
|
# May you find forgiveness for yourself and forgive others.
|
|
# May you share freely, never taking more than you give.
|
|
#
|
|
#***********************************************************************
|
|
# This file implements regression tests for SQLite library.
|
|
#
|
|
# This file is devoted to testing the sqlite3_next_stmt and
|
|
# sqlite3_stmt_readonly and sqlite3_stmt_busy interfaces.
|
|
#
|
|
# $Id: capi3d.test,v 1.2 2008/07/14 15:11:20 drh Exp $
|
|
#
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
|
|
# Create N prepared statements against database connection db
|
|
# and return a list of all the generated prepared statements.
|
|
#
|
|
proc make_prepared_statements {N} {
|
|
set plist {}
|
|
for {set i 0} {$i<$N} {incr i} {
|
|
set sql "SELECT $i FROM sqlite_master WHERE name LIKE '%$i%'"
|
|
if {rand()<0.33} {
|
|
set s [sqlite3_prepare_v2 db $sql -1 notused]
|
|
} else {
|
|
ifcapable utf16 {
|
|
if {rand()<0.5} {
|
|
set sql [encoding convertto unicode $sql]\x00\x00
|
|
set s [sqlite3_prepare16 db $sql -1 notused]
|
|
} else {
|
|
set s [sqlite3_prepare db $sql -1 notused]
|
|
}
|
|
}
|
|
ifcapable !utf16 {
|
|
set s [sqlite3_prepare db $sql -1 notused]
|
|
}
|
|
}
|
|
lappend plist $s
|
|
}
|
|
return $plist
|
|
}
|
|
|
|
|
|
# Scramble the $inlist into a random order.
|
|
#
|
|
proc scramble {inlist} {
|
|
set y {}
|
|
foreach x $inlist {
|
|
lappend y [list [expr {rand()}] $x]
|
|
}
|
|
set y [lsort $y]
|
|
set outlist {}
|
|
foreach x $y {
|
|
lappend outlist [lindex $x 1]
|
|
}
|
|
return $outlist
|
|
}
|
|
|
|
# Database initially has no prepared statements.
|
|
#
|
|
do_test capi3d-1.1 {
|
|
db cache flush
|
|
sqlite3_next_stmt db 0
|
|
} {}
|
|
|
|
# Run the following tests for between 1 and 100 prepared statements.
|
|
#
|
|
for {set i 1} {$i<=100} {incr i} {
|
|
set stmtlist [make_prepared_statements $i]
|
|
do_test capi3d-1.2.$i.1 {
|
|
set p [sqlite3_next_stmt db 0]
|
|
set x {}
|
|
while {$p!=""} {
|
|
lappend x $p
|
|
set p [sqlite3_next_stmt db $p]
|
|
}
|
|
lsort $x
|
|
} [lsort $stmtlist]
|
|
do_test capi3-1.2.$i.2 {
|
|
foreach p [scramble $::stmtlist] {
|
|
sqlite3_finalize $p
|
|
}
|
|
sqlite3_next_stmt db 0
|
|
} {}
|
|
}
|
|
|
|
# Tests for the is-read-only interface.
|
|
#
|
|
proc test_is_readonly {testname sql truth} {
|
|
do_test $testname [format {
|
|
set DB [sqlite3_connection_pointer db]
|
|
set STMT [sqlite3_prepare $DB {%s} -1 TAIL]
|
|
set rc [sqlite3_stmt_readonly $STMT]
|
|
sqlite3_finalize $STMT
|
|
set rc
|
|
} $sql] $truth
|
|
|
|
# EVIDENCE-OF: R-61212-30018 If prepared statement X is an EXPLAIN or
|
|
# EXPLAIN QUERY PLAN statement, then sqlite3_stmt_readonly(X) returns
|
|
# the same value as if the EXPLAIN or EXPLAIN QUERY PLAN prefix were
|
|
# omitted.
|
|
#
|
|
do_test $testname.explain [format {
|
|
set DB [sqlite3_connection_pointer db]
|
|
set STMT [sqlite3_prepare $DB {EXPLAIN %s} -1 TAIL]
|
|
set rc [sqlite3_stmt_readonly $STMT]
|
|
sqlite3_finalize $STMT
|
|
set rc
|
|
} $sql] $truth
|
|
do_test $testname.eqp [format {
|
|
set DB [sqlite3_connection_pointer db]
|
|
set STMT [sqlite3_prepare $DB {EXPLAIN QUERY PLAN %s} -1 TAIL]
|
|
set rc [sqlite3_stmt_readonly $STMT]
|
|
sqlite3_finalize $STMT
|
|
set rc
|
|
} $sql] $truth
|
|
}
|
|
|
|
# EVIDENCE-OF: R-23332-64992 The sqlite3_stmt_readonly(X) interface
|
|
# returns true (non-zero) if and only if the prepared statement X makes
|
|
# no direct changes to the content of the database file.
|
|
#
|
|
test_is_readonly capi3d-2.1 {SELECT * FROM sqlite_master} 1
|
|
test_is_readonly capi3d-2.2 {CREATE TABLE t1(x)} 0
|
|
db eval {CREATE TABLE t1(x)}
|
|
test_is_readonly capi3d-2.3 {INSERT INTO t1 VALUES(5)} 0
|
|
test_is_readonly capi3d-2.4 {UPDATE t1 SET x=x+1 WHERE x<0} 0
|
|
test_is_readonly capi3d-2.5 {SELECT * FROM t1} 1
|
|
ifcapable wal {
|
|
test_is_readonly capi3d-2.6 {PRAGMA journal_mode=WAL} 0
|
|
test_is_readonly capi3d-2.7 {PRAGMA wal_checkpoint} 0
|
|
}
|
|
test_is_readonly capi3d-2.8 {PRAGMA application_id=1234} 0
|
|
test_is_readonly capi3d-2.9 {VACUUM} 0
|
|
test_is_readonly capi3d-2.10 {PRAGMA integrity_check} 1
|
|
do_test capi3-2.49 {
|
|
sqlite3_stmt_readonly 0
|
|
} 1
|
|
|
|
|
|
# EVIDENCE-OF: R-04929-09147 This routine returns false if there is any
|
|
# possibility that the statement might change the database file.
|
|
#
|
|
# EVIDENCE-OF: R-13288-53765 A false return does not guarantee that the
|
|
# statement will change the database file.
|
|
#
|
|
# EVIDENCE-OF: R-22182-18548 For example, an UPDATE statement might have
|
|
# a WHERE clause that makes it a no-op, but the sqlite3_stmt_readonly()
|
|
# result would still be false.
|
|
#
|
|
# EVIDENCE-OF: R-50998-48593 Similarly, a CREATE TABLE IF NOT EXISTS
|
|
# statement is a read-only no-op if the table already exists, but
|
|
# sqlite3_stmt_readonly() still returns false for such a statement.
|
|
#
|
|
db eval {
|
|
CREATE TABLE t2(a,b,c);
|
|
INSERT INTO t2 VALUES(1,2,3);
|
|
}
|
|
test_is_readonly capi3d-2.11 {UPDATE t2 SET a=a+1 WHERE false} 0
|
|
test_is_readonly capi3d-2.12 {CREATE TABLE IF NOT EXISTS t2(x,y)} 0
|
|
|
|
|
|
# EVIDENCE-OF: R-37014-01401 The ATTACH and DETACH statements also cause
|
|
# sqlite3_stmt_readonly() to return true since, while those statements
|
|
# change the configuration of a database connection, they do not make
|
|
# changes to the content of the database files on disk.
|
|
#
|
|
test_is_readonly capi3d-2.13 {ATTACH ':memory:' AS mem1} 1
|
|
db eval {ATTACH ':memory:' AS mem1}
|
|
test_is_readonly capi3d-2.14 {DETACH mem1} 1
|
|
db eval {DETACH mem1}
|
|
|
|
# EVIDENCE-OF: R-07474-04783 Transaction control statements such as
|
|
# BEGIN, COMMIT, ROLLBACK, SAVEPOINT, and RELEASE cause
|
|
# sqlite3_stmt_readonly() to return true, since the statements
|
|
# themselves do not actually modify the database but rather they control
|
|
# the timing of when other statements modify the database.
|
|
#
|
|
test_is_readonly capi3d-2.15 {BEGIN} 1
|
|
test_is_readonly capi3d-2.16 {COMMIT} 1
|
|
test_is_readonly capi3d-2.17 {SAVEPOINT one} 1
|
|
test_is_readonly capi3d-2.18 {RELEASE one} 1
|
|
|
|
# EVIDENCE-OF: R-36961-63052 The sqlite3_stmt_readonly() interface
|
|
# returns true for BEGIN since BEGIN merely sets internal flags, but the
|
|
# BEGIN IMMEDIATE and BEGIN EXCLUSIVE commands do touch the database and
|
|
# so sqlite3_stmt_readonly() returns false for those commands.
|
|
#
|
|
test_is_readonly capi3d-2.19 {BEGIN IMMEDIATE} 0
|
|
test_is_readonly capi3d-2.20 {BEGIN EXCLUSIVE} 0
|
|
|
|
# EVIDENCE-OF: R-21769-42523 For example, if an application defines a
|
|
# function "eval()" that calls sqlite3_exec(), then the following SQL
|
|
# statement would change the database file through side-effects: SELECT
|
|
# eval('DELETE FROM t1') FROM t2; But because the SELECT statement does
|
|
# not change the database file directly, sqlite3_stmt_readonly() would
|
|
# still return true.
|
|
#
|
|
proc evalsql {sql} {db eval $sql}
|
|
db func eval evalsql
|
|
test_is_readonly capi3d-2.21 {SELECT eval('DELETE FROM t1') FROM t2} 1
|
|
|
|
# Tests for the is-explain interface.
|
|
#
|
|
proc test_is_explain {testname sql truth} {
|
|
do_test $testname [format {
|
|
set DB [sqlite3_connection_pointer db]
|
|
set STMT [sqlite3_prepare $DB {%s} -1 TAIL]
|
|
set rc [sqlite3_stmt_isexplain $STMT]
|
|
sqlite3_finalize $STMT
|
|
set rc
|
|
} $sql] $truth
|
|
}
|
|
|
|
test_is_explain capi3d-2.51 {SELECT * FROM sqlite_master} 0
|
|
test_is_explain capi3d-2.52 { explain SELECT * FROM sqlite_master} 1
|
|
test_is_explain capi3d-2.53 { Explain Query Plan select * FROM sqlite_master} 2
|
|
do_test capi3-2.99 {
|
|
sqlite3_stmt_isexplain 0
|
|
} 0
|
|
|
|
# Tests for sqlite3_stmt_busy
|
|
#
|
|
do_test capi3d-3.1 {
|
|
db eval {INSERT INTO t1 VALUES(6); INSERT INTO t1 VALUES(7);}
|
|
set STMT [sqlite3_prepare db {SELECT * FROM t1} -1 TAIL]
|
|
sqlite3_stmt_busy $STMT
|
|
} {0}
|
|
do_test capi3d-3.2 {
|
|
sqlite3_step $STMT
|
|
sqlite3_stmt_busy $STMT
|
|
} {1}
|
|
do_test capi3d-3.3 {
|
|
sqlite3_step $STMT
|
|
sqlite3_stmt_busy $STMT
|
|
} {1}
|
|
do_test capi3d-3.4 {
|
|
sqlite3_reset $STMT
|
|
sqlite3_stmt_busy $STMT
|
|
} {0}
|
|
|
|
do_test capi3d-3.99 {
|
|
sqlite3_finalize $STMT
|
|
sqlite3_stmt_busy 0
|
|
} {0}
|
|
|
|
#--------------------------------------------------------------------------
|
|
# Test the sqlite3_stmt_busy() function with ROLLBACK statements.
|
|
#
|
|
reset_db
|
|
|
|
do_execsql_test capi3d-4.1 {
|
|
CREATE TABLE t4(x,y);
|
|
BEGIN;
|
|
}
|
|
|
|
do_test capi3d-4.2.1 {
|
|
set ::s1 [sqlite3_prepare_v2 db "ROLLBACK" -1 notused]
|
|
sqlite3_step $::s1
|
|
} {SQLITE_DONE}
|
|
|
|
do_test capi3d-4.2.2 {
|
|
sqlite3_stmt_busy $::s1
|
|
} {0}
|
|
|
|
do_catchsql_test capi3d-4.2.3 {
|
|
VACUUM
|
|
} {0 {}}
|
|
|
|
do_test capi3d-4.2.4 {
|
|
sqlite3_reset $::s1
|
|
} {SQLITE_OK}
|
|
|
|
do_catchsql_test capi3d-4.2.5 {
|
|
VACUUM
|
|
} {0 {}}
|
|
|
|
do_test capi3d-4.2.6 {
|
|
sqlite3_finalize $::s1
|
|
} {SQLITE_OK}
|
|
|
|
|
|
finish_test
|