Index: third_party/sqlite/sqlite-src-3070603/test/fts3expr2.test |
diff --git a/third_party/sqlite/sqlite-src-3070603/test/fts3expr2.test b/third_party/sqlite/sqlite-src-3070603/test/fts3expr2.test |
new file mode 100644 |
index 0000000000000000000000000000000000000000..c3d161730b47f9c0e9e11263555d2d6090ed4e62 |
--- /dev/null |
+++ b/third_party/sqlite/sqlite-src-3070603/test/fts3expr2.test |
@@ -0,0 +1,166 @@ |
+# 2009 January 1 |
+# |
+# 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. The |
+# focus of this script is testing the FTS3 module syntax parser. |
+# |
+# $Id: fts3expr2.test,v 1.2 2009/06/05 17:09:12 drh Exp $ |
+# |
+ |
+set testdir [file dirname $argv0] |
+source $testdir/tester.tcl |
+ |
+# If SQLITE_ENABLE_FTS3 is defined, omit this file. |
+ifcapable !fts3 { |
+ finish_test |
+ return |
+} |
+ |
+# Test overview: |
+# |
+# The tests in this file are pseudo-randomly generated. They test |
+# the fts3 match expression parser via the test interface |
+# SQL function "fts3_exprtest" (see comments in fts3_expr.c). |
+# |
+# Each test case works as follows: |
+# |
+# 1. A random expression tree is generated using proc [random_expr_tree]. |
+# 2. The expression tree is converted to the text of an equivalent |
+# fts3 expression using proc [tree_to_expr]. |
+# 3. The test SQL function "fts3_exprtest" is used to parse the |
+# expression text generated in step (2), returning a parsed expression |
+# tree. |
+# 4. Test that the tree returned in step (3) matches that generated in |
+# step (1). |
+# |
+# In step (2), 4 different fts3 expressions are created from each |
+# expression tree by varying the following boolean properties: |
+# |
+# * Whether or not superflous parenthesis are included. i.e. if |
+# "a OR b AND (c OR d)" or "a OR (b AND (c OR d))" is generated. |
+# |
+# * Whether or not explict AND operators are used. i.e. if |
+# "a OR b AND c" or "a OR b c" is generated. |
+# |
+ |
+set sqlite_fts3_enable_parentheses 1 |
+ |
+proc strip_phrase_data {L} { |
+ if {[lindex $L 0] eq "PHRASE"} { |
+ return [list P [lrange $L 3 end]] |
+ } |
+ return [list \ |
+ [lindex $L 0] \ |
+ [strip_phrase_data [lindex $L 1]] \ |
+ [strip_phrase_data [lindex $L 2]] \ |
+ ] |
+} |
+proc test_fts3expr2 {expr} { |
+ strip_phrase_data [ |
+ db one {SELECT fts3_exprtest('simple', $expr, 'a', 'b', 'c')} |
+ ] |
+} |
+ |
+proc rnd {nMax} { expr {int(rand()*$nMax)} } |
+ |
+proc random_phrase {} { |
+ set phrases [list one two three four "one two" "three four"] |
+ list P [lindex $phrases [rnd [llength $phrases]]] |
+} |
+ |
+# Generate and return a pseudo-random expression tree. Using the same |
+# format returned by the [test_fts3expr2] proc. |
+# |
+proc random_expr_tree {iHeight} { |
+ if {$iHeight==0 || [rnd 3]==0} { |
+ return [random_phrase] |
+ } |
+ |
+ set operators [list NEAR NOT AND OR] |
+ set op [lindex $operators [rnd 4]] |
+ |
+ if {$op eq "NEAR"} { |
+ set iDistance [rnd 15] |
+ return [list $op/$iDistance [random_phrase] [random_phrase]] |
+ } |
+ |
+ set iNH [expr {$iHeight - 1}] |
+ return [list $op [random_expr_tree $iNH] [random_expr_tree $iNH]] |
+} |
+ |
+# Given an expression tree, generate a corresponding expression. |
+# |
+proc tree_to_expr {tree all_brackets implicit_and} { |
+ set prec(NOT) 2 |
+ set prec(AND) 3 |
+ set prec() 3 |
+ set prec(OR) 4 |
+ |
+ set op [lindex $tree 0] |
+ |
+ if {$op eq "P"} { |
+ set phrase [lindex $tree 1] |
+ if {[llength $phrase]>1} { |
+ return "\"$phrase\"" |
+ } else { |
+ return $phrase |
+ } |
+ } |
+ |
+ if {$op eq "NEAR/10"} { |
+ set op "NEAR" |
+ } |
+ if {$op eq "AND" && $implicit_and} { |
+ set op "" |
+ } |
+ |
+ set lhs [lindex $tree 1] |
+ set rhs [lindex $tree 2] |
+ set zLeft [tree_to_expr $lhs $all_brackets $implicit_and] |
+ set zRight [tree_to_expr $rhs $all_brackets $implicit_and] |
+ |
+ set iPrec 5 |
+ set iLeftPrec 0 |
+ set iRightPrec 0 |
+ |
+ catch {set iPrec $prec($op)} |
+ catch {set iLeftPrec $prec([lindex $lhs 0])} |
+ catch {set iRightPrec $prec([lindex $rhs 0])} |
+ |
+ if {$iLeftPrec > $iPrec || $all_brackets} { |
+ set zLeft "($zLeft)" |
+ } |
+ if {$iRightPrec >= $iPrec || $all_brackets} { |
+ set zRight "($zRight)" |
+ } |
+ |
+ return "$zLeft $op $zRight" |
+} |
+ |
+proc do_exprparse_test {name expr tree} { |
+ uplevel do_test $name [list "test_fts3expr2 {$expr}"] [list $tree] |
+} |
+ |
+for {set iTest 1} {$iTest<500} {incr iTest} { |
+ set t [random_expr_tree 4] |
+ |
+ set e1 [tree_to_expr $t 0 0] |
+ set e2 [tree_to_expr $t 0 1] |
+ set e3 [tree_to_expr $t 1 0] |
+ set e4 [tree_to_expr $t 1 1] |
+ |
+ do_exprparse_test fts3expr2-$iTest.1 $e1 $t |
+ do_exprparse_test fts3expr2-$iTest.2 $e2 $t |
+ do_exprparse_test fts3expr2-$iTest.3 $e3 $t |
+ do_exprparse_test fts3expr2-$iTest.4 $e4 $t |
+} |
+ |
+set sqlite_fts3_enable_parentheses 0 |
+finish_test |