| OLD | NEW |
| (Empty) |
| 1 // Copyright 2016 the V8 project authors. All rights reserved. | |
| 2 // Use of this source code is governed by a BSD-style license that can be | |
| 3 // found in the LICENSE file. | |
| 4 | |
| 5 function checkIsRedeclarationError(code) { | |
| 6 try { | |
| 7 eval(` | |
| 8 checkIsRedeclarationError : { | |
| 9 break checkIsRedeclarationError; | |
| 10 ${code} | |
| 11 } | |
| 12 `); | |
| 13 assertUnreachable(); | |
| 14 } catch(e) { | |
| 15 assertInstanceof(e, SyntaxError ); | |
| 16 assertTrue( e.toString().indexOf("has already been declared") >= 0 ); | |
| 17 } | |
| 18 } | |
| 19 | |
| 20 function checkIsNotRedeclarationError(code) { | |
| 21 assertDoesNotThrow(()=>eval(` | |
| 22 checkIsNotRedeclarationError_label : { | |
| 23 break checkIsNotRedeclarationError_label; | |
| 24 ${code} | |
| 25 } | |
| 26 `)); | |
| 27 } | |
| 28 | |
| 29 | |
| 30 let lexical_e = [ | |
| 31 'let e', | |
| 32 'let {e} = 0', | |
| 33 'let [e] = 0', | |
| 34 'let {f:e} = 0', | |
| 35 'let [[[], e]] = 0', | |
| 36 'const e = 0', | |
| 37 'const {e} = 0', | |
| 38 'const [e] = 0', | |
| 39 'const {f:e} = 0', | |
| 40 'const [[[], e]] = 0', | |
| 41 'function e(){}', | |
| 42 'function* e(){}', | |
| 43 ]; | |
| 44 | |
| 45 let not_lexical_e = [ | |
| 46 'var e', | |
| 47 'var {e} = 0', | |
| 48 'let {} = 0', | |
| 49 'let {e:f} = 0', | |
| 50 '{ function e(){} }' | |
| 51 ]; | |
| 52 | |
| 53 // Check that lexical declarations cannot override a simple catch parameter | |
| 54 for (let declaration of lexical_e) { | |
| 55 checkIsRedeclarationError(` | |
| 56 try { | |
| 57 throw 0; | |
| 58 } catch(e) { | |
| 59 ${declaration} | |
| 60 } | |
| 61 `); | |
| 62 } | |
| 63 | |
| 64 // Check that lexical declarations cannot override a complex catch parameter | |
| 65 for (let declaration of lexical_e) { | |
| 66 checkIsRedeclarationError(` | |
| 67 try { | |
| 68 throw 0; | |
| 69 } catch({e}) { | |
| 70 ${declaration} | |
| 71 } | |
| 72 `); | |
| 73 } | |
| 74 | |
| 75 // Check that non-lexical declarations can override a simple catch parameter | |
| 76 for (let declaration of not_lexical_e) { | |
| 77 checkIsNotRedeclarationError(` | |
| 78 try { | |
| 79 throw 0; | |
| 80 } catch(e) { | |
| 81 ${declaration} | |
| 82 } | |
| 83 `); | |
| 84 } | |
| 85 | |
| 86 // Check that the above error does not occur if a declaration scope is between | |
| 87 // the catch and the loop. | |
| 88 for (let declaration of lexical_e) { | |
| 89 checkIsNotRedeclarationError(` | |
| 90 try { | |
| 91 throw 0; | |
| 92 } catch(e) { | |
| 93 (()=>{${declaration}})(); | |
| 94 } | |
| 95 `); | |
| 96 | |
| 97 checkIsNotRedeclarationError(` | |
| 98 try { | |
| 99 throw 0; | |
| 100 } catch(e) { | |
| 101 (function(){${declaration}})(); | |
| 102 } | |
| 103 `); | |
| 104 } | |
| OLD | NEW |