sl@0: # This file contains a collection of tests for the procedures in the
sl@0: # file tclCompExpr.c.  Sourcing this file into Tcl runs the tests and
sl@0: # generates output for errors.  No output means no errors were found.
sl@0: #
sl@0: # Copyright (c) 1997 Sun Microsystems, Inc.
sl@0: # Copyright (c) 1998-1999 by Scriptics Corporation.
sl@0: #
sl@0: # See the file "license.terms" for information on usage and redistribution
sl@0: # of this file, and for a DISCLAIMER OF ALL WARRANTIES.
sl@0: #
sl@0: # RCS: @(#) $Id: compExpr.test,v 1.6 2001/12/06 10:59:17 dkf Exp $
sl@0: 
sl@0: if {[lsearch [namespace children] ::tcltest] == -1} {
sl@0:     package require tcltest
sl@0:     namespace import -force ::tcltest::*
sl@0: }
sl@0: 
sl@0: if {([catch {expr T1()} msg] == 1) && ($msg == {unknown math function "T1"})} {
sl@0:     set gotT1 0
sl@0:     puts "This application hasn't been compiled with the \"T1\" and"
sl@0:     puts "\"T2\" math functions, so I'll skip some of the expr tests."
sl@0: } else {
sl@0:     set gotT1 1
sl@0: }
sl@0: 
sl@0: catch {unset a}
sl@0: 
sl@0: test compExpr-1.1 {TclCompileExpr procedure, successful expr parse and compile} {
sl@0:     expr 1+2
sl@0: } 3
sl@0: test compExpr-1.2 {TclCompileExpr procedure, error parsing expr} {
sl@0:     list [catch {expr 1+2+} msg] $msg
sl@0: } {1 {syntax error in expression "1+2+": premature end of expression}}
sl@0: test compExpr-1.3 {TclCompileExpr procedure, error compiling expr} {
sl@0:     list [catch {expr "foo(123)"} msg] $msg
sl@0: } {1 {unknown math function "foo"}}
sl@0: test compExpr-1.4 {TclCompileExpr procedure, expr has no operators} {
sl@0:     set a {000123}
sl@0:     expr {$a}
sl@0: } 83
sl@0: 
sl@0: test compExpr-2.1 {CompileSubExpr procedure, TCL_TOKEN_WORD parse token} {
sl@0:     catch {unset a}
sl@0:     set a 27
sl@0:     expr {"foo$a" < "bar"}
sl@0: } 0
sl@0: test compExpr-2.2 {CompileSubExpr procedure, error compiling TCL_TOKEN_WORD parse token} {
sl@0:     list [catch {expr {"00[expr 1+]" + 17}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.3 {CompileSubExpr procedure, TCL_TOKEN_TEXT parse token} {
sl@0:     expr {{12345}}
sl@0: } 12345
sl@0: test compExpr-2.4 {CompileSubExpr procedure, empty TCL_TOKEN_TEXT parse token} {
sl@0:     expr {{}}
sl@0: } {}
sl@0: test compExpr-2.5 {CompileSubExpr procedure, TCL_TOKEN_BS parse token} {
sl@0:     expr "\{  \\
sl@0:  +123 \}"
sl@0: } 123
sl@0: test compExpr-2.6 {CompileSubExpr procedure, TCL_TOKEN_COMMAND parse token} {
sl@0:     expr {[info tclversion] != ""}
sl@0: } 1
sl@0: test compExpr-2.7 {CompileSubExpr procedure, TCL_TOKEN_COMMAND parse token} {
sl@0:     expr {[]}
sl@0: } {}
sl@0: test compExpr-2.8 {CompileSubExpr procedure, error in TCL_TOKEN_COMMAND parse token} {
sl@0:     list [catch {expr {[foo "bar"xxx] + 17}} msg] $msg
sl@0: } {1 {extra characters after close-quote}}
sl@0: test compExpr-2.9 {CompileSubExpr procedure, TCL_TOKEN_VARIABLE parse token} {
sl@0:     catch {unset a}
sl@0:     set a 123
sl@0:     expr {$a*2}
sl@0: } 246
sl@0: test compExpr-2.10 {CompileSubExpr procedure, TCL_TOKEN_VARIABLE parse token} {
sl@0:     catch {unset a}
sl@0:     catch {unset b}
sl@0:     set a(george) martha
sl@0:     set b geo
sl@0:     expr {$a(${b}rge)}
sl@0: } martha
sl@0: test compExpr-2.11 {CompileSubExpr procedure, error in TCL_TOKEN_VARIABLE parse token} {
sl@0:     catch {unset a}
sl@0:     list [catch {expr {$a + 17}} msg] $msg
sl@0: } {1 {can't read "a": no such variable}}
sl@0: test compExpr-2.12 {CompileSubExpr procedure, TCL_TOKEN_SUB_EXPR parse token} {
sl@0:     expr {27||3? 3<<(1+4) : 4&&9}
sl@0: } 96
sl@0: test compExpr-2.13 {CompileSubExpr procedure, error in TCL_TOKEN_SUB_EXPR parse token} {
sl@0:     catch {unset a}
sl@0:     set a 15
sl@0:     list [catch {expr {27 || "$a[expr 1+]00"}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.14 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, op found} {
sl@0:     expr {5*6}
sl@0: } 30
sl@0: test compExpr-2.15 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, math function found} {
sl@0:     format %.6g [expr {sin(2.0)}]
sl@0: } 0.909297
sl@0: test compExpr-2.16 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, math function not found} {
sl@0:     list [catch {expr {fred(2.0)}} msg] $msg
sl@0: } {1 {unknown math function "fred"}}
sl@0: test compExpr-2.17 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4*2}
sl@0: } 8
sl@0: test compExpr-2.18 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4/2}
sl@0: } 2
sl@0: test compExpr-2.19 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4%2}
sl@0: } 0
sl@0: test compExpr-2.20 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4<<2}
sl@0: } 16
sl@0: test compExpr-2.21 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4>>2}
sl@0: } 1
sl@0: test compExpr-2.22 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4<2}
sl@0: } 0
sl@0: test compExpr-2.23 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4>2}
sl@0: } 1
sl@0: test compExpr-2.24 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4<=2}
sl@0: } 0
sl@0: test compExpr-2.25 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4>=2}
sl@0: } 1
sl@0: test compExpr-2.26 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4==2}
sl@0: } 0
sl@0: test compExpr-2.27 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4!=2}
sl@0: } 1
sl@0: test compExpr-2.28 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4&2}
sl@0: } 0
sl@0: test compExpr-2.29 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4^2}
sl@0: } 6
sl@0: test compExpr-2.30 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator} {
sl@0:     expr {4|2}
sl@0: } 6
sl@0: test compExpr-2.31 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator, 1 operand} {
sl@0:     expr {!4}
sl@0: } 0
sl@0: test compExpr-2.32 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator, 1 operand} {
sl@0:     expr {~4}
sl@0: } -5
sl@0: test compExpr-2.33 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, normal operator, comparison} {
sl@0:     catch {unset a}
sl@0:     set a 15
sl@0:     expr {$a==15}  ;# compiled out-of-line to runtime call on Tcl_ExprObjCmd
sl@0: } 1
sl@0: test compExpr-2.34 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     expr {+2}
sl@0: } 2
sl@0: test compExpr-2.35 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, error in special operator} {
sl@0:     list [catch {expr {+[expr 1+]}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.36 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     expr {4+2}
sl@0: } 6
sl@0: test compExpr-2.37 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, error in special operator} {
sl@0:     list [catch {expr {[expr 1+]+5}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.38 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, error in special operator} {
sl@0:     list [catch {expr {5+[expr 1+]}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.39 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     expr {-2}
sl@0: } -2
sl@0: test compExpr-2.40 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     expr {4-2}
sl@0: } 2
sl@0: test compExpr-2.41 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     catch {unset a}
sl@0:     set a true
sl@0:     expr {0||$a}
sl@0: } 1
sl@0: test compExpr-2.42 {CompileSubExpr procedure, error in TCL_TOKEN_SUB_EXPR parse token} {
sl@0:     catch {unset a}
sl@0:     set a 15
sl@0:     list [catch {expr {27 || "$a[expr 1+]00"}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: test compExpr-2.43 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     catch {unset a}
sl@0:     set a false
sl@0:     expr {3&&$a}
sl@0: } 0
sl@0: test compExpr-2.44 {CompileSubExpr procedure, TCL_TOKEN_OPERATOR token, special operator} {
sl@0:     catch {unset a}
sl@0:     set a false
sl@0:     expr {$a||1? 1 : 0}
sl@0: } 1
sl@0: test compExpr-2.45 {CompileSubExpr procedure, error in TCL_TOKEN_SUB_EXPR parse token} {
sl@0:     catch {unset a}
sl@0:     set a 15
sl@0:     list [catch {expr {1? 54 : "$a[expr 1+]00"}} msg] $msg
sl@0: } {1 {syntax error in expression "1+": premature end of expression}}
sl@0: 
sl@0: test compExpr-3.1 {CompileLandOrLorExpr procedure, numeric 1st operand} {
sl@0:     catch {unset a}
sl@0:     set a 2
sl@0:     expr {[set a]||0}
sl@0: } 1
sl@0: test compExpr-3.2 {CompileLandOrLorExpr procedure, nonnumeric 1st operand} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {$a&&1}
sl@0: } 0
sl@0: test compExpr-3.3 {CompileSubExpr procedure, error in 1st operand} {
sl@0:     list [catch {expr {[expr *2]||0}} msg] $msg
sl@0: } {1 {syntax error in expression "*2": unexpected operator *}}
sl@0: test compExpr-3.4 {CompileLandOrLorExpr procedure, result is 1 or 0} {
sl@0:     catch {unset a}
sl@0:     catch {unset b}
sl@0:     set a no
sl@0:     set b true
sl@0:     expr {$a || $b}
sl@0: } 1
sl@0: test compExpr-3.5 {CompileLandOrLorExpr procedure, short-circuit semantics} {
sl@0:     catch {unset a}
sl@0:     set a yes
sl@0:     expr {$a || [exit]}
sl@0: } 1
sl@0: test compExpr-3.6 {CompileLandOrLorExpr procedure, short-circuit semantics} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {$a && [exit]}
sl@0: } 0
sl@0: test compExpr-3.7 {CompileLandOrLorExpr procedure, numeric 2nd operand} {
sl@0:     catch {unset a}
sl@0:     set a 2
sl@0:     expr {0||[set a]}
sl@0: } 1
sl@0: test compExpr-3.8 {CompileLandOrLorExpr procedure, nonnumeric 2nd operand} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {1&&$a}
sl@0: } 0
sl@0: test compExpr-3.9 {CompileLandOrLorExpr procedure, error in 2nd operand} {
sl@0:     list [catch {expr {0||[expr %2]}} msg] $msg
sl@0: } {1 {syntax error in expression "%2": unexpected operator %}}
sl@0: test compExpr-3.10 {CompileLandOrLorExpr procedure, long lor/land arm} {
sl@0:     set a "abcdefghijkl"
sl@0:     set i 7
sl@0:     expr {[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]] || [string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]}
sl@0: } 1
sl@0: 
sl@0: test compExpr-4.1 {CompileCondExpr procedure, simple test} {
sl@0:     catch {unset a}
sl@0:     set a 2
sl@0:     expr {($a > 1)? "ok" : "nope"}
sl@0: } ok
sl@0: test compExpr-4.2 {CompileCondExpr procedure, complex test, convert to numeric} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {[set a]? 27 : -54}
sl@0: } -54
sl@0: test compExpr-4.3 {CompileCondExpr procedure, error in test} {
sl@0:     list [catch {expr {[expr *2]? +1 : -1}} msg] $msg
sl@0: } {1 {syntax error in expression "*2": unexpected operator *}}
sl@0: test compExpr-4.4 {CompileCondExpr procedure, simple "true" clause} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {1? (27-2) : -54}
sl@0: } 25
sl@0: test compExpr-4.5 {CompileCondExpr procedure, convert "true" clause to numeric} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {1? $a : -54}
sl@0: } no
sl@0: test compExpr-4.6 {CompileCondExpr procedure, error in "true" clause} {
sl@0:     list [catch {expr {1? [expr *2] : -127}} msg] $msg
sl@0: } {1 {syntax error in expression "*2": unexpected operator *}}
sl@0: test compExpr-4.7 {CompileCondExpr procedure, simple "false" clause} {
sl@0:     catch {unset a}
sl@0:     set a no
sl@0:     expr {(2-2)? -3.14159 : "nope"}
sl@0: } nope
sl@0: test compExpr-4.8 {CompileCondExpr procedure, convert "false" clause to numeric} {
sl@0:     catch {unset a}
sl@0:     set a 00123
sl@0:     expr {0? 42 : $a}
sl@0: } 83
sl@0: test compExpr-4.9 {CompileCondExpr procedure, error in "false" clause} {
sl@0:     list [catch {expr {1? 15 : [expr *2]}} msg] $msg
sl@0: } {1 {syntax error in expression "*2": unexpected operator *}}
sl@0: 
sl@0: test compExpr-5.1 {CompileMathFuncCall procedure, math function found} {
sl@0:     format %.6g [expr atan2(1.0, 2.0)]
sl@0: } 0.463648
sl@0: test compExpr-5.2 {CompileMathFuncCall procedure, math function not found} {
sl@0:     list [catch {expr {do_it()}} msg] $msg
sl@0: } {1 {unknown math function "do_it"}}
sl@0: if $gotT1 {
sl@0:     test compExpr-5.3 {CompileMathFuncCall: call registered math function} {
sl@0: 	expr 3*T1()-1
sl@0:     } 368
sl@0:     test compExpr-5.4 {CompileMathFuncCall: call registered math function} {
sl@0: 	expr T2()*3
sl@0:     } 1035
sl@0: }
sl@0: test compExpr-5.5 {CompileMathFuncCall procedure, too few arguments} {
sl@0:     list [catch {expr {atan2(1.0)}} msg] $msg
sl@0: } {1 {too few arguments for math function}}
sl@0: test compExpr-5.6 {CompileMathFuncCall procedure, complex argument} {
sl@0:     format %.6g [expr pow(2.1, 27.5-(24.4*(5%2)))]
sl@0: } 9.97424
sl@0: test compExpr-5.7 {CompileMathFuncCall procedure, error in argument} {
sl@0:     list [catch {expr {sinh(2.*)}} msg] $msg
sl@0: } {1 {syntax error in expression "sinh(2.*)": unexpected close parenthesis}}
sl@0: test compExpr-5.8 {CompileMathFuncCall procedure, too many arguments} {
sl@0:     list [catch {expr {sinh(2.0, 3.0)}} msg] $msg
sl@0: } {1 {too many arguments for math function}}
sl@0: test compExpr-5.9 {CompileMathFuncCall procedure, too many arguments} {
sl@0:     list [catch {expr {0 <= rand(5.2)}} msg] $msg
sl@0: } {1 {too many arguments for math function}}
sl@0: 
sl@0: test compExpr-6.1 {LogSyntaxError procedure, error in expr longer than 60 chars} {
sl@0:     list [catch {expr {(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)/} -1 foo 3} msg] $msg
sl@0: } {1 {syntax error in expression "(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+012...": extra tokens at end of expression}}
sl@0: 
sl@0: # cleanup
sl@0: catch {unset a}
sl@0: catch {unset b}
sl@0: ::tcltest::cleanupTests
sl@0: return