sl@0: # Commands covered: expr sl@0: # sl@0: # This file contains the original set of tests for the compilation (and sl@0: # indirectly execution) of Tcl's expr command. A new set of tests covering sl@0: # the new implementation are in the files "parseExpr.test" and sl@0: # "compExpr.test". Sourcing this file into Tcl runs the tests and generates sl@0: # output for errors. No output means no errors were found. sl@0: # sl@0: # Copyright (c) 1996-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-old.test,v 1.7 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: # procedures used below sl@0: sl@0: proc put_hello_char {c} { sl@0: global a sl@0: append a [format %c $c] sl@0: return $c sl@0: } sl@0: proc hello_world {} { sl@0: global a sl@0: set a "" sl@0: set L1 [set l0 [set h_1 [set q 0]]] sl@0: for {put_hello_char [expr [put_hello_char [expr [set h 7]*10+2]]+29]} {$l0?[put_hello_char $l0] sl@0: :!$h_1} {put_hello_char $ll;expr {$L1==2?[set ll [expr 32+0-0+[set bar 0]]]:0}} {expr {[incr L1]==[expr 1+([string length "abc"]-[string length "abc"])] sl@0: ?[set ll [set l0 [expr 54<<1]]]:$ll==108&&$L1<3? sl@0: [incr ll [expr 1|1<<1]; set ll $ll; set ll $ll; set ll $ll; set ll $ll; set l0 [expr ([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])]; set l0; set l0 $l0; set l0; set l0]:$L1==4&&$ll==32?[set ll [expr 19+$h1+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])+[set foo [expr ([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])+([string length "abc"]-[string length "abc"])]]]] sl@0: :[set q [expr $q-$h1+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])]]};expr {$L1==5?[incr ll -8; set ll $ll; set ll]:$q&&$h1&&1};expr {$L1==4+2 sl@0: ?[incr ll 3]:[expr ([string length "abc"]-[string length "abc"])+1]};expr {$ll==($h<<4)+2+0&&$L1!=6?[incr ll -6]:[set h1 [expr 100+([string length "abc"]-[string length "abc"])-([string length "abc"]-[string length "abc"])]]} sl@0: expr {$L1!=1<<3?[incr q [expr ([string length "abc"]-[string length "abc"])-1]]:[set h_1 [set ll $h1]]} sl@0: } sl@0: set a sl@0: } sl@0: sl@0: proc 12days {a b c} { sl@0: global xxx sl@0: expr {1<$a?[expr {$a<3?[12days -79 -13 [string range $c [12days -87 \ sl@0: [expr 1-$b] [string range $c [12days -86 0 [string range $c 1 end]] \ sl@0: end]] end]]:1};expr {$a<$b?[12days [expr $a+1] $b $c]:3};expr {[12days \ sl@0: -94 [expr $a-27] $c]&&$a==2?$b<13?[12days 2 [expr $b+1] "%s %d %d\n"]:9 sl@0: :16}]:$a<0?$a<-72?[12days $b $a "@n'+,#'/*\{\}w+/w#cdnr/+,\{\}r/*de\}+,/*\{*+,/w\{%+,/w#q#n+,/#\{l+,/n\{n+,/+#n+,/#;#q#n+,/+k#;*+,/'r :'d*'3,\}\{w+K w'K:'+\}e#';dq#'l q#'+d'K#!/+k#;q#'r\}eKK#\}w'r\}eKK\{nl\]'/#;#q#n')\{)#\}w')\{)\{nl\]'/+#n';d\}rw' i;# )\{nl\]!/n\{n#'; r\{#w'r nc\{nl\]'/#\{l,+'K \{rw' iK\{;\[\{nl\]'/w#q#n'wk nw' iwk\{KK\{nl\]!/w\{%'l##w#' i; :\{nl\]'/*\{q#'ld;r'\}\{nlwb!/*de\}'c ;;\{nl'-\{\}rw\]'/+,\}##'*\}#nc,',#nw\]'/+kd'+e\}+;#'rdq#w! nr'/ ') \}+\}\{rl#'\{n' ')# \}'+\}##(!!/"] sl@0: :$a<-50?[string compare [format %c $b] [string index $c 0]]==0?[append \ sl@0: xxx [string index $c 31];scan [string index $c 31] %c x;set x] sl@0: :[12days -65 $b [string range $c 1 end]]:[12days [expr ([string compare \ sl@0: [string index $c 0] "/"]==0)+$a] $b [string range $c 1 end]]:0<$a sl@0: ?[12days 2 2 "%s"]:[string compare [string index $c 0] "/"]==0|| sl@0: [12days 0 [12days -61 [scan [string index $c 0] %c x; set x] \ sl@0: "!ek;dc i@bK'(q)-\[w\]*%n+r3#l,\{\}:\nuwloca-O;m .vpbks,fxntdCeghiry"] \ sl@0: [string range $c 1 end]]} sl@0: } sl@0: proc do_twelve_days {} { sl@0: global xxx sl@0: set xxx "" sl@0: 12days 1 1 1 sl@0: string length $xxx sl@0: } sl@0: sl@0: # start of tests sl@0: sl@0: catch {unset a b i x} sl@0: sl@0: test compExpr-old-1.1 {TclCompileExprCmd: no expression} { sl@0: list [catch {expr } msg] $msg sl@0: } {1 {wrong # args: should be "expr arg ?arg ...?"}} sl@0: test compExpr-old-1.2 {TclCompileExprCmd: one expression word} { sl@0: expr -25 sl@0: } -25 sl@0: test compExpr-old-1.3 {TclCompileExprCmd: two expression words} { sl@0: expr -8.2 -6 sl@0: } -14.2 sl@0: test compExpr-old-1.4 {TclCompileExprCmd: five expression words} { sl@0: expr 20 - 5 +10 -7 sl@0: } 18 sl@0: test compExpr-old-1.5 {TclCompileExprCmd: quoted expression word} { sl@0: expr "0005" sl@0: } 5 sl@0: test compExpr-old-1.6 {TclCompileExprCmd: quoted expression word} { sl@0: catch {expr "0005"zxy} msg sl@0: set msg sl@0: } {extra characters after close-quote} sl@0: test compExpr-old-1.7 {TclCompileExprCmd: expression word in braces} { sl@0: expr {-0005} sl@0: } -5 sl@0: test compExpr-old-1.8 {TclCompileExprCmd: expression word in braces} { sl@0: expr {{-0x1234}} sl@0: } -4660 sl@0: test compExpr-old-1.9 {TclCompileExprCmd: expression word in braces} { sl@0: catch {expr {-0005}foo} msg sl@0: set msg sl@0: } {extra characters after close-brace} sl@0: test compExpr-old-1.10 {TclCompileExprCmd: other expression word in braces} { sl@0: expr 4*[llength "6 2"] sl@0: } 8 sl@0: test compExpr-old-1.11 {TclCompileExprCmd: expression word terminated by ;} { sl@0: expr 4*[llength "6 2"]; sl@0: } 8 sl@0: test compExpr-old-1.12 {TclCompileExprCmd: inlined expr (in "catch") inside other catch} { sl@0: set a xxx sl@0: catch { sl@0: # Might not be a number sl@0: set a [expr 10*$a] sl@0: } sl@0: } 1 sl@0: test compExpr-old-1.13 {TclCompileExprCmd: second level of substitutions in expr not in braces with single var reference} { sl@0: set a xxx sl@0: set x 27; set bool {$x}; if $bool {set a foo} sl@0: set a sl@0: } foo sl@0: test compExpr-old-1.14 {TclCompileExprCmd: second level of substitutions in expr with comparison as top-level operator} { sl@0: set a xxx sl@0: set x 2; set b {$x}; set a [expr $b == 2] sl@0: set a sl@0: } 1 sl@0: sl@0: test compExpr-old-2.1 {TclCompileExpr: are builtin functions registered?} { sl@0: expr double(5*[llength "6 2"]) sl@0: } 10.0 sl@0: test compExpr-old-2.2 {TclCompileExpr: error in expr} { sl@0: catch {expr 2**3} msg sl@0: set msg sl@0: } {syntax error in expression "2**3": unexpected operator *} sl@0: test compExpr-old-2.3 {TclCompileExpr: junk after legal expr} { sl@0: catch {expr 7*[llength "a b"]foo} msg sl@0: set msg sl@0: } {syntax error in expression "7*2foo": extra tokens at end of expression} sl@0: test compExpr-old-2.4 {TclCompileExpr: numeric expr string rep == formatted int rep} { sl@0: expr {0001} sl@0: } 1 sl@0: sl@0: test compExpr-old-3.1 {CompileCondExpr: just lor expr} {expr 3||0} 1 sl@0: test compExpr-old-3.2 {CompileCondExpr: error in lor expr} { sl@0: catch {expr x||3} msg sl@0: set msg sl@0: } {syntax error in expression "x||3": variable references require preceding $} sl@0: test compExpr-old-3.3 {CompileCondExpr: test true arm} {expr 3>2?44:66} 44 sl@0: test compExpr-old-3.4 {CompileCondExpr: error compiling true arm} { sl@0: catch {expr 3>2?2**3:66} msg sl@0: set msg sl@0: } {syntax error in expression "3>2?2**3:66": unexpected operator *} sl@0: test compExpr-old-3.5 {CompileCondExpr: test false arm} {expr 2>3?44:66} 66 sl@0: test compExpr-old-3.6 {CompileCondExpr: error compiling false arm} { sl@0: catch {expr 2>3?44:2**3} msg sl@0: set msg sl@0: } {syntax error in expression "2>3?44:2**3": unexpected operator *} sl@0: test compExpr-old-3.7 {CompileCondExpr: long arms & nested cond exprs} {nonPortable} { sl@0: puts "Note: doing test compExpr-old-3.7 which can take several minutes to run" sl@0: hello_world sl@0: } {Hello world} sl@0: catch {unset xxx} sl@0: test compExpr-old-3.8 {CompileCondExpr: long arms & nested cond exprs} {nonPortable} { sl@0: puts "Note: doing test compExpr-old-3.8 which can take several minutes to run" sl@0: do_twelve_days sl@0: } 2358 sl@0: catch {unset xxx} sl@0: sl@0: test compExpr-old-4.1 {CompileLorExpr: just land expr} {expr 1.3&&3.3} 1 sl@0: test compExpr-old-4.2 {CompileLorExpr: error in land expr} { sl@0: catch {expr x&&3} msg sl@0: set msg sl@0: } {syntax error in expression "x&&3": variable references require preceding $} sl@0: test compExpr-old-4.3 {CompileLorExpr: simple lor exprs} {expr 0||1.0} 1 sl@0: test compExpr-old-4.4 {CompileLorExpr: simple lor exprs} {expr 3.0||0.0} 1 sl@0: test compExpr-old-4.5 {CompileLorExpr: simple lor exprs} {expr 0||0||1} 1 sl@0: test compExpr-old-4.6 {CompileLorExpr: error compiling lor arm} { sl@0: catch {expr 2**3||4.0} msg sl@0: set msg sl@0: } {syntax error in expression "2**3||4.0": unexpected operator *} sl@0: test compExpr-old-4.7 {CompileLorExpr: error compiling lor arm} { sl@0: catch {expr 1.3||2**3} msg sl@0: set msg sl@0: } {syntax error in expression "1.3||2**3": unexpected operator *} sl@0: test compExpr-old-4.8 {CompileLorExpr: error compiling lor arms} { sl@0: list [catch {expr {"a"||"b"}} msg] $msg sl@0: } {1 {expected boolean value but got "a"}} sl@0: test compExpr-old-4.9 {CompileLorExpr: long lor 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-old-5.1 {CompileLandExpr: just bitor expr} {expr 7|0x13} 23 sl@0: test compExpr-old-5.2 {CompileLandExpr: error in bitor expr} { sl@0: catch {expr x|3} msg sl@0: set msg sl@0: } {syntax error in expression "x|3": variable references require preceding $} sl@0: test compExpr-old-5.3 {CompileLandExpr: simple land exprs} {expr 0&&1.0} 0 sl@0: test compExpr-old-5.4 {CompileLandExpr: simple land exprs} {expr 0&&0} 0 sl@0: test compExpr-old-5.5 {CompileLandExpr: simple land exprs} {expr 3.0&&1.2} 1 sl@0: test compExpr-old-5.6 {CompileLandExpr: simple land exprs} {expr 1&&1&&2} 1 sl@0: test compExpr-old-5.7 {CompileLandExpr: error compiling land arm} { sl@0: catch {expr 2**3&&4.0} msg sl@0: set msg sl@0: } {syntax error in expression "2**3&&4.0": unexpected operator *} sl@0: test compExpr-old-5.8 {CompileLandExpr: error compiling land arm} { sl@0: catch {expr 1.3&&2**3} msg sl@0: set msg sl@0: } {syntax error in expression "1.3&&2**3": unexpected operator *} sl@0: test compExpr-old-5.9 {CompileLandExpr: error compiling land arm} { sl@0: list [catch {expr {"a"&&"b"}} msg] $msg sl@0: } {1 {expected boolean value but got "a"}} sl@0: test compExpr-old-5.10 {CompileLandExpr: long land arms} { sl@0: set a "abcdefghijkl" sl@0: set i 7 sl@0: expr {[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]] && [string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]^[string compare [format %c 103] [string index $a $i]]^[string compare [format %c 105] [string index $a $i]]} sl@0: } 1 sl@0: sl@0: test compExpr-old-6.1 {CompileBitXorExpr: just bitand expr} {expr 7&0x13} 3 sl@0: test compExpr-old-6.2 {CompileBitXorExpr: error in bitand expr} { sl@0: catch {expr x|3} msg sl@0: set msg sl@0: } {syntax error in expression "x|3": variable references require preceding $} sl@0: test compExpr-old-6.3 {CompileBitXorExpr: simple bitxor exprs} {expr 7^0x13} 20 sl@0: test compExpr-old-6.4 {CompileBitXorExpr: simple bitxor exprs} {expr 3^0x10} 19 sl@0: test compExpr-old-6.5 {CompileBitXorExpr: simple bitxor exprs} {expr 0^7} 7 sl@0: test compExpr-old-6.6 {CompileBitXorExpr: simple bitxor exprs} {expr -1^7} -8 sl@0: test compExpr-old-6.7 {CompileBitXorExpr: error compiling bitxor arm} { sl@0: catch {expr 2**3|6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3|6": unexpected operator *} sl@0: test compExpr-old-6.8 {CompileBitXorExpr: error compiling bitxor arm} { sl@0: catch {expr 2^x} msg sl@0: set msg sl@0: } {syntax error in expression "2^x": variable references require preceding $} sl@0: test compExpr-old-6.9 {CompileBitXorExpr: runtime error in bitxor arm} { sl@0: list [catch {expr {24.0^3}} msg] $msg sl@0: } {1 {can't use floating-point value as operand of "^"}} sl@0: test compExpr-old-6.10 {CompileBitXorExpr: runtime error in bitxor arm} { sl@0: list [catch {expr {"a"^"b"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "^"}} sl@0: sl@0: test compExpr-old-7.1 {CompileBitAndExpr: just equality expr} {expr 3==2} 0 sl@0: test compExpr-old-7.2 {CompileBitAndExpr: just equality expr} {expr 2.0==2} 1 sl@0: test compExpr-old-7.3 {CompileBitAndExpr: just equality expr} {expr 3.2!=2.2} 1 sl@0: test compExpr-old-7.4 {CompileBitAndExpr: just equality expr} {expr {"abc" == "abd"}} 0 sl@0: test compExpr-old-7.5 {CompileBitAndExpr: error in equality expr} { sl@0: catch {expr x==3} msg sl@0: set msg sl@0: } {syntax error in expression "x==3": variable references require preceding $} sl@0: test compExpr-old-7.6 {CompileBitAndExpr: simple bitand exprs} {expr 7&0x13} 3 sl@0: test compExpr-old-7.7 {CompileBitAndExpr: simple bitand exprs} {expr 0xf2&0x53} 82 sl@0: test compExpr-old-7.8 {CompileBitAndExpr: simple bitand exprs} {expr 3&6} 2 sl@0: test compExpr-old-7.9 {CompileBitAndExpr: simple bitand exprs} {expr -1&-7} -7 sl@0: test compExpr-old-7.10 {CompileBitAndExpr: error compiling bitand arm} { sl@0: catch {expr 2**3&6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3&6": unexpected operator *} sl@0: test compExpr-old-7.11 {CompileBitAndExpr: error compiling bitand arm} { sl@0: catch {expr 2&x} msg sl@0: set msg sl@0: } {syntax error in expression "2&x": variable references require preceding $} sl@0: test compExpr-old-7.12 {CompileBitAndExpr: runtime error in bitand arm} { sl@0: list [catch {expr {24.0&3}} msg] $msg sl@0: } {1 {can't use floating-point value as operand of "&"}} sl@0: test compExpr-old-7.13 {CompileBitAndExpr: runtime error in bitand arm} { sl@0: list [catch {expr {"a"&"b"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "&"}} sl@0: sl@0: test compExpr-old-8.1 {CompileEqualityExpr: just relational expr} {expr 3>=2} 1 sl@0: test compExpr-old-8.2 {CompileEqualityExpr: just relational expr} {expr 2<=2.1} 1 sl@0: test compExpr-old-8.3 {CompileEqualityExpr: just relational expr} {expr 3.2>"2.2"} 1 sl@0: test compExpr-old-8.4 {CompileEqualityExpr: just relational expr} {expr {"0y"<"0x12"}} 0 sl@0: test compExpr-old-8.5 {CompileEqualityExpr: error in relational expr} { sl@0: catch {expr x>3} msg sl@0: set msg sl@0: } {syntax error in expression "x>3": variable references require preceding $} sl@0: test compExpr-old-8.6 {CompileEqualityExpr: simple equality exprs} {expr 7==0x13} 0 sl@0: test compExpr-old-8.7 {CompileEqualityExpr: simple equality exprs} {expr -0xf2!=0x53} 1 sl@0: test compExpr-old-8.8 {CompileEqualityExpr: simple equality exprs} {expr {"12398712938788234-1298379" != ""}} 1 sl@0: test compExpr-old-8.9 {CompileEqualityExpr: simple equality exprs} {expr -1!="abc"} 1 sl@0: test compExpr-old-8.10 {CompileEqualityExpr: error compiling equality arm} { sl@0: catch {expr 2**3==6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3==6": unexpected operator *} sl@0: test compExpr-old-8.11 {CompileEqualityExpr: error compiling equality arm} { sl@0: catch {expr 2!=x} msg sl@0: set msg sl@0: } {syntax error in expression "2!=x": variable references require preceding $} sl@0: sl@0: sl@0: test compExpr-old-9.1 {CompileRelationalExpr: just shift expr} {expr 3<<2} 12 sl@0: test compExpr-old-9.2 {CompileRelationalExpr: just shift expr} {expr 0xff>>2} 63 sl@0: test compExpr-old-9.3 {CompileRelationalExpr: just shift expr} {expr -1>>2} -1 sl@0: test compExpr-old-9.4 {CompileRelationalExpr: just shift expr} {expr {1<<3}} 8 sl@0: sl@0: # The following test is different for 32-bit versus 64-bit sl@0: # architectures because LONG_MIN is different sl@0: sl@0: if {0x80000000 > 0} { sl@0: test compExpr-old-9.5 {CompileRelationalExpr: shift expr producing LONG_MIN} {nonPortable} { sl@0: expr {1<<63} sl@0: } -9223372036854775808 sl@0: } else { sl@0: test compExpr-old-9.5 {CompileRelationalExpr: shift expr producing LONG_MIN} {nonPortable} { sl@0: expr {1<<31} sl@0: } -2147483648 sl@0: } sl@0: test compExpr-old-9.6 {CompileRelationalExpr: error in shift expr} { sl@0: catch {expr x>>3} msg sl@0: set msg sl@0: } {syntax error in expression "x>>3": variable references require preceding $} sl@0: test compExpr-old-9.7 {CompileRelationalExpr: simple relational exprs} {expr 0xff>=+0x3} 1 sl@0: test compExpr-old-9.8 {CompileRelationalExpr: simple relational exprs} {expr -0xf2<0x3} 1 sl@0: test compExpr-old-9.9 {CompileRelationalExpr: error compiling relational arm} { sl@0: catch {expr 2**3>6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3>6": unexpected operator *} sl@0: test compExpr-old-9.10 {CompileRelationalExpr: error compiling relational arm} { sl@0: catch {expr 2>0x3} 31 sl@0: test compExpr-old-10.7 {CompileShiftExpr: simple shift exprs} {expr -0xf2<<0x3} -1936 sl@0: test compExpr-old-10.8 {CompileShiftExpr: error compiling shift arm} { sl@0: catch {expr 2**3>>6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3>>6": unexpected operator *} sl@0: test compExpr-old-10.9 {CompileShiftExpr: error compiling shift arm} { sl@0: catch {expr 2<>43}} msg] $msg sl@0: } {1 {can't use floating-point value as operand of ">>"}} sl@0: test compExpr-old-10.11 {CompileShiftExpr: runtime error} { sl@0: list [catch {expr {"a"<<"b"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "<<"}} sl@0: sl@0: test compExpr-old-11.1 {CompileAddExpr: just multiply expr} {expr 4*-2} -8 sl@0: test compExpr-old-11.2 {CompileAddExpr: just multiply expr} {expr 0xff%2} 1 sl@0: test compExpr-old-11.3 {CompileAddExpr: just multiply expr} {expr -1/2} -1 sl@0: test compExpr-old-11.4 {CompileAddExpr: just multiply expr} {expr 7891%0123} 6 sl@0: test compExpr-old-11.5 {CompileAddExpr: error in multiply expr} { sl@0: catch {expr x*3} msg sl@0: set msg sl@0: } {syntax error in expression "x*3": variable references require preceding $} sl@0: test compExpr-old-11.6 {CompileAddExpr: simple add exprs} {expr 0xff++0x3} 258 sl@0: test compExpr-old-11.7 {CompileAddExpr: simple add exprs} {expr -0xf2--0x3} -239 sl@0: test compExpr-old-11.8 {CompileAddExpr: error compiling add arm} { sl@0: catch {expr 2**3+6} msg sl@0: set msg sl@0: } {syntax error in expression "2**3+6": unexpected operator *} sl@0: test compExpr-old-11.9 {CompileAddExpr: error compiling add arm} { sl@0: catch {expr 2-x} msg sl@0: set msg sl@0: } {syntax error in expression "2-x": variable references require preceding $} sl@0: test compExpr-old-11.10 {CompileAddExpr: runtime error} { sl@0: list [catch {expr {24.0+"xx"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "+"}} sl@0: test compExpr-old-11.11 {CompileAddExpr: runtime error} { sl@0: list [catch {expr {"a"-"b"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "-"}} sl@0: test compExpr-old-11.12 {CompileAddExpr: runtime error} { sl@0: list [catch {expr {3/0}} msg] $msg sl@0: } {1 {divide by zero}} sl@0: test compExpr-old-11.13 {CompileAddExpr: runtime error} { sl@0: list [catch {expr {2.3/0.0}} msg] $msg sl@0: } {1 {divide by zero}} sl@0: sl@0: test compExpr-old-12.1 {CompileMultiplyExpr: just unary expr} {expr ~4} -5 sl@0: test compExpr-old-12.2 {CompileMultiplyExpr: just unary expr} {expr --5} 5 sl@0: test compExpr-old-12.3 {CompileMultiplyExpr: just unary expr} {expr !27} 0 sl@0: test compExpr-old-12.4 {CompileMultiplyExpr: just unary expr} {expr ~0xff00ff} -16711936 sl@0: test compExpr-old-12.5 {CompileMultiplyExpr: error in unary expr} { sl@0: catch {expr ~x} msg sl@0: set msg sl@0: } {syntax error in expression "~x": variable references require preceding $} sl@0: test compExpr-old-12.6 {CompileMultiplyExpr: simple multiply exprs} {expr 0xff*0x3} 765 sl@0: test compExpr-old-12.7 {CompileMultiplyExpr: simple multiply exprs} {expr -0xf2%-0x3} -2 sl@0: test compExpr-old-12.8 {CompileMultiplyExpr: error compiling multiply arm} { sl@0: catch {expr 2*3%%6} msg sl@0: set msg sl@0: } {syntax error in expression "2*3%%6": unexpected operator %} sl@0: test compExpr-old-12.9 {CompileMultiplyExpr: error compiling multiply arm} { sl@0: catch {expr 2*x} msg sl@0: set msg sl@0: } {syntax error in expression "2*x": variable references require preceding $} sl@0: test compExpr-old-12.10 {CompileMultiplyExpr: runtime error} { sl@0: list [catch {expr {24.0*"xx"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "*"}} sl@0: test compExpr-old-12.11 {CompileMultiplyExpr: runtime error} { sl@0: list [catch {expr {"a"/"b"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "/"}} sl@0: sl@0: test compExpr-old-13.1 {CompileUnaryExpr: unary exprs} {expr -0xff} -255 sl@0: test compExpr-old-13.2 {CompileUnaryExpr: unary exprs} {expr +000123} 83 sl@0: test compExpr-old-13.3 {CompileUnaryExpr: unary exprs} {expr +--++36} 36 sl@0: test compExpr-old-13.4 {CompileUnaryExpr: unary exprs} {expr !2} 0 sl@0: test compExpr-old-13.5 {CompileUnaryExpr: unary exprs} {expr +--+-62.0} -62.0 sl@0: test compExpr-old-13.6 {CompileUnaryExpr: unary exprs} {expr !0.0} 1 sl@0: test compExpr-old-13.7 {CompileUnaryExpr: unary exprs} {expr !0xef} 0 sl@0: test compExpr-old-13.8 {CompileUnaryExpr: error compiling unary expr} { sl@0: catch {expr ~x} msg sl@0: set msg sl@0: } {syntax error in expression "~x": variable references require preceding $} sl@0: test compExpr-old-13.9 {CompileUnaryExpr: error compiling unary expr} { sl@0: catch {expr !1.x} msg sl@0: set msg sl@0: } {syntax error in expression "!1.x": extra tokens at end of expression} sl@0: test compExpr-old-13.10 {CompileUnaryExpr: runtime error} { sl@0: list [catch {expr {~"xx"}} msg] $msg sl@0: } {1 {can't use non-numeric string as operand of "~"}} sl@0: test compExpr-old-13.11 {CompileUnaryExpr: runtime error} { sl@0: list [catch {expr ~4.0} msg] $msg sl@0: } {1 {can't use floating-point value as operand of "~"}} sl@0: test compExpr-old-13.12 {CompileUnaryExpr: just primary expr} {expr 0x123} 291 sl@0: test compExpr-old-13.13 {CompileUnaryExpr: just primary expr} { sl@0: set a 27 sl@0: expr $a sl@0: } 27 sl@0: test compExpr-old-13.14 {CompileUnaryExpr: just primary expr} { sl@0: expr double(27) sl@0: } 27.0 sl@0: test compExpr-old-13.15 {CompileUnaryExpr: just primary expr} {expr "123"} 123 sl@0: test compExpr-old-13.16 {CompileUnaryExpr: error in primary expr} { sl@0: catch {expr [set]} msg sl@0: set msg sl@0: } {wrong # args: should be "set varName ?newValue?"} sl@0: test compExpr-old-14.1 {CompilePrimaryExpr: literal primary} {expr 1} 1 sl@0: test compExpr-old-14.2 {CompilePrimaryExpr: literal primary} {expr 123} 123 sl@0: test compExpr-old-14.3 {CompilePrimaryExpr: literal primary} {expr 0xff} 255 sl@0: test compExpr-old-14.4 {CompilePrimaryExpr: literal primary} {expr 00010} 8 sl@0: test compExpr-old-14.5 {CompilePrimaryExpr: literal primary} {expr 62.0} 62.0 sl@0: test compExpr-old-14.6 {CompilePrimaryExpr: literal primary} { sl@0: expr 3.1400000 sl@0: } 3.14 sl@0: test compExpr-old-14.7 {CompilePrimaryExpr: literal primary} {expr {{abcde}<{abcdef}}} 1 sl@0: test compExpr-old-14.8 {CompilePrimaryExpr: literal primary} {expr {{abc\ sl@0: def} < {abcdef}}} 1 sl@0: test compExpr-old-14.9 {CompilePrimaryExpr: literal primary} {expr {{abc\tde} > {abc\tdef}}} 0 sl@0: test compExpr-old-14.10 {CompilePrimaryExpr: literal primary} {expr {{123}}} 123 sl@0: test compExpr-old-14.11 {CompilePrimaryExpr: var reference primary} { sl@0: set i 789 sl@0: list [expr {$i}] [expr $i] sl@0: } {789 789} sl@0: test compExpr-old-14.12 {CompilePrimaryExpr: var reference primary} { sl@0: set i {789} ;# test expr's aggressive conversion to numeric semantics sl@0: list [expr {$i}] [expr $i] sl@0: } {789 789} sl@0: test compExpr-old-14.13 {CompilePrimaryExpr: var reference primary} { sl@0: catch {unset a} sl@0: set a(foo) foo sl@0: set a(bar) bar sl@0: set a(123) 123 sl@0: set result "" sl@0: lappend result [expr $a(123)] [expr {$a(bar)<$a(foo)}] sl@0: catch {unset a} sl@0: set result sl@0: } {123 1} sl@0: test compExpr-old-14.14 {CompilePrimaryExpr: var reference primary} { sl@0: set i 123 ;# test "$var.0" floating point conversion hack sl@0: list [expr $i] [expr $i.0] [expr $i.0/12.0] sl@0: } {123 123.0 10.25} sl@0: test compExpr-old-14.15 {CompilePrimaryExpr: var reference primary} { sl@0: set i 123 sl@0: catch {expr $i.2} msg sl@0: set msg sl@0: } 123.2 sl@0: test compExpr-old-14.16 {CompilePrimaryExpr: error compiling var reference primary} { sl@0: catch {expr {$a(foo}} msg sl@0: set errorInfo sl@0: } {missing ) sl@0: while compiling sl@0: "expr {$a(foo}"} sl@0: test compExpr-old-14.17 {CompilePrimaryExpr: string primary that looks like var ref} { sl@0: expr $ sl@0: } $ sl@0: test compExpr-old-14.18 {CompilePrimaryExpr: quoted string primary} { sl@0: expr "21" sl@0: } 21 sl@0: test compExpr-old-14.19 {CompilePrimaryExpr: quoted string primary} { sl@0: set i 123 sl@0: set x 456 sl@0: expr "$i+$x" sl@0: } 579 sl@0: test compExpr-old-14.20 {CompilePrimaryExpr: quoted string primary} { sl@0: set i 3 sl@0: set x 6 sl@0: expr 2+"$i.$x" sl@0: } 5.6 sl@0: test compExpr-old-14.21 {CompilePrimaryExpr: error in quoted string primary} { sl@0: catch {expr "[set]"} msg sl@0: set msg sl@0: } {wrong # args: should be "set varName ?newValue?"} sl@0: test compExpr-old-14.22 {CompilePrimaryExpr: subcommand primary} { sl@0: expr {[set i 123; set i]} sl@0: } 123 sl@0: test compExpr-old-14.23 {CompilePrimaryExpr: error in subcommand primary} { sl@0: catch {expr {[set]}} msg sl@0: set errorInfo sl@0: } {wrong # args: should be "set varName ?newValue?" sl@0: while compiling sl@0: "set" sl@0: while compiling sl@0: "expr {[set]}"} sl@0: test compExpr-old-14.24 {CompilePrimaryExpr: error in subcommand primary} { sl@0: catch {expr {[set i}} msg sl@0: set errorInfo sl@0: } {missing close-bracket sl@0: while compiling sl@0: "expr {[set i}"} sl@0: test compExpr-old-14.25 {CompilePrimaryExpr: math function primary} { sl@0: format %.6g [expr exp(1.0)] sl@0: } 2.71828 sl@0: test compExpr-old-14.26 {CompilePrimaryExpr: math function primary} { sl@0: format %.6g [expr pow(2.0+0.1,3.0+0.1)] sl@0: } 9.97424 sl@0: test compExpr-old-14.27 {CompilePrimaryExpr: error in math function primary} { sl@0: catch {expr sinh::(2.0)} msg sl@0: set errorInfo sl@0: } {syntax error in expression "sinh::(2.0)": expected parenthesis enclosing function arguments sl@0: while compiling sl@0: "expr sinh::(2.0)"} sl@0: test compExpr-old-14.28 {CompilePrimaryExpr: subexpression primary} { sl@0: expr 2+(3*4) sl@0: } 14 sl@0: test compExpr-old-14.29 {CompilePrimaryExpr: error in subexpression primary} { sl@0: catch {expr 2+(3*[set])} msg sl@0: set errorInfo sl@0: } {wrong # args: should be "set varName ?newValue?" sl@0: while compiling sl@0: "set" sl@0: while compiling sl@0: "expr 2+(3*[set])"} sl@0: test compExpr-old-14.30 {CompilePrimaryExpr: missing paren in subexpression primary} { sl@0: catch {expr 2+(3*(4+5)} msg sl@0: set errorInfo sl@0: } {syntax error in expression "2+(3*(4+5)": looking for close parenthesis sl@0: while compiling sl@0: "expr 2+(3*(4+5)"} sl@0: test compExpr-old-14.31 {CompilePrimaryExpr: just var ref in subexpression primary} { sl@0: set i "5+10" sl@0: list "[expr $i] == 15" "[expr ($i)] == 15" "[eval expr ($i)] == 15" sl@0: } {{15 == 15} {15 == 15} {15 == 15}} sl@0: test compExpr-old-14.32 {CompilePrimaryExpr: unexpected token} { sl@0: catch {expr @} msg sl@0: set errorInfo sl@0: } {syntax error in expression "@": character not legal in expressions sl@0: while compiling sl@0: "expr @"} sl@0: sl@0: test compExpr-old-15.1 {CompileMathFuncCall: missing parenthesis} { sl@0: catch {expr sinh2.0)} msg sl@0: set errorInfo sl@0: } {syntax error in expression "sinh2.0)": variable references require preceding $ sl@0: while compiling sl@0: "expr sinh2.0)"} sl@0: test compExpr-old-15.2 {CompileMathFuncCall: unknown math function} { sl@0: catch {expr whazzathuh(1)} msg sl@0: set errorInfo sl@0: } {unknown math function "whazzathuh" sl@0: while compiling sl@0: "expr whazzathuh(1)"} sl@0: test compExpr-old-15.3 {CompileMathFuncCall: too many arguments} { sl@0: catch {expr sin(1,2,3)} msg sl@0: set errorInfo sl@0: } {too many arguments for math function sl@0: while compiling sl@0: "expr sin(1,2,3)"} sl@0: test compExpr-old-15.4 {CompileMathFuncCall: ')' found before last required arg} { sl@0: catch {expr sin()} msg sl@0: set errorInfo sl@0: } {too few arguments for math function sl@0: while compiling sl@0: "expr sin()"} sl@0: test compExpr-old-15.5 {CompileMathFuncCall: too few arguments} { sl@0: catch {expr pow(1)} msg sl@0: set errorInfo sl@0: } {too few arguments for math function sl@0: while compiling sl@0: "expr pow(1)"} sl@0: test compExpr-old-15.6 {CompileMathFuncCall: missing ')'} { sl@0: catch {expr sin(1} msg sl@0: set errorInfo sl@0: } {syntax error in expression "sin(1": missing close parenthesis at end of function call sl@0: while compiling sl@0: "expr sin(1"} sl@0: if $gotT1 { sl@0: test compExpr-old-15.7 {CompileMathFuncCall: call registered math function} { sl@0: expr 2*T1() sl@0: } 246 sl@0: test compExpr-old-15.8 {CompileMathFuncCall: call registered math function} { sl@0: expr T2()*3 sl@0: } 1035 sl@0: sl@0: test compExpr-old-15.9 {CompileMathFuncCall: call registered math function} { sl@0: expr T3(21, 37) sl@0: } 37 sl@0: test compExpr-old-15.10 {CompileMathFuncCall: call registered math function} { sl@0: expr T3(21.2, 37) sl@0: } 37.0 sl@0: test compExpr-old-15.11 {CompileMathFuncCall: call registered math function} { sl@0: expr T3(-21.2, -17.5) sl@0: } -17.5 sl@0: } sl@0: sl@0: test compExpr-old-16.1 {GetToken: checks whether integer token starting with "0x" (e.g., "0x$") is invalid} { sl@0: catch {unset a} sl@0: set a(VALUE) ff15 sl@0: set i 123 sl@0: if {[expr 0x$a(VALUE)] & 16} { sl@0: set i {} sl@0: } sl@0: set i sl@0: } {} sl@0: test compExpr-old-16.2 {GetToken: check for string literal in braces} { sl@0: expr {{1}} sl@0: } {1} sl@0: sl@0: # Check "expr" and computed command names. sl@0: sl@0: test compExpr-old-17.1 {expr and computed command names} { sl@0: set i 0 sl@0: set z expr sl@0: $z 1+2 sl@0: } 3 sl@0: sl@0: # Check correct conversion of operands to numbers: If the string looks like sl@0: # an integer, convert to integer. Otherwise, if the string looks like a sl@0: # double, convert to double. sl@0: sl@0: test compExpr-old-18.1 {expr and conversion of operands to numbers} { sl@0: set x [lindex 11 0] sl@0: catch {expr int($x)} sl@0: expr {$x} sl@0: } 11 sl@0: sl@0: # Check "expr" and interpreter result object resetting before appending sl@0: # an error msg during evaluation of exprs not in {}s sl@0: sl@0: test compExpr-old-19.1 {expr and interpreter result object resetting} { sl@0: proc p {} { sl@0: set t 10.0 sl@0: set x 2.0 sl@0: set dx 0.2 sl@0: set f {$dx-$x/10} sl@0: set g {-$x/5} sl@0: set center 1.0 sl@0: set x [expr $x-$center] sl@0: set dx [expr $dx+$g] sl@0: set x [expr $x+$f+$center] sl@0: set x [expr $x+$f+$center] sl@0: set y [expr round($x)] sl@0: } sl@0: p sl@0: } 3 sl@0: sl@0: # cleanup sl@0: if {[info exists a]} { sl@0: unset a sl@0: } sl@0: ::tcltest::cleanupTests sl@0: return