parseExpr.test
上传用户:rrhhcc
上传日期:2015-12-11
资源大小:54129k
文件大小:45k
源码类别:

通讯编程

开发平台:

Visual C++

  1. # This file contains a collection of tests for the procedures in the
  2. # file tclParseExpr.c.  Sourcing this file into Tcl runs the tests and
  3. # generates output for errors.  No output means no errors were found.
  4. #
  5. # Copyright (c) 1997 Sun Microsystems, Inc.
  6. # Copyright (c) 1998-1999 by Scriptics Corporation.
  7. #
  8. # See the file "license.terms" for information on usage and redistribution
  9. # of this file, and for a DISCLAIMER OF ALL WARRANTIES.
  10. #
  11. # RCS: @(#) $Id: parseExpr.test,v 1.10.2.1 2003/10/06 13:55:39 dgp Exp $
  12. if {[lsearch [namespace children] ::tcltest] == -1} {
  13.     package require tcltest 2
  14.     namespace import -force ::tcltest::*
  15. }
  16. # Note that the Tcl expression parser (tclParseExpr.c) does not check
  17. # the semantic validity of the expressions it parses. It does not check,
  18. # for example, that a math function actually exists, or that the operands
  19. # of "<<" are integers.
  20. if {[info commands testexprparser] == {}} {
  21.     puts "This application hasn't been compiled with the "testexprparser""
  22.     puts "command, so I can't test the Tcl expression parser."
  23.     ::tcltest::cleanupTests
  24.     return 
  25. }
  26. # Some tests only work if wide integers (>32bit) are not found to be
  27. # integers at all.
  28. set ::tcltest::testConstraints(wideIntegerUnparsed) 
  29. [expr {-1 == 0xffffffff}]
  30. test parseExpr-1.1 {Tcl_ParseExpr procedure, computing string length} {
  31.     testexprparser [bytestring "1+2 +3"] -1
  32. } {- {} 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  33. test parseExpr-1.2 {Tcl_ParseExpr procedure, computing string length} {
  34.     testexprparser "1  + 2" -1
  35. } {- {} 0 subexpr {1  + 2} 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  36. test parseExpr-1.3 {Tcl_ParseExpr procedure, error getting initial lexeme} {wideIntegerUnparsed} {
  37.     list [catch {testexprparser {12345678901234567890} -1} msg] $msg
  38. } {1 {integer value too large to represent}}
  39. test parseExpr-1.4 {Tcl_ParseExpr procedure, error in conditional expression} {
  40.     list [catch {testexprparser {foo+} -1} msg] $msg
  41. } {1 {syntax error in expression "foo+": variable references require preceding $}}
  42. test parseExpr-1.5 {Tcl_ParseExpr procedure, lexemes after the expression} {
  43.     list [catch {testexprparser {1+2 345} -1} msg] $msg
  44. } {1 {syntax error in expression "1+2 345": extra tokens at end of expression}}
  45. test parseExpr-2.1 {ParseCondExpr procedure, valid test subexpr} {
  46.     testexprparser {2>3? 1 : 0} -1
  47. } {- {} 0 subexpr {2>3? 1 : 0} 11 operator ? 0 subexpr 2>3 5 operator > 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  48. test parseExpr-2.2 {ParseCondExpr procedure, error in test subexpr} {
  49.     list [catch {testexprparser {0 || foo} -1} msg] $msg
  50. } {1 {syntax error in expression "0 || foo": variable references require preceding $}}
  51. test parseExpr-2.3 {ParseCondExpr procedure, next lexeme isn't "?"} {
  52.     testexprparser {1+2} -1
  53. } {- {} 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  54. test parseExpr-2.4 {ParseCondExpr procedure, next lexeme is "?"} {
  55.     testexprparser {1+2 ? 3 : 4} -1
  56. } {- {} 0 subexpr {1+2 ? 3 : 4} 11 operator ? 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  57. test parseExpr-2.5 {ParseCondExpr procedure, bad lexeme after "?"} {wideIntegerUnparsed} {
  58.     list [catch {testexprparser {1+2 ? 12345678901234567890} -1} msg] $msg
  59. } {1 {integer value too large to represent}}
  60. test parseExpr-2.6 {ParseCondExpr procedure, valid "then" subexpression} {
  61.     testexprparser {1? 3 : 4} -1
  62. } {- {} 0 subexpr {1? 3 : 4} 7 operator ? 0 subexpr 1 1 text 1 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  63. test parseExpr-2.7 {ParseCondExpr procedure, error in "then" subexpression} {
  64.     list [catch {testexprparser {1? fred : martha} -1} msg] $msg
  65. } {1 {syntax error in expression "1? fred : martha": variable references require preceding $}}
  66. test parseExpr-2.8 {ParseCondExpr procedure, lexeme after "then" subexpr isn't ":"} {
  67.     list [catch {testexprparser {1? 2 martha 3} -1} msg] $msg
  68. } {1 {syntax error in expression "1? 2 martha 3": missing colon from ternary conditional}}
  69. test parseExpr-2.9 {ParseCondExpr procedure, valid "else" subexpression} {
  70.     testexprparser {27||3? 3 : 4&&9} -1
  71. } {- {} 0 subexpr {27||3? 3 : 4&&9} 15 operator ? 0 subexpr 27||3 5 operator || 0 subexpr 27 1 text 27 0 subexpr 3 1 text 3 0 subexpr 3 1 text 3 0 subexpr 4&&9 5 operator && 0 subexpr 4 1 text 4 0 subexpr 9 1 text 9 0 {}}
  72. test parseExpr-2.10 {ParseCondExpr procedure, error in "else" subexpression} {
  73.     list [catch {testexprparser {1? 2 : martha} -1} msg] $msg
  74. } {1 {syntax error in expression "1? 2 : martha": variable references require preceding $}}
  75. test parseExpr-3.1 {ParseLorExpr procedure, valid logical and subexpr} {
  76.     testexprparser {1&&2 || 3} -1
  77. } {- {} 0 subexpr {1&&2 || 3} 9 operator || 0 subexpr 1&&2 5 operator && 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  78. test parseExpr-3.2 {ParseLorExpr procedure, error in logical and subexpr} {
  79.     list [catch {testexprparser {1&&foo || 3} -1} msg] $msg
  80. } {1 {syntax error in expression "1&&foo || 3": variable references require preceding $}}
  81. test parseExpr-3.3 {ParseLorExpr procedure, next lexeme isn't "||"} {
  82.     testexprparser {1&&2? 1 : 0} -1
  83. } {- {} 0 subexpr {1&&2? 1 : 0} 11 operator ? 0 subexpr 1&&2 5 operator && 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  84. test parseExpr-3.4 {ParseLorExpr procedure, next lexeme is "||"} {
  85.     testexprparser {1&&2 || 3} -1
  86. } {- {} 0 subexpr {1&&2 || 3} 9 operator || 0 subexpr 1&&2 5 operator && 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  87. test parseExpr-3.5 {ParseLorExpr procedure, bad lexeme after "||"} {wideIntegerUnparsed} {
  88.     list [catch {testexprparser {1&&2 || 12345678901234567890} -1} msg] $msg
  89. } {1 {integer value too large to represent}}
  90. test parseExpr-3.6 {ParseLorExpr procedure, valid RHS subexpression} {
  91.     testexprparser {1&&2 || 3 || 4} -1
  92. } {- {} 0 subexpr {1&&2 || 3 || 4} 13 operator || 0 subexpr {1&&2 || 3} 9 operator || 0 subexpr 1&&2 5 operator && 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  93. test parseExpr-3.7 {ParseLorExpr procedure, error in RHS subexpression} {
  94.     list [catch {testexprparser {1&&2 || 3 || martha} -1} msg] $msg
  95. } {1 {syntax error in expression "1&&2 || 3 || martha": variable references require preceding $}}
  96. test parseExpr-4.1 {ParseLandExpr procedure, valid LHS "|" subexpr} {
  97.     testexprparser {1|2 && 3} -1
  98. } {- {} 0 subexpr {1|2 && 3} 9 operator && 0 subexpr 1|2 5 operator | 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  99. test parseExpr-4.2 {ParseLandExpr procedure, error in LHS "|" subexpr} {
  100.     list [catch {testexprparser {1&&foo && 3} -1} msg] $msg
  101. } {1 {syntax error in expression "1&&foo && 3": variable references require preceding $}}
  102. test parseExpr-4.3 {ParseLandExpr procedure, next lexeme isn't "&&"} {
  103.     testexprparser {1|2? 1 : 0} -1
  104. } {- {} 0 subexpr {1|2? 1 : 0} 11 operator ? 0 subexpr 1|2 5 operator | 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  105. test parseExpr-4.4 {ParseLandExpr procedure, next lexeme is "&&"} {
  106.     testexprparser {1|2 && 3} -1
  107. } {- {} 0 subexpr {1|2 && 3} 9 operator && 0 subexpr 1|2 5 operator | 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  108. test parseExpr-4.5 {ParseLandExpr procedure, bad lexeme after "&&"} {wideIntegerUnparsed} {
  109.     list [catch {testexprparser {1|2 && 12345678901234567890} -1} msg] $msg
  110. } {1 {integer value too large to represent}}
  111. test parseExpr-4.6 {ParseLandExpr procedure, valid RHS subexpression} {
  112.     testexprparser {1|2 && 3 && 4} -1
  113. } {- {} 0 subexpr {1|2 && 3 && 4} 13 operator && 0 subexpr {1|2 && 3} 9 operator && 0 subexpr 1|2 5 operator | 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  114. test parseExpr-4.7 {ParseLandExpr procedure, error in RHS subexpression} {
  115.     list [catch {testexprparser {1|2 && 3 && martha} -1} msg] $msg
  116. } {1 {syntax error in expression "1|2 && 3 && martha": variable references require preceding $}}
  117. test parseExpr-5.1 {ParseBitOrExpr procedure, valid LHS "^" subexpr} {
  118.     testexprparser {1^2 | 3} -1
  119. } {- {} 0 subexpr {1^2 | 3} 9 operator | 0 subexpr 1^2 5 operator ^ 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  120. test parseExpr-5.2 {ParseBitOrExpr procedure, error in LHS "^" subexpr} {
  121.     list [catch {testexprparser {1|foo | 3} -1} msg] $msg
  122. } {1 {syntax error in expression "1|foo | 3": variable references require preceding $}}
  123. test parseExpr-5.3 {ParseBitOrExpr procedure, next lexeme isn't "|"} {
  124.     testexprparser {1^2? 1 : 0} -1
  125. } {- {} 0 subexpr {1^2? 1 : 0} 11 operator ? 0 subexpr 1^2 5 operator ^ 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  126. test parseExpr-5.4 {ParseBitOrExpr procedure, next lexeme is "|"} {
  127.     testexprparser {1^2 | 3} -1
  128. } {- {} 0 subexpr {1^2 | 3} 9 operator | 0 subexpr 1^2 5 operator ^ 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  129. test parseExpr-5.5 {ParseBitOrExpr procedure, bad lexeme after "|"} {wideIntegerUnparsed} {
  130.     list [catch {testexprparser {1^2 | 12345678901234567890} -1} msg] $msg
  131. } {1 {integer value too large to represent}}
  132. test parseExpr-5.6 {ParseBitOrExpr procedure, valid RHS subexpression} {
  133.     testexprparser {1^2 | 3 | 4} -1
  134. } {- {} 0 subexpr {1^2 | 3 | 4} 13 operator | 0 subexpr {1^2 | 3} 9 operator | 0 subexpr 1^2 5 operator ^ 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  135. test parseExpr-5.7 {ParseBitOrExpr procedure, error in RHS subexpression} {
  136.     list [catch {testexprparser {1^2 | 3 | martha} -1} msg] $msg
  137. } {1 {syntax error in expression "1^2 | 3 | martha": variable references require preceding $}}
  138. test parseExpr-6.1 {ParseBitXorExpr procedure, valid LHS "&" subexpr} {
  139.     testexprparser {1&2 ^ 3} -1
  140. } {- {} 0 subexpr {1&2 ^ 3} 9 operator ^ 0 subexpr 1&2 5 operator & 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  141. test parseExpr-6.2 {ParseBitXorExpr procedure, error in LHS "&" subexpr} {
  142.     list [catch {testexprparser {1^foo ^ 3} -1} msg] $msg
  143. } {1 {syntax error in expression "1^foo ^ 3": variable references require preceding $}}
  144. test parseExpr-6.3 {ParseBitXorExpr procedure, next lexeme isn't "^"} {
  145.     testexprparser {1&2? 1 : 0} -1
  146. } {- {} 0 subexpr {1&2? 1 : 0} 11 operator ? 0 subexpr 1&2 5 operator & 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  147. test parseExpr-6.4 {ParseBitXorExpr procedure, next lexeme is "^"} {
  148.     testexprparser {1&2 ^ 3} -1
  149. } {- {} 0 subexpr {1&2 ^ 3} 9 operator ^ 0 subexpr 1&2 5 operator & 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  150. test parseExpr-6.5 {ParseBitXorExpr procedure, bad lexeme after "^"} {wideIntegerUnparsed} {
  151.     list [catch {testexprparser {1&2 ^ 12345678901234567890} -1} msg] $msg
  152. } {1 {integer value too large to represent}}
  153. test parseExpr-6.6 {ParseBitXorExpr procedure, valid RHS subexpression} {
  154.     testexprparser {1&2 ^ 3 ^ 4} -1
  155. } {- {} 0 subexpr {1&2 ^ 3 ^ 4} 13 operator ^ 0 subexpr {1&2 ^ 3} 9 operator ^ 0 subexpr 1&2 5 operator & 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  156. test parseExpr-6.7 {ParseBitXorExpr procedure, error in RHS subexpression} {
  157.     list [catch {testexprparser {1&2 ^ 3 ^ martha} -1} msg] $msg
  158. } {1 {syntax error in expression "1&2 ^ 3 ^ martha": variable references require preceding $}}
  159. test parseExpr-7.1 {ParseBitAndExpr procedure, valid LHS equality subexpr} {
  160.     testexprparser {1==2 & 3} -1
  161. } {- {} 0 subexpr {1==2 & 3} 9 operator & 0 subexpr 1==2 5 operator == 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  162. test parseExpr-7.2 {ParseBitAndExpr procedure, error in LHS equality subexpr} {
  163.     list [catch {testexprparser {1!=foo & 3} -1} msg] $msg
  164. } {1 {syntax error in expression "1!=foo & 3": variable references require preceding $}}
  165. test parseExpr-7.3 {ParseBitAndExpr procedure, next lexeme isn't "&"} {
  166.     testexprparser {1==2? 1 : 0} -1
  167. } {- {} 0 subexpr {1==2? 1 : 0} 11 operator ? 0 subexpr 1==2 5 operator == 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  168. test parseExpr-7.4 {ParseBitAndExpr procedure, next lexeme is "&"} {
  169.     testexprparser {1>2 & 3} -1
  170. } {- {} 0 subexpr {1>2 & 3} 9 operator & 0 subexpr 1>2 5 operator > 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  171. test parseExpr-7.5 {ParseBitAndExpr procedure, bad lexeme after "&"} {wideIntegerUnparsed} {
  172.     list [catch {testexprparser {1==2 & 12345678901234567890} -1} msg] $msg
  173. } {1 {integer value too large to represent}}
  174. test parseExpr-7.6 {ParseBitAndExpr procedure, valid RHS subexpression} {
  175.     testexprparser {1<2 & 3 & 4} -1
  176. } {- {} 0 subexpr {1<2 & 3 & 4} 13 operator & 0 subexpr {1<2 & 3} 9 operator & 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  177. test parseExpr-7.7 {ParseBitAndExpr procedure, error in RHS subexpression} {
  178.     list [catch {testexprparser {1==2 & 3>2 & martha} -1} msg] $msg
  179. } {1 {syntax error in expression "1==2 & 3>2 & martha": variable references require preceding $}}
  180. test parseExpr-8.1 {ParseEqualityExpr procedure, valid LHS relational subexpr} {
  181.     testexprparser {1<2 == 3} -1
  182. } {- {} 0 subexpr {1<2 == 3} 9 operator == 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  183. test parseExpr-8.2 {ParseEqualityExpr procedure, error in LHS relational subexpr} {
  184.     list [catch {testexprparser {1>=foo == 3} -1} msg] $msg
  185. } {1 {syntax error in expression "1>=foo == 3": variable references require preceding $}}
  186. test parseExpr-8.3 {ParseEqualityExpr procedure, next lexeme isn't "==" or "!="} {
  187.     testexprparser {1<2? 1 : 0} -1
  188. } {- {} 0 subexpr {1<2? 1 : 0} 11 operator ? 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  189. test parseExpr-8.4 {ParseEqualityExpr procedure, next lexeme is "==" or "!="} {
  190.     testexprparser {1<2 == 3} -1
  191. } {- {} 0 subexpr {1<2 == 3} 9 operator == 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  192. test parseExpr-8.5 {ParseEqualityExpr procedure, next lexeme is "==" or "!="} {
  193.     testexprparser {1<2 != 3} -1
  194. } {- {} 0 subexpr {1<2 != 3} 9 operator != 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  195. test parseExpr-8.6 {ParseEqualityExpr procedure, bad lexeme after "==" or "!="} {wideIntegerUnparsed} {
  196.     list [catch {testexprparser {1<2 == 12345678901234567890} -1} msg] $msg
  197. } {1 {integer value too large to represent}}
  198. test parseExpr-8.7 {ParseEqualityExpr procedure, valid RHS subexpression} {
  199.     testexprparser {1<2 == 3 == 4} -1
  200. } {- {} 0 subexpr {1<2 == 3 == 4} 13 operator == 0 subexpr {1<2 == 3} 9 operator == 0 subexpr 1<2 5 operator < 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  201. test parseExpr-8.8 {ParseEqualityExpr procedure, error in RHS subexpression} {
  202.     list [catch {testexprparser {1<2 == 3 != martha} -1} msg] $msg
  203. } {1 {syntax error in expression "1<2 == 3 != martha": variable references require preceding $}}
  204. test parseExpr-9.1 {ParseRelationalExpr procedure, valid LHS shift subexpr} {
  205.     testexprparser {1<<2 < 3} -1
  206. } {- {} 0 subexpr {1<<2 < 3} 9 operator < 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  207. test parseExpr-9.2 {ParseRelationalExpr procedure, error in LHS shift subexpr} {
  208.     list [catch {testexprparser {1>=foo < 3} -1} msg] $msg
  209. } {1 {syntax error in expression "1>=foo < 3": variable references require preceding $}}
  210. test parseExpr-9.3 {ParseRelationalExpr procedure, next lexeme isn't relational op} {
  211.     testexprparser {1<<2? 1 : 0} -1
  212. } {- {} 0 subexpr {1<<2? 1 : 0} 11 operator ? 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  213. test parseExpr-9.4 {ParseRelationalExpr procedure, next lexeme is relational op} {
  214.     testexprparser {1<<2 < 3} -1
  215. } {- {} 0 subexpr {1<<2 < 3} 9 operator < 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  216. test parseExpr-9.5 {ParseRelationalExpr procedure, next lexeme is relational op} {
  217.     testexprparser {1>>2 > 3} -1
  218. } {- {} 0 subexpr {1>>2 > 3} 9 operator > 0 subexpr 1>>2 5 operator >> 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  219. test parseExpr-9.6 {ParseRelationalExpr procedure, next lexeme is relational op} {
  220.     testexprparser {1<<2 <= 3} -1
  221. } {- {} 0 subexpr {1<<2 <= 3} 9 operator <= 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  222. test parseExpr-9.7 {ParseRelationalExpr procedure, next lexeme is relational op} {
  223.     testexprparser {1<<2 >= 3} -1
  224. } {- {} 0 subexpr {1<<2 >= 3} 9 operator >= 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  225. test parseExpr-9.8 {ParseRelationalExpr procedure, bad lexeme after relational op} {wideIntegerUnparsed} {
  226.     list [catch {testexprparser {1<<2 < 12345678901234567890} -1} msg] $msg
  227. } {1 {integer value too large to represent}}
  228. test parseExpr-9.9 {ParseRelationalExpr procedure, valid RHS subexpression} {
  229.     testexprparser {1<<2 < 3 < 4} -1
  230. } {- {} 0 subexpr {1<<2 < 3 < 4} 13 operator < 0 subexpr {1<<2 < 3} 9 operator < 0 subexpr 1<<2 5 operator << 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  231. test parseExpr-9.10 {ParseRelationalExpr procedure, error in RHS subexpression} {
  232.     list [catch {testexprparser {1<<2 < 3 > martha} -1} msg] $msg
  233. } {1 {syntax error in expression "1<<2 < 3 > martha": variable references require preceding $}}
  234. test parseExpr-10.1 {ParseShiftExpr procedure, valid LHS add subexpr} {
  235.     testexprparser {1+2 << 3} -1
  236. } {- {} 0 subexpr {1+2 << 3} 9 operator << 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  237. test parseExpr-10.2 {ParseShiftExpr procedure, error in LHS add subexpr} {
  238.     list [catch {testexprparser {1-foo << 3} -1} msg] $msg
  239. } {1 {syntax error in expression "1-foo << 3": variable references require preceding $}}
  240. test parseExpr-10.3 {ParseShiftExpr procedure, next lexeme isn't "<<" or ">>"} {
  241.     testexprparser {1+2? 1 : 0} -1
  242. } {- {} 0 subexpr {1+2? 1 : 0} 11 operator ? 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  243. test parseExpr-10.4 {ParseShiftExpr procedure, next lexeme is "<<" or ">>"} {
  244.     testexprparser {1+2 << 3} -1
  245. } {- {} 0 subexpr {1+2 << 3} 9 operator << 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  246. test parseExpr-10.5 {ParseShiftExpr procedure, next lexeme is "<<" or ">>"} {
  247.     testexprparser {1+2 >> 3} -1
  248. } {- {} 0 subexpr {1+2 >> 3} 9 operator >> 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  249. test parseExpr-10.6 {ParseShiftExpr procedure, bad lexeme after "<<" or ">>"} {wideIntegerUnparsed} {
  250.     list [catch {testexprparser {1+2 << 12345678901234567890} -1} msg] $msg
  251. } {1 {integer value too large to represent}}
  252. test parseExpr-10.7 {ParseShiftExpr procedure, valid RHS subexpression} {
  253.     testexprparser {1+2 << 3 << 4} -1
  254. } {- {} 0 subexpr {1+2 << 3 << 4} 13 operator << 0 subexpr {1+2 << 3} 9 operator << 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  255. test parseExpr-10.8 {ParseShiftExpr procedure, error in RHS subexpression} {
  256.     list [catch {testexprparser {1+2 << 3 >> martha} -1} msg] $msg
  257. } {1 {syntax error in expression "1+2 << 3 >> martha": variable references require preceding $}}
  258. test parseExpr-11.1 {ParseAddExpr procedure, valid LHS multiply subexpr} {
  259.     testexprparser {1*2 + 3} -1
  260. } {- {} 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  261. test parseExpr-11.2 {ParseAddExpr procedure, error in LHS multiply subexpr} {
  262.     list [catch {testexprparser {1/foo + 3} -1} msg] $msg
  263. } {1 {syntax error in expression "1/foo + 3": variable references require preceding $}}
  264. test parseExpr-11.3 {ParseAddExpr procedure, next lexeme isn't "+" or "-"} {
  265.     testexprparser {1*2? 1 : 0} -1
  266. } {- {} 0 subexpr {1*2? 1 : 0} 11 operator ? 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  267. test parseExpr-11.4 {ParseAddExpr procedure, next lexeme is "+" or "-"} {
  268.     testexprparser {1*2 + 3} -1
  269. } {- {} 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  270. test parseExpr-11.5 {ParseAddExpr procedure, next lexeme is "+" or "-"} {
  271.     testexprparser {1*2 - 3} -1
  272. } {- {} 0 subexpr {1*2 - 3} 9 operator - 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  273. test parseExpr-11.6 {ParseAddExpr procedure, bad lexeme after "+" or "-"} {wideIntegerUnparsed} {
  274.     list [catch {testexprparser {1*2 + 12345678901234567890} -1} msg] $msg
  275. } {1 {integer value too large to represent}}
  276. test parseExpr-11.7 {ParseAddExpr procedure, valid RHS subexpression} {
  277.     testexprparser {1*2 + 3 + 4} -1
  278. } {- {} 0 subexpr {1*2 + 3 + 4} 13 operator + 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  279. test parseExpr-11.8 {ParseAddExpr procedure, error in RHS subexpression} {
  280.     list [catch {testexprparser {1*2 + 3 - martha} -1} msg] $msg
  281. } {1 {syntax error in expression "1*2 + 3 - martha": variable references require preceding $}}
  282. test parseExpr-12.1 {ParseAddExpr procedure, valid LHS multiply subexpr} {
  283.     testexprparser {1*2 + 3} -1
  284. } {- {} 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  285. test parseExpr-12.2 {ParseAddExpr procedure, error in LHS multiply subexpr} {
  286.     list [catch {testexprparser {1/foo + 3} -1} msg] $msg
  287. } {1 {syntax error in expression "1/foo + 3": variable references require preceding $}}
  288. test parseExpr-12.3 {ParseAddExpr procedure, next lexeme isn't "+" or "-"} {
  289.     testexprparser {1*2? 1 : 0} -1
  290. } {- {} 0 subexpr {1*2? 1 : 0} 11 operator ? 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  291. test parseExpr-12.4 {ParseAddExpr procedure, next lexeme is "+" or "-"} {
  292.     testexprparser {1*2 + 3} -1
  293. } {- {} 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  294. test parseExpr-12.5 {ParseAddExpr procedure, next lexeme is "+" or "-"} {
  295.     testexprparser {1*2 - 3} -1
  296. } {- {} 0 subexpr {1*2 - 3} 9 operator - 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  297. test parseExpr-12.6 {ParseAddExpr procedure, bad lexeme after "+" or "-"} {wideIntegerUnparsed} {
  298.     list [catch {testexprparser {1*2 + 12345678901234567890} -1} msg] $msg
  299. } {1 {integer value too large to represent}}
  300. test parseExpr-12.7 {ParseAddExpr procedure, valid RHS subexpression} {
  301.     testexprparser {1*2 + 3 + 4} -1
  302. } {- {} 0 subexpr {1*2 + 3 + 4} 13 operator + 0 subexpr {1*2 + 3} 9 operator + 0 subexpr 1*2 5 operator * 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  303. test parseExpr-12.8 {ParseAddExpr procedure, error in RHS subexpression} {
  304.     list [catch {testexprparser {1*2 + 3 - martha} -1} msg] $msg
  305. } {1 {syntax error in expression "1*2 + 3 - martha": variable references require preceding $}}
  306. test parseExpr-13.1 {ParseMultiplyExpr procedure, valid LHS unary subexpr} {
  307.     testexprparser {+2 * 3} -1
  308. } {- {} 0 subexpr {+2 * 3} 7 operator * 0 subexpr +2 3 operator + 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  309. test parseExpr-13.2 {ParseMultiplyExpr procedure, error in LHS unary subexpr} {wideIntegerUnparsed} {
  310.     list [catch {testexprparser {-12345678901234567890 * 3} -1} msg] $msg
  311. } {1 {integer value too large to represent}}
  312. test parseExpr-13.3 {ParseMultiplyExpr procedure, next lexeme isn't "*", "/", or "%"} {
  313.     testexprparser {+2? 1 : 0} -1
  314. } {- {} 0 subexpr {+2? 1 : 0} 9 operator ? 0 subexpr +2 3 operator + 0 subexpr 2 1 text 2 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  315. test parseExpr-13.4 {ParseMultiplyExpr procedure, next lexeme is "*", "/", or "%"} {
  316.     testexprparser {-123 * 3} -1
  317. } {- {} 0 subexpr {-123 * 3} 7 operator * 0 subexpr -123 3 operator - 0 subexpr 123 1 text 123 0 subexpr 3 1 text 3 0 {}}
  318. test parseExpr-13.5 {ParseMultiplyExpr procedure, next lexeme is "*", "/", or "%"} {
  319.     testexprparser {+-456 / 3} -1
  320. } {- {} 0 subexpr {+-456 / 3} 9 operator / 0 subexpr +-456 5 operator + 0 subexpr -456 3 operator - 0 subexpr 456 1 text 456 0 subexpr 3 1 text 3 0 {}}
  321. test parseExpr-13.6 {ParseMultiplyExpr procedure, next lexeme is "*", "/", or "%"} {
  322.     testexprparser {+-456 % 3} -1
  323. } {- {} 0 subexpr {+-456 % 3} 9 operator % 0 subexpr +-456 5 operator + 0 subexpr -456 3 operator - 0 subexpr 456 1 text 456 0 subexpr 3 1 text 3 0 {}}
  324. test parseExpr-13.7 {ParseMultiplyExpr procedure, bad lexeme after "*", "/", or "%"} {wideIntegerUnparsed} {
  325.     list [catch {testexprparser {--++5 / 12345678901234567890} -1} msg] $msg
  326. } {1 {integer value too large to represent}}
  327. test parseExpr-13.8 {ParseMultiplyExpr procedure, valid RHS subexpression} {
  328.     testexprparser {-2 / 3 % 4} -1
  329. } {- {} 0 subexpr {-2 / 3 % 4} 11 operator % 0 subexpr {-2 / 3} 7 operator / 0 subexpr -2 3 operator - 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 subexpr 4 1 text 4 0 {}}
  330. test parseExpr-13.9 {ParseMultiplyExpr procedure, error in RHS subexpression} {
  331.     list [catch {testexprparser {++2 / 3 * martha} -1} msg] $msg
  332. } {1 {syntax error in expression "++2 / 3 * martha": variable references require preceding $}}
  333. test parseExpr-14.1 {ParseUnaryExpr procedure, first token is unary operator} {
  334.     testexprparser {+2} -1
  335. } {- {} 0 subexpr +2 3 operator + 0 subexpr 2 1 text 2 0 {}}
  336. test parseExpr-14.2 {ParseUnaryExpr procedure, first token is unary operator} {
  337.     testexprparser {-2} -1
  338. } {- {} 0 subexpr -2 3 operator - 0 subexpr 2 1 text 2 0 {}}
  339. test parseExpr-14.3 {ParseUnaryExpr procedure, first token is unary operator} {
  340.     testexprparser {~2} -1
  341. } {- {} 0 subexpr ~2 3 operator ~ 0 subexpr 2 1 text 2 0 {}}
  342. test parseExpr-14.4 {ParseUnaryExpr procedure, first token is unary operator} {
  343.     testexprparser {!2} -1
  344. } {- {} 0 subexpr !2 3 operator ! 0 subexpr 2 1 text 2 0 {}}
  345. test parseExpr-14.5 {ParseUnaryExpr procedure, error in lexeme after unary op} {wideIntegerUnparsed} {
  346.     list [catch {testexprparser {-12345678901234567890} -1} msg] $msg
  347. } {1 {integer value too large to represent}}
  348. test parseExpr-14.6 {ParseUnaryExpr procedure, simple unary expr after unary op} {
  349.     testexprparser {+"1234"} -1
  350. } {- {} 0 subexpr +"1234" 3 operator + 0 subexpr {"1234"} 1 text 1234 0 {}}
  351. test parseExpr-14.7 {ParseUnaryExpr procedure, another unary expr after unary op} {
  352.     testexprparser {~!{fred}} -1
  353. } {- {} 0 subexpr ~!{fred} 5 operator ~ 0 subexpr !{fred} 3 operator ! 0 subexpr {{fred}} 1 text fred 0 {}}
  354. test parseExpr-14.8 {ParseUnaryExpr procedure, error in unary expr after unary op} {
  355.     list [catch {testexprparser {+-||27} -1} msg] $msg
  356. } {1 {syntax error in expression "+-||27": unexpected operator ||}}
  357. test parseExpr-14.9 {ParseUnaryExpr procedure, error in unary expr after unary op} {
  358.     list [catch {testexprparser {+-||27} -1} msg] $msg
  359. } {1 {syntax error in expression "+-||27": unexpected operator ||}}
  360. test parseExpr-14.10 {ParseUnaryExpr procedure, first token is not unary op} {
  361.     testexprparser {123} -1
  362. } {- {} 0 subexpr 123 1 text 123 0 {}}
  363. test parseExpr-14.11 {ParseUnaryExpr procedure, not unary expr, complex primary expr} {
  364.     testexprparser {(1+2)} -1
  365. } {- {} 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  366. test parseExpr-14.12 {ParseUnaryExpr procedure, not unary expr, error in primary expr} {wideIntegerUnparsed} {
  367.     list [catch {testexprparser {(12345678901234567890)} -1} msg] $msg
  368. } {1 {integer value too large to represent}}
  369. test parseExpr-15.1 {ParsePrimaryExpr procedure, just parenthesized subexpr} {
  370.     testexprparser {({abc}/{def})} -1
  371. } {- {} 0 subexpr {{abc}/{def}} 5 operator / 0 subexpr {{abc}} 1 text abc 0 subexpr {{def}} 1 text def 0 {}}
  372. test parseExpr-15.2 {ParsePrimaryExpr procedure, bad lexeme after "("} {wideIntegerUnparsed} {
  373.     list [catch {testexprparser {(12345678901234567890)} -1} msg] $msg
  374. } {1 {integer value too large to represent}}
  375. test parseExpr-15.3 {ParsePrimaryExpr procedure, valid parenthesized subexpr} {
  376.     testexprparser {({abc}? 2*4 : -6)} -1
  377. } {- {} 0 subexpr {{abc}? 2*4 : -6} 13 operator ? 0 subexpr {{abc}} 1 text abc 0 subexpr 2*4 5 operator * 0 subexpr 2 1 text 2 0 subexpr 4 1 text 4 0 subexpr -6 3 operator - 0 subexpr 6 1 text 6 0 {}}
  378. test parseExpr-15.4 {ParsePrimaryExpr procedure, error in parenthesized subexpr} {
  379.     list [catch {testexprparser {(? 123 : 456)} -1} msg] $msg
  380. } {1 {syntax error in expression "(? 123 : 456)": unexpected ternary 'then' separator}}
  381. test parseExpr-15.5 {ParsePrimaryExpr procedure, missing ")" after in parenthesized subexpr} {
  382.     list [catch {testexprparser {({abc}/{def}} -1} msg] $msg
  383. } {1 {syntax error in expression "({abc}/{def}": looking for close parenthesis}}
  384. test parseExpr-15.6 {ParsePrimaryExpr procedure, primary is literal} {
  385.     testexprparser {12345} -1
  386. } {- {} 0 subexpr 12345 1 text 12345 0 {}}
  387. test parseExpr-15.7 {ParsePrimaryExpr procedure, primary is literal} {
  388.     testexprparser {12345.6789} -1
  389. } {- {} 0 subexpr 12345.6789 1 text 12345.6789 0 {}}
  390. test parseExpr-15.8 {ParsePrimaryExpr procedure, primary is var reference} {
  391.     testexprparser {$a} -1
  392. } {- {} 0 subexpr {$a} 2 variable {$a} 1 text a 0 {}}
  393. test parseExpr-15.9 {ParsePrimaryExpr procedure, primary is var reference} {
  394.     testexprparser {$a(hello$there)} -1
  395. } {- {} 0 subexpr {$a(hello$there)} 5 variable {$a(hello$there)} 4 text a 0 text hello 0 variable {$there} 1 text there 0 {}}
  396. test parseExpr-15.10 {ParsePrimaryExpr procedure, primary is var reference} {
  397.     testexprparser {$a()} -1
  398. } {- {} 0 subexpr {$a()} 3 variable {$a()} 2 text a 0 text {} 0 {}}
  399. test parseExpr-15.11 {ParsePrimaryExpr procedure, error in var reference} {
  400.     list [catch {testexprparser {$a(} -1} msg] $msg
  401. } {1 {missing )}}
  402. test parseExpr-15.12 {ParsePrimaryExpr procedure, primary is quoted string} {
  403.     testexprparser {"abc $xyz def"} -1
  404. } {- {} 0 subexpr {"abc $xyz def"} 5 word {"abc $xyz def"} 4 text {abc } 0 variable {$xyz} 1 text xyz 0 text { def} 0 {}}
  405. test parseExpr-15.13 {ParsePrimaryExpr procedure, error in quoted string} {
  406.     list [catch {testexprparser {"$a(12"} -1} msg] $msg
  407. } {1 {missing )}}
  408. test parseExpr-15.14 {ParsePrimaryExpr procedure, quoted string has multiple tokens} {
  409.     testexprparser {"abc [xyz] $def"} -1
  410. } {- {} 0 subexpr {"abc [xyz] $def"} 6 word {"abc [xyz] $def"} 5 text {abc } 0 command {[xyz]} 0 text { } 0 variable {$def} 1 text def 0 {}}
  411. test parseExpr-15.15 {ParsePrimaryExpr procedure, primary is command} {
  412.     testexprparser {[def]} -1
  413. } {- {} 0 subexpr {[def]} 1 command {[def]} 0 {}}
  414. test parseExpr-15.16 {ParsePrimaryExpr procedure, primary is multiple commands} {
  415.     testexprparser {[one; two; three; four;]} -1
  416. } {- {} 0 subexpr {[one; two; three; four;]} 1 command {[one; two; three; four;]} 0 {}}
  417. test parseExpr-15.17 {ParsePrimaryExpr procedure, primary is multiple commands} {
  418.     testexprparser {[one; two; three; four;]} -1
  419. } {- {} 0 subexpr {[one; two; three; four;]} 1 command {[one; two; three; four;]} 0 {}}
  420. test parseExpr-15.18 {ParsePrimaryExpr procedure, missing close bracket} {
  421.     list [catch {testexprparser {[one} -1} msg] $msg
  422. } {1 {missing close-bracket}}
  423. test parseExpr-15.19 {ParsePrimaryExpr procedure, primary is braced string} {
  424.     testexprparser {{hello world}} -1
  425. } {- {} 0 subexpr {{hello world}} 1 text {hello world} 0 {}}
  426. test parseExpr-15.20 {ParsePrimaryExpr procedure, error in primary, which is braced string} {
  427.     list [catch {testexprparser "{abc\n" -1} msg] $msg
  428. } {1 {missing close-brace}}
  429. test parseExpr-15.21 {ParsePrimaryExpr procedure, primary is braced string with multiple tokens} {
  430.     testexprparser "{  \
  431.  +123 }" -1
  432. } {- {} 0 subexpr {  \n +123 } 4 word {  \n +123 } 3 text {  } 0 backslash \n  0 text {+123 } 0 {}}
  433. test parseExpr-15.22 {ParsePrimaryExpr procedure, primary is function call} {
  434.     testexprparser {foo(123)} -1
  435. } {- {} 0 subexpr foo(123) 3 operator foo 0 subexpr 123 1 text 123 0 {}}
  436. test parseExpr-15.23 {ParsePrimaryExpr procedure, bad lexeme after function name} {wideIntegerUnparsed} {
  437.     list [catch {testexprparser {foo 12345678901234567890 123)} -1} msg] $msg
  438. } {1 {integer value too large to represent}}
  439. test parseExpr-15.24 {ParsePrimaryExpr procedure, lexeme after function name isn't "("} {
  440.     list [catch {testexprparser {foo 27.4 123)} -1} msg] $msg
  441. } {1 {syntax error in expression "foo 27.4 123)": variable references require preceding $}}
  442. test parseExpr-15.25 {ParsePrimaryExpr procedure, bad lexeme after "("} {wideIntegerUnparsed} {
  443.     list [catch {testexprparser {foo(12345678901234567890)} -1} msg] $msg
  444. } {1 {integer value too large to represent}}
  445. test parseExpr-15.26 {ParsePrimaryExpr procedure, function call, one arg} {
  446.     testexprparser {foo(27*4)} -1
  447. } {- {} 0 subexpr foo(27*4) 7 operator foo 0 subexpr 27*4 5 operator * 0 subexpr 27 1 text 27 0 subexpr 4 1 text 4 0 {}}
  448. test parseExpr-15.27 {ParsePrimaryExpr procedure, error in function arg} {
  449.     list [catch {testexprparser {foo(*1-2)} -1} msg] $msg
  450. } {1 {syntax error in expression "foo(*1-2)": unexpected operator *}}
  451. test parseExpr-15.28 {ParsePrimaryExpr procedure, error in function arg} {
  452.     list [catch {testexprparser {foo(*1-2)} -1} msg] $msg
  453. } {1 {syntax error in expression "foo(*1-2)": unexpected operator *}}
  454. test parseExpr-15.29 {ParsePrimaryExpr procedure, function call, comma after arg} {
  455.     testexprparser {foo(27-2, (-2*[foo]))} -1
  456. } {- {} 0 subexpr {foo(27-2, (-2*[foo]))} 15 operator foo 0 subexpr 27-2 5 operator - 0 subexpr 27 1 text 27 0 subexpr 2 1 text 2 0 subexpr {-2*[foo]} 7 operator * 0 subexpr -2 3 operator - 0 subexpr 2 1 text 2 0 subexpr {[foo]} 1 command {[foo]} 0 {}}
  457. test parseExpr-15.30 {ParsePrimaryExpr procedure, bad lexeme after comma} {wideIntegerUnparsed} {
  458.     list [catch {testexprparser {foo(123, 12345678901234567890)} -1} msg] $msg
  459. } {1 {integer value too large to represent}}
  460. test parseExpr-15.31 {ParsePrimaryExpr procedure, lexeme not "," or ")" after arg} {
  461.     list [catch {testexprparser {foo(123 [foo])} -1} msg] $msg
  462. } {1 {syntax error in expression "foo(123 [foo])": missing close parenthesis at end of function call}}
  463. test parseExpr-15.32 {ParsePrimaryExpr procedure, bad lexeme after primary} {wideIntegerUnparsed} {
  464.     list [catch {testexprparser {123 12345678901234567890} -1} msg] $msg
  465. } {1 {integer value too large to represent}}
  466. test parseExpr-15.33 {ParsePrimaryExpr procedure, comma-specific message} {
  467.     list [catch {testexprparser {123+,456} -1} msg] $msg
  468. } {1 {syntax error in expression "123+,456": commas can only separate function arguments}}
  469. test parseExpr-15.34 {ParsePrimaryExpr procedure, single equal-specific message} {
  470.     list [catch {testexprparser {123+=456} -1} msg] $msg
  471. } {1 {syntax error in expression "123+=456": single equality character not legal in expressions}}
  472. test parseExpr-15.35 {ParsePrimaryExpr procedure, error in parenthesized subexpr} {
  473.     list [catch {testexprparser {(: 123 : 456)} -1} msg] $msg
  474. } {1 {syntax error in expression "(: 123 : 456)": unexpected ternary 'else' separator}}
  475. test parseExpr-15.36 {ParsePrimaryExpr procedure, missing close-bracket} {
  476.     # Test for Bug 681841
  477.     list [catch {testexprparser {[set a [format bc]} -1} msg] $msg
  478. } {1 {missing close-bracket}}
  479. test parseExpr-16.1 {GetLexeme procedure, whitespace before lexeme} {
  480.     testexprparser {   123} -1
  481. } {- {} 0 subexpr 123 1 text 123 0 {}}
  482. test parseExpr-16.2 {GetLexeme procedure, whitespace before lexeme} {
  483.     testexprparser {  
  484. 456} -1
  485. } {- {} 0 subexpr 456 1 text 456 0 {}}
  486. test parseExpr-16.3 {GetLexeme procedure, no lexeme after whitespace} {
  487.     testexprparser { 123 
  488.    } -1
  489. } {- {} 0 subexpr 123 1 text 123 0 {}}
  490. test parseExpr-16.4 {GetLexeme procedure, integer lexeme} {
  491.     testexprparser {000} -1
  492. } {- {} 0 subexpr 000 1 text 000 0 {}}
  493. test parseExpr-16.5 {GetLexeme procedure, integer lexeme too big} {wideIntegerUnparsed} {
  494.     list [catch {testexprparser {12345678901234567890} -1} msg] $msg
  495. } {1 {integer value too large to represent}}
  496. test parseExpr-16.6 {GetLexeme procedure, bad integer lexeme} -body {
  497.     testexprparser {0999} -1
  498. } -returnCodes error -match glob -result {*invalid octal number*}
  499. test parseExpr-16.7 {GetLexeme procedure, double lexeme} {
  500.     testexprparser {0.999} -1
  501. } {- {} 0 subexpr 0.999 1 text 0.999 0 {}}
  502. test parseExpr-16.8 {GetLexeme procedure, double lexeme} {
  503.     testexprparser {.123} -1
  504. } {- {} 0 subexpr .123 1 text .123 0 {}}
  505. test parseExpr-16.9 {GetLexeme procedure, double lexeme} {nonPortable unixOnly} {
  506.     testexprparser {nan} -1
  507. } {- {} 0 subexpr nan 1 text nan 0 {}}
  508. test parseExpr-16.10 {GetLexeme procedure, double lexeme} {nonPortable unixOnly} {
  509.     testexprparser {NaN} -1
  510. } {- {} 0 subexpr NaN 1 text NaN 0 {}}
  511. test parseExpr-16.11 {GetLexeme procedure, bad double lexeme too big} {
  512.     list [catch {testexprparser {123.e+99999999999999} -1} msg] $msg
  513. } {1 {floating-point value too large to represent}}
  514. test parseExpr-16.12 {GetLexeme procedure, bad double lexeme} {
  515.     list [catch {testexprparser {123.4x56} -1} msg] $msg
  516. } {1 {syntax error in expression "123.4x56": extra tokens at end of expression}}
  517. test parseExpr-16.13 {GetLexeme procedure, lexeme is "["} {
  518.     testexprparser {[foo]} -1
  519. } {- {} 0 subexpr {[foo]} 1 command {[foo]} 0 {}}
  520. test parseExpr-16.14 {GetLexeme procedure, lexeme is open brace} {
  521.     testexprparser {{bar}} -1
  522. } {- {} 0 subexpr {{bar}} 1 text bar 0 {}}
  523. test parseExpr-16.15 {GetLexeme procedure, lexeme is "("} {
  524.     testexprparser {(123)} -1
  525. } {- {} 0 subexpr 123 1 text 123 0 {}}
  526. test parseExpr-16.16 {GetLexeme procedure, lexeme is ")"} {
  527.     testexprparser {(2*3)} -1
  528. } {- {} 0 subexpr 2*3 5 operator * 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  529. test parseExpr-16.17 {GetLexeme procedure, lexeme is "$"} {
  530.     testexprparser {$wombat} -1
  531. } {- {} 0 subexpr {$wombat} 2 variable {$wombat} 1 text wombat 0 {}}
  532. test parseExpr-16.18 "GetLexeme procedure, lexeme is '"'" {
  533.     testexprparser {"fred"} -1
  534. } {- {} 0 subexpr {"fred"} 1 text fred 0 {}}
  535. test parseExpr-16.19 {GetLexeme procedure, lexeme is ","} {
  536.     testexprparser {foo(1,2)} -1
  537. } {- {} 0 subexpr foo(1,2) 5 operator foo 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  538. test parseExpr-16.20 {GetLexeme procedure, lexeme is "*"} {
  539.     testexprparser {$a*$b} -1
  540. } {- {} 0 subexpr {$a*$b} 7 operator * 0 subexpr {$a} 2 variable {$a} 1 text a 0 subexpr {$b} 2 variable {$b} 1 text b 0 {}}
  541. test parseExpr-16.21 {GetLexeme procedure, lexeme is "/"} {
  542.     testexprparser {5/6} -1
  543. } {- {} 0 subexpr 5/6 5 operator / 0 subexpr 5 1 text 5 0 subexpr 6 1 text 6 0 {}}
  544. test parseExpr-16.22 {GetLexeme procedure, lexeme is "%"} {
  545.     testexprparser {5%[xxx]} -1
  546. } {- {} 0 subexpr {5%[xxx]} 5 operator % 0 subexpr 5 1 text 5 0 subexpr {[xxx]} 1 command {[xxx]} 0 {}}
  547. test parseExpr-16.23 {GetLexeme procedure, lexeme is "+"} {
  548.     testexprparser {1+2} -1
  549. } {- {} 0 subexpr 1+2 5 operator + 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  550. test parseExpr-16.24 {GetLexeme procedure, lexeme is "-"} {
  551.     testexprparser {.12-0e27} -1
  552. } {- {} 0 subexpr .12-0e27 5 operator - 0 subexpr .12 1 text .12 0 subexpr 0e27 1 text 0e27 0 {}}
  553. test parseExpr-16.25 {GetLexeme procedure, lexeme is "?" or ":"} {
  554.     testexprparser {$b? 1 : 0} -1
  555. } {- {} 0 subexpr {$b? 1 : 0} 8 operator ? 0 subexpr {$b} 2 variable {$b} 1 text b 0 subexpr 1 1 text 1 0 subexpr 0 1 text 0 0 {}}
  556. test parseExpr-16.26 {GetLexeme procedure, lexeme is "<"} {
  557.     testexprparser {2<3} -1
  558. } {- {} 0 subexpr 2<3 5 operator < 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  559. test parseExpr-16.27 {GetLexeme procedure, lexeme is "<<"} {
  560.     testexprparser {2<<3} -1
  561. } {- {} 0 subexpr 2<<3 5 operator << 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  562. test parseExpr-16.28 {GetLexeme procedure, lexeme is "<="} {
  563.     testexprparser {2<=3} -1
  564. } {- {} 0 subexpr 2<=3 5 operator <= 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  565. test parseExpr-16.29 {GetLexeme procedure, lexeme is ">"} {
  566.     testexprparser {2>3} -1
  567. } {- {} 0 subexpr 2>3 5 operator > 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  568. test parseExpr-16.30 {GetLexeme procedure, lexeme is ">>"} {
  569.     testexprparser {2>>3} -1
  570. } {- {} 0 subexpr 2>>3 5 operator >> 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  571. test parseExpr-16.31 {GetLexeme procedure, lexeme is ">="} {
  572.     testexprparser {2>=3} -1
  573. } {- {} 0 subexpr 2>=3 5 operator >= 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  574. test parseExpr-16.32 {GetLexeme procedure, lexeme is "=="} {
  575.     testexprparser {2==3} -1
  576. } {- {} 0 subexpr 2==3 5 operator == 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  577. test parseExpr-16.33 {GetLexeme procedure, bad lexeme starting with "="} {
  578.     list [catch {testexprparser {2=+3} -1} msg] $msg
  579. } {1 {syntax error in expression "2=+3": extra tokens at end of expression}}
  580. test parseExpr-16.34 {GetLexeme procedure, lexeme is "!="} {
  581.     testexprparser {2!=3} -1
  582. } {- {} 0 subexpr 2!=3 5 operator != 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  583. test parseExpr-16.35 {GetLexeme procedure, lexeme is "!"} {
  584.     testexprparser {!2} -1
  585. } {- {} 0 subexpr !2 3 operator ! 0 subexpr 2 1 text 2 0 {}}
  586. test parseExpr-16.36 {GetLexeme procedure, lexeme is "&&"} {
  587.     testexprparser {2&&3} -1
  588. } {- {} 0 subexpr 2&&3 5 operator && 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  589. test parseExpr-16.37 {GetLexeme procedure, lexeme is "&"} {
  590.     testexprparser {1&2} -1
  591. } {- {} 0 subexpr 1&2 5 operator & 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  592. test parseExpr-16.38 {GetLexeme procedure, lexeme is "^"} {
  593.     testexprparser {1^2} -1
  594. } {- {} 0 subexpr 1^2 5 operator ^ 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  595. test parseExpr-16.39 {GetLexeme procedure, lexeme is "||"} {
  596.     testexprparser {2||3} -1
  597. } {- {} 0 subexpr 2||3 5 operator || 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  598. test parseExpr-16.40 {GetLexeme procedure, lexeme is "|"} {
  599.     testexprparser {1|2} -1
  600. } {- {} 0 subexpr 1|2 5 operator | 0 subexpr 1 1 text 1 0 subexpr 2 1 text 2 0 {}}
  601. test parseExpr-16.41 {GetLexeme procedure, lexeme is "~"} {
  602.     testexprparser {~2} -1
  603. } {- {} 0 subexpr ~2 3 operator ~ 0 subexpr 2 1 text 2 0 {}}
  604. test parseExpr-16.42 {GetLexeme procedure, lexeme is func name} {
  605.     testexprparser {george()} -1
  606. } {- {} 0 subexpr george() 1 operator george 0 {}}
  607. test parseExpr-16.43 {GetLexeme procedure, lexeme is func name} {
  608.     testexprparser {harmonic_ratio(2,3)} -1
  609. } {- {} 0 subexpr harmonic_ratio(2,3) 5 operator harmonic_ratio 0 subexpr 2 1 text 2 0 subexpr 3 1 text 3 0 {}}
  610. test parseExpr-16.44 {GetLexeme procedure, unknown lexeme} {
  611.     list [catch {testexprparser {@27} -1} msg] $msg
  612. } {1 {syntax error in expression "@27": character not legal in expressions}}
  613. test parseExpr-17.1 {PrependSubExprTokens procedure, expand token array} {
  614.     testexprparser {[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]]} -1
  615. } {- {} 0 subexpr {[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]]} 13 operator && 0 subexpr {[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]]} 9 operator && 0 subexpr {[string compare [format %c $i] [string index $a $i]]&&[string compare [format %c $i] [string index $a $i]]} 5 operator && 0 subexpr {[string compare [format %c $i] [string index $a $i]]} 1 command {[string compare [format %c $i] [string index $a $i]]} 0 subexpr {[string compare [format %c $i] [string index $a $i]]} 1 command {[string compare [format %c $i] [string index $a $i]]} 0 subexpr {[string compare [format %c $i] [string index $a $i]]} 1 command {[string compare [format %c $i] [string index $a $i]]} 0 subexpr {[string compare [format %c $i] [string index $a $i]]} 1 command {[string compare [format %c $i] [string index $a $i]]} 0 {}}
  616. test parseExpr-18.1 {LogSyntaxError procedure, error in expr longer than 60 chars} {
  617.     list [catch {testexprparser {(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)/} -1} msg] $msg
  618. } {1 {syntax error in expression "(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+0123456)*(+012...": premature end of expression}}
  619. test parseExpr-19.1 {TclParseInteger: [Bug 648441]} {
  620.     # Should see this as integer "0" followed by incomplete function "x"
  621.     # Thus, syntax error.
  622.     # If Bug 648441 is not fixed, "0x" will be seen as floating point 0.0
  623.     list [catch {expr 0x} result] $result
  624. } [list 1 {syntax error in expression "0x": extra tokens at end of expression}]
  625. # cleanup
  626. ::tcltest::cleanupTests
  627. return