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 |