| OLD | NEW |
|---|
| (Empty) | |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. |
| 2 // Copyright (C) 2005, 2006, 2007, 2008, 2009 Apple Inc. All rights reserved. |
| 3 // |
| 4 // Redistribution and use in source and binary forms, with or without |
| 5 // modification, are permitted provided that the following conditions |
| 6 // are met: |
| 7 // 1. Redistributions of source code must retain the above copyright |
| 8 // notice, this list of conditions and the following disclaimer. |
| 9 // 2. Redistributions in binary form must reproduce the above copyright |
| 10 // notice, this list of conditions and the following disclaimer in the |
| 11 // documentation and/or other materials provided with the distribution. |
| 12 // |
| 13 // THIS SOFTWARE IS PROVIDED BY APPLE INC. AND ITS CONTRIBUTORS ``AS IS'' AND AN
Y |
| 14 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED |
| 15 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE |
| 16 // DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR ITS CONTRIBUTORS BE LIABLE FOR AN
Y |
| 17 // DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES |
| 18 // (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; |
| 19 // LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND O
N |
| 20 // ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT |
| 21 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS |
| 22 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
| 23 |
| 24 description( |
| 25 "This test checks that the following expressions or statements are valid ECMASCR
IPT code or should throw parse error" |
| 26 ); |
| 27 |
| 28 function runTest(_a, errorType) |
| 29 { |
| 30 var success; |
| 31 if (typeof _a != "string") |
| 32 testFailed("runTest expects string argument: " + _a); |
| 33 try { |
| 34 eval(_a); |
| 35 success = true; |
| 36 } catch (e) { |
| 37 success = !(e instanceof SyntaxError); |
| 38 } |
| 39 if ((!!errorType) == !success) { |
| 40 if (errorType) |
| 41 testPassed('Invalid: "' + _a + '"'); |
| 42 else |
| 43 testPassed('Valid: "' + _a + '"'); |
| 44 } else { |
| 45 if (errorType) |
| 46 testFailed('Invalid: "' + _a + '" should throw ' + errorType.name); |
| 47 else |
| 48 testFailed('Valid: "' + _a + '" should NOT throw '); |
| 49 } |
| 50 } |
| 51 |
| 52 function valid(_a) |
| 53 { |
| 54 // Test both the grammar and the syntax checker |
| 55 runTest(_a, false); |
| 56 runTest("function f() { " + _a + " }", false); |
| 57 } |
| 58 |
| 59 function invalid(_a, _type) |
| 60 { |
| 61 _type = _type || SyntaxError; |
| 62 // Test both the grammar and the syntax checker |
| 63 runTest(_a, true); |
| 64 runTest("function f() { " + _a + " }", true); |
| 65 } |
| 66 |
| 67 // known issue: |
| 68 // some statements requires statement as argument, and |
| 69 // it seems the End-Of-File terminator is converted to semicolon |
| 70 // "a:[EOF]" is not parse error, while "{ a: }" is parse error |
| 71 // "if (a)[EOF]" is not parse error, while "{ if (a) }" is parse error |
| 72 // known issues of bison parser: |
| 73 // accepts: 'function f() { return 6 + }' (only inside a function declaration) |
| 74 // some comma expressions: see reparsing-semicolon-insertion.js |
| 75 |
| 76 debug ("Unary operators and member access"); |
| 77 |
| 78 valid (""); |
| 79 invalid("(a"); |
| 80 invalid("a[5"); |
| 81 invalid("a[5 + 6"); |
| 82 invalid("a."); |
| 83 invalid("()"); |
| 84 invalid("a.'l'"); |
| 85 valid ("a: +~!new a"); |
| 86 invalid("new -a"); |
| 87 valid ("new (-1)") |
| 88 valid ("a: b: c: new f(x++)++") |
| 89 valid ("(a)++"); |
| 90 valid ("(1--).x"); |
| 91 invalid("a-- ++"); |
| 92 invalid("(a:) --b"); |
| 93 valid ("++ -- ++ a"); |
| 94 valid ("++ new new a ++"); |
| 95 valid ("delete void 0"); |
| 96 invalid("delete the void"); |
| 97 invalid("(a++"); |
| 98 valid ("++a--"); |
| 99 valid ("++((a))--"); |
| 100 valid ("(a.x++)++"); |
| 101 invalid("1: null"); |
| 102 invalid("+-!~"); |
| 103 invalid("+-!~(("); |
| 104 invalid("a)"); |
| 105 invalid("a]"); |
| 106 invalid(".l"); |
| 107 invalid("1.l"); |
| 108 valid ("1 .l"); |
| 109 |
| 110 debug ("Binary and conditional operators"); |
| 111 |
| 112 valid ("a + + typeof this"); |
| 113 invalid("a + * b"); |
| 114 invalid("a ? b"); |
| 115 invalid("a ? b :"); |
| 116 invalid("%a"); |
| 117 invalid("a-"); |
| 118 valid ("a = b ? b = c : d = e"); |
| 119 valid ("s: a[1].l ? b.l['s'] ? c++ : d : true"); |
| 120 valid ("a ? b + 1 ? c + 3 * d.l : d[5][6] : e"); |
| 121 valid ("a in b instanceof delete -c"); |
| 122 invalid("a in instanceof b.l"); |
| 123 valid ("- - true % 5"); |
| 124 invalid("- false = 3"); |
| 125 valid ("a: b: c: (1 + null) = 3"); |
| 126 valid ("a[2] = b.l += c /= 4 * 7 ^ !6"); |
| 127 invalid("a + typeof b += c in d"); |
| 128 invalid("typeof a &= typeof b"); |
| 129 valid ("a: ((typeof (a))) >>>= a || b.l && c"); |
| 130 valid ("a: b: c[a /= f[a %= b]].l[c[x] = 7] -= a ? b <<= f : g"); |
| 131 valid ("-void+x['y'].l == x.l != 5 - f[7]"); |
| 132 |
| 133 debug ("Function calls (and new with arguments)"); |
| 134 |
| 135 valid ("a()()()"); |
| 136 valid ("s: l: a[2](4 == 6, 5 = 6)(f[4], 6)"); |
| 137 valid ("s: eval(a.apply(), b.call(c[5] - f[7]))"); |
| 138 invalid("a("); |
| 139 invalid("a(5"); |
| 140 invalid("a(5,"); |
| 141 invalid("a(5,)"); |
| 142 invalid("a(5,6"); |
| 143 valid ("a(b[7], c <d> e.l, new a() > b)"); |
| 144 invalid("a(b[5)"); |
| 145 invalid("a(b.)"); |
| 146 valid ("~new new a(1)(i++)(c[l])"); |
| 147 invalid("a(*a)"); |
| 148 valid ("((((a))((b)()).l))()"); |
| 149 valid ("(a)[b + (c) / (d())].l--"); |
| 150 valid ("new (5)"); |
| 151 invalid("new a(5"); |
| 152 valid ("new (f + 5)(6, (g)() - 'l'() - true(false))"); |
| 153 invalid("a(.length)"); |
| 154 |
| 155 debug ("function declaration and expression"); |
| 156 |
| 157 valid ("function f() {}"); |
| 158 valid ("function f(a,b) {}"); |
| 159 invalid("function () {}"); |
| 160 invalid("function f(a b) {}"); |
| 161 invalid("function f(a,) {}"); |
| 162 invalid("function f(a,"); |
| 163 invalid("function f(a, 1) {}"); |
| 164 valid ("function g(arguments, eval) {}"); |
| 165 valid ("function f() {} + function g() {}"); |
| 166 invalid("(function a{})"); |
| 167 invalid("(function this(){})"); |
| 168 valid ("(delete new function f(){} + function(a,b){}(5)(6))"); |
| 169 valid ("6 - function (m) { function g() {} }"); |
| 170 invalid("function l() {"); |
| 171 invalid("function l++(){}"); |
| 172 |
| 173 debug ("Array and object literal, comma operator"); |
| 174 |
| 175 // Note these are tested elsewhere, no need to repeat those tests here |
| 176 valid ("[] in [5,6] * [,5,] / [,,5,,] || [a,] && new [,b] % [,,]"); |
| 177 invalid("[5,"); |
| 178 invalid("[,"); |
| 179 invalid("(a,)"); |
| 180 valid ("1 + {get get(){}, set set(a){}, get1:4, set1:get-set, }"); |
| 181 invalid("1 + {a"); |
| 182 invalid("1 + {a:"); |
| 183 invalid("1 + {get l("); |
| 184 invalid(",a"); |
| 185 valid ("(4,(5,a(3,4))),f[4,a-6]"); |
| 186 invalid("(,f)"); |
| 187 invalid("a,,b"); |
| 188 invalid("a ? b, c : d"); |
| 189 |
| 190 debug ("simple statements"); |
| 191 |
| 192 valid ("{ }"); |
| 193 invalid("{ { }"); |
| 194 valid ("{ ; ; ; }"); |
| 195 valid ("a: { ; }"); |
| 196 invalid("{ a: }"); |
| 197 valid ("{} f; { 6 + f() }"); |
| 198 valid ("{ a[5],6; {} ++b-new (-5)() } c().l++"); |
| 199 valid ("{ l1: l2: l3: { this } a = 32 ; { i++ ; { { { } } ++i } } }"); |
| 200 valid ("if (a) ;"); |
| 201 invalid("{ if (a) }"); |
| 202 invalid("if a {}"); |
| 203 invalid("if (a"); |
| 204 invalid("if (a { }"); |
| 205 valid ("x: s: if (a) ; else b"); |
| 206 invalid("else {}"); |
| 207 valid ("if (a) if (b) y; else {} else ;"); |
| 208 invalid("if (a) {} else x; else"); |
| 209 invalid("if (a) { else }"); |
| 210 valid ("if (a.l + new b()) 4 + 5 - f()"); |
| 211 valid ("if (a) with (x) ; else with (y) ;"); |
| 212 invalid("with a.b { }"); |
| 213 valid ("while (a() - new b) ;"); |
| 214 invalid("while a {}"); |
| 215 valid ("do ; while(0) i++"); // Is this REALLY valid? (Firefox also accepts thi
s) |
| 216 valid ("do if (a) x; else y; while(z)"); |
| 217 invalid("do g; while 4"); |
| 218 invalid("do g; while ((4)"); |
| 219 valid ("{ { do do do ; while(0) while(0) while(0) } }"); |
| 220 valid ("do while (0) if (a) {} else y; while(0)"); |
| 221 valid ("if (a) while (b) if (c) with(d) {} else e; else f"); |
| 222 invalid("break ; break your_limits ; continue ; continue living ; debugger"); |
| 223 invalid("debugger X"); |
| 224 invalid("break 0.2"); |
| 225 invalid("continue a++"); |
| 226 invalid("continue (my_friend)"); |
| 227 valid ("while (1) break"); |
| 228 valid ("do if (a) with (b) continue; else debugger; while (false)"); |
| 229 invalid("do if (a) while (false) else debugger"); |
| 230 invalid("while if (a) ;"); |
| 231 valid ("if (a) function f() {} else function g() {}"); |
| 232 valid ("if (a()) while(0) function f() {} else function g() {}"); |
| 233 invalid("if (a()) function f() { else function g() }"); |
| 234 invalid("if (a) if (b) ; else function f {}"); |
| 235 invalid("if (a) if (b) ; else function (){}"); |
| 236 valid ("throw a"); |
| 237 valid ("throw a + b in void c"); |
| 238 invalid("throw"); |
| 239 |
| 240 debug ("var and const statements"); |
| 241 |
| 242 valid ("var a, b = null"); |
| 243 valid ("const a = 5, b, c"); |
| 244 invalid("var"); |
| 245 invalid("var = 7"); |
| 246 invalid("var c (6)"); |
| 247 valid ("if (a) var a,b; else const b, c"); |
| 248 invalid("var 5 = 6"); |
| 249 valid ("while (0) var a, b, c=6, d, e, f=5*6, g=f*h, h"); |
| 250 invalid("var a = if (b) { c }"); |
| 251 invalid("var a = var b"); |
| 252 valid ("const a = b += c, a, a, a = (b - f())"); |
| 253 invalid("var a %= b | 5"); |
| 254 invalid("var (a) = 5"); |
| 255 invalid("var a = (4, b = 6"); |
| 256 invalid("const 'l' = 3"); |
| 257 invalid("var var = 3"); |
| 258 valid ("var varr = 3 in 1"); |
| 259 valid ("const a, a, a = void 7 - typeof 8, a = 8"); |
| 260 valid ("const x_x = 6 /= 7 ? e : f"); |
| 261 invalid("var a = ?"); |
| 262 invalid("const a = *7"); |
| 263 invalid("var a = :)"); |
| 264 valid ("var a = a in b in c instanceof d"); |
| 265 invalid("var a = b ? c, b"); |
| 266 invalid("const a = b : c"); |
| 267 |
| 268 debug ("for statement"); |
| 269 |
| 270 valid ("for ( ; ; ) { break }"); |
| 271 valid ("for ( a ; ; ) { break }"); |
| 272 valid ("for ( ; a ; ) { break }"); |
| 273 valid ("for ( ; ; a ) { break }"); |
| 274 valid ("for ( a ; a ; ) break"); |
| 275 valid ("for ( a ; ; a ) break"); |
| 276 valid ("for ( ; a ; a ) break"); |
| 277 invalid("for () { }"); |
| 278 invalid("for ( a ) { }"); |
| 279 invalid("for ( ; ) ;"); |
| 280 invalid("for a ; b ; c { }"); |
| 281 invalid("for (a ; { }"); |
| 282 invalid("for ( a ; ) ;"); |
| 283 invalid("for ( ; a ) break"); |
| 284 valid ("for (var a, b ; ; ) { break } "); |
| 285 valid ("for (var a = b, b = a ; ; ) break"); |
| 286 valid ("for (var a = b, c, d, b = a ; x in b ; ) { break }"); |
| 287 valid ("for (var a = b, c, d ; ; 1 in a()) break"); |
| 288 invalid("for ( ; var a ; ) break"); |
| 289 invalid("for (const a; ; ) break"); |
| 290 invalid("for ( %a ; ; ) { }"); |
| 291 valid ("for (a in b) break"); |
| 292 valid ("for (a() in b) break"); |
| 293 valid ("for (a().l[4] in b) break"); |
| 294 valid ("for (new a in b in c in d) break"); |
| 295 valid ("for (new new new a in b) break"); |
| 296 invalid("for (delete new a() in b) break"); |
| 297 invalid("for (a * a in b) break"); |
| 298 valid ("for ((a * a) in b) break"); |
| 299 invalid("for (a++ in b) break"); |
| 300 valid ("for ((a++) in b) break"); |
| 301 invalid("for (++a in b) break"); |
| 302 valid ("for ((++a) in b) break"); |
| 303 invalid("for (a, b in c) break"); |
| 304 invalid("for (a,b in c ;;) break"); |
| 305 valid ("for (a,(b in c) ;;) break"); |
| 306 valid ("for ((a, b) in c) break"); |
| 307 invalid("for (a ? b : c in c) break"); |
| 308 valid ("for ((a ? b : c) in c) break"); |
| 309 valid ("for (var a in b in c) break"); |
| 310 valid ("for (var a = 5 += 6 in b) break"); |
| 311 invalid("for (var a += 5 in b) break"); |
| 312 invalid("for (var a = in b) break"); |
| 313 invalid("for (var a, b in b) break"); |
| 314 invalid("for (var a = -6, b in b) break"); |
| 315 invalid("for (var a, b = 8 in b) break"); |
| 316 valid ("for (var a = (b in c) in d) break"); |
| 317 invalid("for (var a = (b in c in d) break"); |
| 318 invalid("for (var (a) in b) { }"); |
| 319 valid ("for (var a = 7, b = c < d >= d ; f()[6]++ ; --i()[1]++ ) {}"); |
| 320 |
| 321 debug ("try statement"); |
| 322 |
| 323 invalid("try { break } catch(e) {}"); |
| 324 valid ("try {} finally { c++ }"); |
| 325 valid ("try { with (x) { } } catch(e) {} finally { if (a) ; }"); |
| 326 invalid("try {}"); |
| 327 invalid("catch(e) {}"); |
| 328 invalid("finally {}"); |
| 329 invalid("try a; catch(e) {}"); |
| 330 invalid("try {} catch(e) a()"); |
| 331 invalid("try {} finally a()"); |
| 332 invalid("try {} catch(e)"); |
| 333 invalid("try {} finally"); |
| 334 invalid("try {} finally {} catch(e) {}"); |
| 335 invalid("try {} catch (...) {}"); |
| 336 invalid("try {} catch {}"); |
| 337 valid ("if (a) try {} finally {} else b;"); |
| 338 valid ("if (--a()) do with(1) try {} catch(ke) { f() ; g() } while (a in b) els
e {}"); |
| 339 invalid("if (a) try {} else b; catch (e) { }"); |
| 340 invalid("try { finally {}"); |
| 341 |
| 342 debug ("switch statement"); |
| 343 |
| 344 valid ("switch (a) {}"); |
| 345 invalid("switch () {}"); |
| 346 invalid("case 5:"); |
| 347 invalid("default:"); |
| 348 invalid("switch (a) b;"); |
| 349 invalid("switch (a) case 3: b;"); |
| 350 valid ("switch (f()) { case 5 * f(): default: case '6' - 9: ++i }"); |
| 351 invalid("switch (true) { default: case 6: default: }"); |
| 352 invalid("switch (l) { f(); }"); |
| 353 invalid("switch (l) { case 1: ; a: case 5: }"); |
| 354 valid ("switch (g() - h[5].l) { case 1 + 6: a: b: c: ++f }"); |
| 355 invalid("switch (g) { case 1: a: }"); |
| 356 invalid("switch (g) { case 1: a: default: }"); |
| 357 invalid("switch g { case 1: l() }"); |
| 358 invalid("switch (g) { case 1:"); |
| 359 valid ("switch (l) { case a = b ? c : d : }"); |
| 360 valid ("switch (sw) { case a ? b - 7[1] ? [c,,] : d = 6 : { } : }"); |
| 361 invalid("switch (l) { case b ? c : }"); |
| 362 valid ("switch (l) { case 1: a: with(g) switch (g) { case 2: default: } default
: }"); |
| 363 invalid("switch (4 - ) { }"); |
| 364 invalid("switch (l) { default case: 5; }"); |
| 365 |
| 366 invalid("L: L: ;"); |
| 367 invalid("L: L1: L: ;"); |
| 368 invalid("L: L1: L2: L3: L4: L: ;"); |
| 369 |
| 370 invalid("for(var a,b 'this shouldn\'t be allowed' false ; ) ;"); |
| 371 invalid("for(var a,b '"); |
| 372 |
| 373 valid("function __proto__(){}") |
| 374 valid("(function __proto__(){})") |
| 375 valid("'use strict'; function __proto__(){}") |
| 376 valid("'use strict'; (function __proto__(){})") |
| 377 |
| 378 valid("if (0) $foo; ") |
| 379 valid("if (0) _foo; ") |
| 380 valid("if (0) foo$; ") |
| 381 valid("if (0) foo_; ") |
| 382 valid("if (0) obj.$foo; ") |
| 383 valid("if (0) obj._foo; ") |
| 384 valid("if (0) obj.foo$; ") |
| 385 valid("if (0) obj.foo_; ") |
| 386 valid("if (0) obj.foo\\u03bb; ") |
| 387 valid("if (0) new a(b+c).d = 5"); |
| 388 valid("if (0) new a(b+c) = 5"); |
| 389 valid("([1 || 1].a = 1)"); |
| 390 valid("({a: 1 || 1}.a = 1)"); |
| 391 |
| 392 invalid("var a.b = c"); |
| 393 invalid("var a.b;"); |
| 394 |
| 395 try { eval("a.b.c = {};"); } catch(e1) { e=e1; shouldBe("e.line", "1") } |
| 396 foo = 'FAIL'; |
| 397 bar = 'PASS'; |
| 398 try { |
| 399 eval("foo = 'PASS'; a.b.c = {}; bar = 'FAIL';"); |
| 400 } catch(e) { |
| 401 shouldBe("foo", "'PASS'"); |
| 402 shouldBe("bar", "'PASS'"); |
| 403 } |
| OLD | NEW |
|---|
Chromium Code Reviews
Issue 20280003:
Migrate more tests from blink repository. (Closed)
Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge