| Index: third_party/sqlite/src/test/recover1.test
|
| diff --git a/third_party/sqlite/src/test/recover1.test b/third_party/sqlite/src/test/recover1.test
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..1d90f096b727b469c4b42ae42f38557a6e500e18
|
| --- /dev/null
|
| +++ b/third_party/sqlite/src/test/recover1.test
|
| @@ -0,0 +1,429 @@
|
| +# 2012 January 4 {}
|
| +#
|
| +# 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.
|
| +#
|
| +# Use tables to test leaf-node reading, and also type checking.
|
| +#
|
| +# $Id$
|
| +
|
| +set testdir [file dirname $argv0]
|
| +source $testdir/tester.tcl
|
| +
|
| +# A really basic table with manifest typing and a row of each type.
|
| +db close
|
| +sqlite3 db test.db
|
| +db eval {
|
| + DROP TABLE IF EXISTS types;
|
| + CREATE TABLE types (rowtype TEXT, value);
|
| + INSERT INTO types VALUES ("NULL", NULL);
|
| + INSERT INTO types VALUES ("INTEGER", 17);
|
| + INSERT INTO types VALUES ("FLOAT", 3.1415927);
|
| + INSERT INTO types VALUES ("TEXT", "This is text");
|
| + INSERT INTO types VALUES ("BLOB", CAST("This is a blob" AS BLOB));
|
| +
|
| + -- Same contents, with an alias for rowid. Testing separately
|
| + -- because it changes the structure of the data (the alias column is
|
| + -- serialized as NULL).
|
| + DROP TABLE IF EXISTS types2;
|
| + CREATE TABLE types2 (id INTEGER PRIMARY KEY, rowtype TEXT, value);
|
| + INSERT INTO types2 (id, rowtype, value)
|
| + SELECT rowid, rowtype, value FROM types;
|
| +}
|
| +
|
| +# Baseline results.
|
| +do_test recover-types-0.0 {
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types}
|
| +} {1 NULL {} null 2 INTEGER 17 integer 3 FLOAT 3.1415927 real 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# With no restrictions, recover table shows identical results.
|
| +do_test recover-types-0.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 2 INTEGER 17 integer 3 FLOAT 3.1415927 real 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Restrict by INTEGER
|
| +do_test recover-types-1.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value INTEGER
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 2 INTEGER 17 integer}
|
| +
|
| +# Restrict by INTEGER NOT NULL
|
| +do_test recover-types-1.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value INTEGER NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {2 INTEGER 17 integer}
|
| +
|
| +# Restrict by FLOAT
|
| +do_test recover-types-2.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value FLOAT
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 2 INTEGER 17.0 real 3 FLOAT 3.1415927 real}
|
| +
|
| +# Restrict by FLOAT NOT NULL
|
| +do_test recover-types-2.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value FLOAT NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {2 INTEGER 17.0 real 3 FLOAT 3.1415927 real}
|
| +
|
| +# Restrict by FLOAT STRICT
|
| +do_test recover-types-2.2 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value FLOAT STRICT
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 3 FLOAT 3.1415927 real}
|
| +
|
| +# Restrict by FLOAT STRICT NOT NULL
|
| +do_test recover-types-2.3 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value FLOAT STRICT NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {3 FLOAT 3.1415927 real}
|
| +
|
| +# Restrict by TEXT
|
| +do_test recover-types-3.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value TEXT
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Restrict by TEXT NOT NULL
|
| +do_test recover-types-3.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value TEXT NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Restrict by TEXT STRICT
|
| +do_test recover-types-3.2 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value TEXT STRICT
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 4 TEXT {This is text} text}
|
| +
|
| +# Restrict by TEXT STRICT NOT NULL
|
| +do_test recover-types-3.3 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value TEXT STRICT NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {4 TEXT {This is text} text}
|
| +
|
| +# Restrict by BLOB
|
| +do_test recover-types-4.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value BLOB
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 5 BLOB {This is a blob} blob}
|
| +
|
| +# Restrict by BLOB NOT NULL
|
| +do_test recover-types-4.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value BLOB NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {5 BLOB {This is a blob} blob}
|
| +
|
| +# Manifest typing.
|
| +do_test recover-types-5.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 2 INTEGER 17 integer 3 FLOAT 3.1415927 real 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Should get same results specifying manifest typing explicitly.
|
| +do_test recover-types-5.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value ANY
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {1 NULL {} null 2 INTEGER 17 integer 3 FLOAT 3.1415927 real 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Same results, skipping the NULL row.
|
| +do_test recover-types-5.2 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types_recover;
|
| + CREATE VIRTUAL TABLE temp.types_recover USING recover(
|
| + types,
|
| + rowtype TEXT,
|
| + value ANY NOT NULL
|
| + );
|
| + }
|
| + execsql {SELECT rowid, rowtype, value, TYPEOF(value) FROM types_recover}
|
| +} {2 INTEGER 17 integer 3 FLOAT 3.1415927 real 4 TEXT {This is text} text 5 BLOB {This is a blob} blob}
|
| +
|
| +# Test ROWID values.
|
| +do_test recover-types-6.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types2_recover;
|
| + CREATE VIRTUAL TABLE temp.types2_recover USING recover(
|
| + types2,
|
| + id ROWID,
|
| + rowtype TEXT,
|
| + value
|
| + );
|
| + }
|
| + execsql {SELECT rowid, id, rowtype, value, TYPEOF(value) FROM types2_recover}
|
| +} {1 1 NULL {} null 2 2 INTEGER 17 integer 3 3 FLOAT 3.1415927 real 4 4 TEXT {This is text} text 5 5 BLOB {This is a blob} blob}
|
| +
|
| +# ROWID NOT NULL is identical.
|
| +do_test recover-types-6.1 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS temp.types2_recover;
|
| + CREATE VIRTUAL TABLE temp.types2_recover USING recover(
|
| + types2,
|
| + id ROWID NOT NULL,
|
| + rowtype TEXT,
|
| + value
|
| + );
|
| + }
|
| + execsql {SELECT rowid, id, rowtype, value, TYPEOF(value) FROM types2_recover}
|
| +} {1 1 NULL {} null 2 2 INTEGER 17 integer 3 3 FLOAT 3.1415927 real 4 4 TEXT {This is text} text 5 5 BLOB {This is a blob} blob}
|
| +
|
| +# Check that each of the possible integer sizes is being decoded.
|
| +# TODO(shess): It would be neat to ACTUALLY test these things. As-is,
|
| +# this should exercise the code paths, but one needs logging or a
|
| +# debugger to verify that things are stored as expected.
|
| +do_test recover-types-7.0 {
|
| + db eval {
|
| + DROP TABLE IF EXISTS integers;
|
| + CREATE TABLE integers (value);
|
| +
|
| + -- encoded directly in type info.
|
| + INSERT INTO integers VALUES (0);
|
| + INSERT INTO integers VALUES (1);
|
| +
|
| + -- 8-bit signed.
|
| + INSERT INTO integers VALUES (2);
|
| + INSERT INTO integers VALUES (-2);
|
| + INSERT INTO integers VALUES (127);
|
| + INSERT INTO integers VALUES (-128);
|
| +
|
| + -- 16-bit signed.
|
| + INSERT INTO integers VALUES (12345);
|
| + INSERT INTO integers VALUES (-12345);
|
| + INSERT INTO integers VALUES (32767);
|
| + INSERT INTO integers VALUES (-32768);
|
| +
|
| + -- 24-bit signed.
|
| + INSERT INTO integers VALUES (1234567);
|
| + INSERT INTO integers VALUES (-1234567);
|
| + INSERT INTO integers VALUES (8388607);
|
| + INSERT INTO integers VALUES (-8388608);
|
| +
|
| + -- 32-bit signed.
|
| + INSERT INTO integers VALUES (1234567890);
|
| + INSERT INTO integers VALUES (-1234567890);
|
| + INSERT INTO integers VALUES (2147483647);
|
| + INSERT INTO integers VALUES (-2147483648);
|
| +
|
| + -- 48-bit signed.
|
| + INSERT INTO integers VALUES (123456789012345);
|
| + INSERT INTO integers VALUES (-123456789012345);
|
| + INSERT INTO integers VALUES (140737488355327);
|
| + INSERT INTO integers VALUES (-140737488355328);
|
| +
|
| + -- 64-bit signed.
|
| + INSERT INTO integers VALUES (9223372036854775807);
|
| + INSERT INTO integers VALUES (-9223372036854775808);
|
| +
|
| + DROP TABLE IF EXISTS integers_recover;
|
| + CREATE VIRTUAL TABLE temp.integers_recover USING recover(
|
| + integers,
|
| + value INTEGER
|
| + );
|
| + }
|
| + execsql {SELECT rowid, value FROM integers_recover}
|
| +} {1 0 2 1 3 2 4 -2 5 127 6 -128 7 12345 8 -12345 9 32767 10 -32768 11 1234567 12 -1234567 13 8388607 14 -8388608 15 1234567890 16 -1234567890 17 2147483647 18 -2147483648 19 123456789012345 20 -123456789012345 21 140737488355327 22 -140737488355328 23 9223372036854775807 24 -9223372036854775808}
|
| +
|
| +# If UTF16 support is disabled, ignore the rest of the tests.
|
| +#
|
| +ifcapable {!utf16} {
|
| + finish_test
|
| + return
|
| +}
|
| +
|
| +# Baseline UTF-8.
|
| +file delete -force test.db
|
| +sqlite3 db test.db;
|
| +db eval {
|
| + PRAGMA encoding = 'UTF-8';
|
| +}
|
| +
|
| +do_test recover-encoding-1.0 {
|
| + execsql {
|
| + DROP TABLE IF EXISTS e;
|
| + CREATE TABLE e (v TEXT);
|
| + INSERT INTO e VALUES('Mjollnir');
|
| + INSERT INTO e VALUES('Mjölnir');
|
| + INSERT INTO e VALUES('Mjǫlnir');
|
| + INSERT INTO e VALUES('Mjölner');
|
| + INSERT INTO e VALUES('Mjølner');
|
| + INSERT INTO e VALUES('ハンマー');
|
| + PRAGMA encoding;
|
| +
|
| + DROP TABLE IF EXISTS e_recover;
|
| + CREATE VIRTUAL TABLE temp.e_recover USING recover(
|
| + e,
|
| + v TEXT
|
| + );
|
| + SELECT rowid, v FROM e_recover ORDER BY rowid;
|
| + }
|
| +} {UTF-8 1 Mjollnir 2 Mjölnir 3 Mjǫlnir 4 Mjölner 5 Mjølner 6 ハンマー}
|
| +
|
| +# Reset the database to UTF-16LE.
|
| +file delete -force test.db
|
| +sqlite3 db test.db;
|
| +db eval {
|
| + PRAGMA encoding = 'UTF-16LE';
|
| +}
|
| +
|
| +do_test recover-encoding-2.0 {
|
| + execsql {
|
| + DROP TABLE IF EXISTS e;
|
| + CREATE TABLE e (v TEXT);
|
| + INSERT INTO e VALUES('Mjollnir');
|
| + INSERT INTO e VALUES('Mjölnir');
|
| + INSERT INTO e VALUES('Mjǫlnir');
|
| + INSERT INTO e VALUES('Mjölner');
|
| + INSERT INTO e VALUES('Mjølner');
|
| + INSERT INTO e VALUES('ハンマー');
|
| + PRAGMA encoding;
|
| +
|
| + DROP TABLE IF EXISTS e_recover;
|
| + CREATE VIRTUAL TABLE temp.e_recover USING recover(
|
| + e,
|
| + v TEXT
|
| + );
|
| + SELECT rowid, v FROM e_recover ORDER BY rowid;
|
| + }
|
| +} {UTF-16le 1 Mjollnir 2 Mjölnir 3 Mjǫlnir 4 Mjölner 5 Mjølner 6 ハンマー}
|
| +
|
| +# Reset the database to UTF-16BE.
|
| +file delete -force test.db
|
| +sqlite3 db test.db;
|
| +db eval {
|
| + PRAGMA encoding = 'UTF-16BE';
|
| +}
|
| +
|
| +do_test recover-encoding-3.0 {
|
| + execsql {
|
| + DROP TABLE IF EXISTS e;
|
| + CREATE TABLE e (v TEXT);
|
| + INSERT INTO e VALUES('Mjollnir');
|
| + INSERT INTO e VALUES('Mjölnir');
|
| + INSERT INTO e VALUES('Mjǫlnir');
|
| + INSERT INTO e VALUES('Mjölner');
|
| + INSERT INTO e VALUES('Mjølner');
|
| + INSERT INTO e VALUES('ハンマー');
|
| + PRAGMA encoding;
|
| +
|
| + DROP TABLE IF EXISTS e_recover;
|
| + CREATE VIRTUAL TABLE temp.e_recover USING recover(
|
| + e,
|
| + v TEXT
|
| + );
|
| + SELECT rowid, v FROM e_recover ORDER BY rowid;
|
| + }
|
| +} {UTF-16be 1 Mjollnir 2 Mjölnir 3 Mjǫlnir 4 Mjölner 5 Mjølner 6 ハンマー}
|
| +
|
| +finish_test
|
|
|