326 lines
8.6 KiB
Plaintext
326 lines
8.6 KiB
Plaintext
# 2001 September 15
|
|
#
|
|
# 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. Specfically
|
|
# it tests that the different storage classes (integer, real, text etc.)
|
|
# all work correctly.
|
|
#
|
|
# $Id: types.test,v 1.20 2009/06/29 06:00:37 danielk1977 Exp $
|
|
|
|
set testdir [file dirname $argv0]
|
|
source $testdir/tester.tcl
|
|
|
|
# Tests in this file are organized roughly as follows:
|
|
#
|
|
# types-1.*.*: Test that values are stored using the expected storage
|
|
# classes when various forms of literals are inserted into
|
|
# columns with different affinities.
|
|
# types-1.1.*: INSERT INTO <table> VALUES(...)
|
|
# types-1.2.*: INSERT INTO <table> SELECT...
|
|
# types-1.3.*: UPDATE <table> SET...
|
|
#
|
|
# types-2.*.*: Check that values can be stored and retrieving using the
|
|
# various storage classes.
|
|
# types-2.1.*: INTEGER
|
|
# types-2.2.*: REAL
|
|
# types-2.3.*: NULL
|
|
# types-2.4.*: TEXT
|
|
# types-2.5.*: Records with a few different storage classes.
|
|
#
|
|
# types-3.*: Test that the '=' operator respects manifest types.
|
|
#
|
|
|
|
# Disable encryption on the database for this test.
|
|
db close
|
|
set DB [sqlite3 db test.db; sqlite3_connection_pointer db]
|
|
sqlite3_rekey $DB {}
|
|
|
|
# Create a table with one column for each type of affinity
|
|
do_test types-1.1.0 {
|
|
execsql {
|
|
CREATE TABLE t1(i integer, n numeric, t text, o blob);
|
|
}
|
|
} {}
|
|
|
|
# Each element of the following list represents one test case.
|
|
#
|
|
# The first value of each sub-list is an SQL literal. The following
|
|
# four value are the storage classes that would be used if the
|
|
# literal were inserted into a column with affinity INTEGER, NUMERIC, TEXT
|
|
# or NONE, respectively.
|
|
set values {
|
|
{ 5.0 integer integer text real }
|
|
{ 5.1 real real text real }
|
|
{ 5 integer integer text integer }
|
|
{ '5.0' integer integer text text }
|
|
{ '5.1' real real text text }
|
|
{ '-5.0' integer integer text text }
|
|
{ '-5.0' integer integer text text }
|
|
{ '5' integer integer text text }
|
|
{ 'abc' text text text text }
|
|
{ NULL null null null null }
|
|
}
|
|
ifcapable {bloblit} {
|
|
lappend values { X'00' blob blob blob blob }
|
|
}
|
|
|
|
# This code tests that the storage classes specified above (in the $values
|
|
# table) are correctly assigned when values are inserted using a statement
|
|
# of the form:
|
|
#
|
|
# INSERT INTO <table> VALUE(<values>);
|
|
#
|
|
set tnum 1
|
|
foreach val $values {
|
|
set lit [lindex $val 0]
|
|
execsql "DELETE FROM t1;"
|
|
execsql "INSERT INTO t1 VALUES($lit, $lit, $lit, $lit);"
|
|
do_test types-1.1.$tnum {
|
|
execsql {
|
|
SELECT typeof(i), typeof(n), typeof(t), typeof(o) FROM t1;
|
|
}
|
|
} [lrange $val 1 end]
|
|
incr tnum
|
|
}
|
|
|
|
# This code tests that the storage classes specified above (in the $values
|
|
# table) are correctly assigned when values are inserted using a statement
|
|
# of the form:
|
|
#
|
|
# INSERT INTO t1 SELECT ....
|
|
#
|
|
set tnum 1
|
|
foreach val $values {
|
|
set lit [lindex $val 0]
|
|
execsql "DELETE FROM t1;"
|
|
execsql "INSERT INTO t1 SELECT $lit, $lit, $lit, $lit;"
|
|
do_test types-1.2.$tnum {
|
|
execsql {
|
|
SELECT typeof(i), typeof(n), typeof(t), typeof(o) FROM t1;
|
|
}
|
|
} [lrange $val 1 end]
|
|
incr tnum
|
|
}
|
|
|
|
# This code tests that the storage classes specified above (in the $values
|
|
# table) are correctly assigned when values are inserted using a statement
|
|
# of the form:
|
|
#
|
|
# UPDATE <table> SET <column> = <value>;
|
|
#
|
|
set tnum 1
|
|
foreach val $values {
|
|
set lit [lindex $val 0]
|
|
execsql "UPDATE t1 SET i = $lit, n = $lit, t = $lit, o = $lit;"
|
|
do_test types-1.3.$tnum {
|
|
execsql {
|
|
SELECT typeof(i), typeof(n), typeof(t), typeof(o) FROM t1;
|
|
}
|
|
} [lrange $val 1 end]
|
|
incr tnum
|
|
}
|
|
|
|
execsql {
|
|
DROP TABLE t1;
|
|
}
|
|
|
|
# Open the table with root-page $rootpage at the btree
|
|
# level. Return a list that is the length of each record
|
|
# in the table, in the tables default scanning order.
|
|
proc record_sizes {rootpage} {
|
|
set bt [btree_open test.db 10]
|
|
btree_begin_transaction $bt
|
|
set c [btree_cursor $bt $rootpage 0]
|
|
btree_first $c
|
|
while 1 {
|
|
lappend res [btree_payload_size $c]
|
|
if {[btree_next $c]} break
|
|
}
|
|
btree_close_cursor $c
|
|
btree_close $bt
|
|
set res
|
|
}
|
|
|
|
|
|
# Create a table and insert some 1-byte integers. Make sure they
|
|
# can be read back OK. These should be 3 byte records.
|
|
do_test types-2.1.1 {
|
|
execsql {
|
|
CREATE TABLE t1(a integer);
|
|
INSERT INTO t1 VALUES(0);
|
|
INSERT INTO t1 VALUES(120);
|
|
INSERT INTO t1 VALUES(-120);
|
|
}
|
|
} {}
|
|
do_test types-2.1.2 {
|
|
execsql {
|
|
SELECT a FROM t1;
|
|
}
|
|
} {0 120 -120}
|
|
|
|
# Try some 2-byte integers (4 byte records)
|
|
do_test types-2.1.3 {
|
|
execsql {
|
|
INSERT INTO t1 VALUES(30000);
|
|
INSERT INTO t1 VALUES(-30000);
|
|
}
|
|
} {}
|
|
do_test types-2.1.4 {
|
|
execsql {
|
|
SELECT a FROM t1;
|
|
}
|
|
} {0 120 -120 30000 -30000}
|
|
|
|
# 4-byte integers (6 byte records)
|
|
do_test types-2.1.5 {
|
|
execsql {
|
|
INSERT INTO t1 VALUES(2100000000);
|
|
INSERT INTO t1 VALUES(-2100000000);
|
|
}
|
|
} {}
|
|
do_test types-2.1.6 {
|
|
execsql {
|
|
SELECT a FROM t1;
|
|
}
|
|
} {0 120 -120 30000 -30000 2100000000 -2100000000}
|
|
|
|
# 8-byte integers (10 byte records)
|
|
do_test types-2.1.7 {
|
|
execsql {
|
|
INSERT INTO t1 VALUES(9000000*1000000*1000000);
|
|
INSERT INTO t1 VALUES(-9000000*1000000*1000000);
|
|
}
|
|
} {}
|
|
do_test types-2.1.8 {
|
|
execsql {
|
|
SELECT a FROM t1;
|
|
}
|
|
} [list 0 120 -120 30000 -30000 2100000000 -2100000000 \
|
|
9000000000000000000 -9000000000000000000]
|
|
|
|
# Check that all the record sizes are as we expected.
|
|
ifcapable legacyformat {
|
|
do_test types-2.1.9 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't1'}]
|
|
record_sizes $root
|
|
} {3 3 3 4 4 6 6 10 10}
|
|
} else {
|
|
do_test types-2.1.9 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't1'}]
|
|
record_sizes $root
|
|
} {2 3 3 4 4 6 6 10 10}
|
|
}
|
|
|
|
# Insert some reals. These should be 10 byte records.
|
|
do_test types-2.2.1 {
|
|
execsql {
|
|
CREATE TABLE t2(a float);
|
|
INSERT INTO t2 VALUES(0.0);
|
|
INSERT INTO t2 VALUES(12345.678);
|
|
INSERT INTO t2 VALUES(-12345.678);
|
|
}
|
|
} {}
|
|
do_test types-2.2.2 {
|
|
execsql {
|
|
SELECT a FROM t2;
|
|
}
|
|
} {0.0 12345.678 -12345.678}
|
|
|
|
# Check that all the record sizes are as we expected.
|
|
ifcapable legacyformat {
|
|
do_test types-2.2.3 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't2'}]
|
|
record_sizes $root
|
|
} {3 10 10}
|
|
} else {
|
|
do_test types-2.2.3 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't2'}]
|
|
record_sizes $root
|
|
} {2 10 10}
|
|
}
|
|
|
|
# Insert a NULL. This should be a two byte record.
|
|
do_test types-2.3.1 {
|
|
execsql {
|
|
CREATE TABLE t3(a nullvalue);
|
|
INSERT INTO t3 VALUES(NULL);
|
|
}
|
|
} {}
|
|
do_test types-2.3.2 {
|
|
execsql {
|
|
SELECT a ISNULL FROM t3;
|
|
}
|
|
} {1}
|
|
|
|
# Check that all the record sizes are as we expected.
|
|
do_test types-2.3.3 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't3'}]
|
|
record_sizes $root
|
|
} {2}
|
|
|
|
# Insert a couple of strings.
|
|
do_test types-2.4.1 {
|
|
set string10 abcdefghij
|
|
set string500 [string repeat $string10 50]
|
|
set string500000 [string repeat $string10 50000]
|
|
|
|
execsql "
|
|
CREATE TABLE t4(a string);
|
|
INSERT INTO t4 VALUES('$string10');
|
|
INSERT INTO t4 VALUES('$string500');
|
|
INSERT INTO t4 VALUES('$string500000');
|
|
"
|
|
} {}
|
|
do_test types-2.4.2 {
|
|
execsql {
|
|
SELECT a FROM t4;
|
|
}
|
|
} [list $string10 $string500 $string500000]
|
|
|
|
# Check that all the record sizes are as we expected. This is dependant on
|
|
# the database encoding.
|
|
if { $sqlite_options(utf16)==0 || [execsql {pragma encoding}] == "UTF-8" } {
|
|
do_test types-2.4.3 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't4'}]
|
|
record_sizes $root
|
|
} {12 503 500004}
|
|
} else {
|
|
do_test types-2.4.3 {
|
|
set root [db eval {select rootpage from sqlite_master where name = 't4'}]
|
|
record_sizes $root
|
|
} {22 1003 1000004}
|
|
}
|
|
|
|
do_test types-2.5.1 {
|
|
execsql {
|
|
DROP TABLE t1;
|
|
DROP TABLE t2;
|
|
DROP TABLE t3;
|
|
DROP TABLE t4;
|
|
CREATE TABLE t1(a, b, c);
|
|
}
|
|
} {}
|
|
do_test types-2.5.2 {
|
|
set string10 abcdefghij
|
|
set string500 [string repeat $string10 50]
|
|
set string500000 [string repeat $string10 50000]
|
|
|
|
execsql "INSERT INTO t1 VALUES(NULL, '$string10', 4000);"
|
|
execsql "INSERT INTO t1 VALUES('$string500', 4000, NULL);"
|
|
execsql "INSERT INTO t1 VALUES(4000, NULL, '$string500000');"
|
|
} {}
|
|
do_test types-2.5.3 {
|
|
execsql {
|
|
SELECT * FROM t1;
|
|
}
|
|
} [list {} $string10 4000 $string500 4000 {} 4000 {} $string500000]
|
|
|
|
finish_test
|