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 var_e = [ |
| 31 'var e', |
| 32 'var {e}', |
| 33 'var [e]', |
| 34 'var {f:e}', |
| 35 'var [[[], e]]' |
| 36 ]; |
| 37 |
| 38 let not_var_e = [ |
| 39 'var f', |
| 40 'var {}', |
| 41 'var {e:f}', |
| 42 'e', |
| 43 '{e}', |
| 44 'let e', |
| 45 'const e', |
| 46 'let {e}', |
| 47 'const {e}', |
| 48 'let [e]', |
| 49 'const [e]', |
| 50 'let {f:e}', |
| 51 'const {f:e}' |
| 52 ]; |
| 53 |
| 54 // Check that `for (var ... of ...)` cannot redeclare a simple catch variable |
| 55 // but `for (var ... in ...)` can. |
| 56 for (let binding of var_e) { |
| 57 checkIsRedeclarationError(` |
| 58 try { |
| 59 throw 0; |
| 60 } catch(e) { |
| 61 for (${binding} of []); |
| 62 } |
| 63 `); |
| 64 |
| 65 checkIsNotRedeclarationError(` |
| 66 try { |
| 67 throw 0; |
| 68 } catch(e) { |
| 69 for (${binding} in []); |
| 70 } |
| 71 `); |
| 72 } |
| 73 |
| 74 // Check that the above error occurs even for nested catches. |
| 75 for (let binding of var_e) { |
| 76 checkIsRedeclarationError(` |
| 77 try { |
| 78 throw 0; |
| 79 } catch(e) { |
| 80 try { |
| 81 throw 1; |
| 82 } catch(f) { |
| 83 try { |
| 84 throw 2; |
| 85 } catch({}) { |
| 86 for (${binding} of []); |
| 87 } |
| 88 } |
| 89 } |
| 90 `); |
| 91 |
| 92 checkIsNotRedeclarationError(` |
| 93 try { |
| 94 throw 0; |
| 95 } catch(e) { |
| 96 try { |
| 97 throw 1; |
| 98 } catch(f) { |
| 99 try { |
| 100 throw 2; |
| 101 } catch({}) { |
| 102 for (${binding} in []); |
| 103 } |
| 104 } |
| 105 } |
| 106 `); |
| 107 } |
| 108 |
| 109 // Check that the above error does not occur if a declaration scope is between |
| 110 // the catch and the loop. |
| 111 for (let binding of var_e) { |
| 112 checkIsNotRedeclarationError(` |
| 113 try { |
| 114 throw 0; |
| 115 } catch(e) { |
| 116 (()=>{for (${binding} of []);})(); |
| 117 } |
| 118 `); |
| 119 |
| 120 checkIsNotRedeclarationError(` |
| 121 try { |
| 122 throw 0; |
| 123 } catch(e) { |
| 124 (function(){for (${binding} of []);})(); |
| 125 } |
| 126 `); |
| 127 } |
| 128 |
| 129 // Check that there is no error when not declaring a var named e. |
| 130 for (let binding of not_var_e) { |
| 131 checkIsNotRedeclarationError(` |
| 132 try { |
| 133 throw 0; |
| 134 } catch(e) { |
| 135 for (${binding} of []); |
| 136 } |
| 137 `); |
| 138 } |
| 139 |
| 140 // Check that there is an error for both for-in and for-of when redeclaring |
| 141 // a non-simple catch parameter |
| 142 for (let binding of var_e) { |
| 143 checkIsRedeclarationError(` |
| 144 try { |
| 145 throw 0; |
| 146 } catch({e}) { |
| 147 for (${binding} of []); |
| 148 } |
| 149 `); |
| 150 |
| 151 checkIsRedeclarationError(` |
| 152 try { |
| 153 throw 0; |
| 154 } catch({e}) { |
| 155 for (${binding} in []); |
| 156 } |
| 157 `); |
| 158 } |
| 159 |
| 160 // Check that the above error occurs even for nested catches. |
| 161 for (let binding of var_e) { |
| 162 checkIsRedeclarationError(` |
| 163 try { |
| 164 throw 0; |
| 165 } catch({e}) { |
| 166 try { |
| 167 throw 1; |
| 168 } catch(f) { |
| 169 try { |
| 170 throw 2; |
| 171 } catch({}) { |
| 172 for (${binding} of []); |
| 173 } |
| 174 } |
| 175 } |
| 176 `); |
| 177 |
| 178 checkIsRedeclarationError(` |
| 179 try { |
| 180 throw 0; |
| 181 } catch({e}) { |
| 182 try { |
| 183 throw 1; |
| 184 } catch(f) { |
| 185 try { |
| 186 throw 2; |
| 187 } catch({}) { |
| 188 for (${binding} in []); |
| 189 } |
| 190 } |
| 191 } |
| 192 `); |
| 193 } |
OLD | NEW |