| OLD | NEW |
| (Empty) |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | |
| 2 // Redistribution and use in source and binary forms, with or without | |
| 3 // modification, are permitted provided that the following conditions are | |
| 4 // met: | |
| 5 // | |
| 6 // * Redistributions of source code must retain the above copyright | |
| 7 // notice, this list of conditions and the following disclaimer. | |
| 8 // * Redistributions in binary form must reproduce the above | |
| 9 // copyright notice, this list of conditions and the following | |
| 10 // disclaimer in the documentation and/or other materials provided | |
| 11 // with the distribution. | |
| 12 // * Neither the name of Google Inc. nor the names of its | |
| 13 // contributors may be used to endorse or promote products derived | |
| 14 // from this software without specific prior written permission. | |
| 15 // | |
| 16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS | |
| 17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT | |
| 18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR | |
| 19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT | |
| 20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, | |
| 21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT | |
| 22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, | |
| 23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY | |
| 24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
| 25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
| 26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
| 27 | |
| 28 // Flags: --harmony-iteration | |
| 29 // Flags: --harmony-generators --harmony-scoping --harmony-proxies | |
| 30 | |
| 31 // Test for-of semantics. | |
| 32 | |
| 33 "use strict"; | |
| 34 | |
| 35 | |
| 36 // First, some helpers. | |
| 37 | |
| 38 function* values() { | |
| 39 for (var i = 0; i < arguments.length; i++) { | |
| 40 yield arguments[i]; | |
| 41 } | |
| 42 } | |
| 43 | |
| 44 function wrap_iterator(iterator) { | |
| 45 var iterable = {}; | |
| 46 iterable[Symbol.iterator] = function() { return iterator; }; | |
| 47 return iterable; | |
| 48 } | |
| 49 | |
| 50 function integers_until(max) { | |
| 51 function next() { | |
| 52 var ret = { value: this.n, done: this.n == max }; | |
| 53 this.n++; | |
| 54 return ret; | |
| 55 } | |
| 56 return wrap_iterator({ next: next, n: 0 }); | |
| 57 } | |
| 58 | |
| 59 function results(results) { | |
| 60 var i = 0; | |
| 61 function next() { | |
| 62 return results[i++]; | |
| 63 } | |
| 64 return wrap_iterator({ next: next }); | |
| 65 } | |
| 66 | |
| 67 function* integers_from(n) { | |
| 68 while (1) yield n++; | |
| 69 } | |
| 70 | |
| 71 // A destructive append. | |
| 72 function append(x, tail) { | |
| 73 tail[tail.length] = x; | |
| 74 return tail; | |
| 75 } | |
| 76 | |
| 77 function sum(x, tail) { | |
| 78 return x + tail; | |
| 79 } | |
| 80 | |
| 81 function fold(cons, seed, iterable) { | |
| 82 for (var x of iterable) { | |
| 83 seed = cons(x, seed); | |
| 84 } | |
| 85 return seed; | |
| 86 } | |
| 87 | |
| 88 function* take(iterable, n) { | |
| 89 if (n == 0) return; | |
| 90 for (let x of iterable) { | |
| 91 yield x; | |
| 92 if (--n == 0) break; | |
| 93 } | |
| 94 } | |
| 95 | |
| 96 function nth(iterable, n) { | |
| 97 for (let x of iterable) { | |
| 98 if (n-- == 0) return x; | |
| 99 } | |
| 100 throw "unreachable"; | |
| 101 } | |
| 102 | |
| 103 function* skip_every(iterable, n) { | |
| 104 var i = 0; | |
| 105 for (let x of iterable) { | |
| 106 if (++i % n == 0) continue; | |
| 107 yield x; | |
| 108 } | |
| 109 } | |
| 110 | |
| 111 function* iter_map(iterable, f) { | |
| 112 for (var x of iterable) { | |
| 113 yield f(x); | |
| 114 } | |
| 115 } | |
| 116 function nested_fold(cons, seed, iterable) { | |
| 117 var visited = [] | |
| 118 for (let x of iterable) { | |
| 119 for (let y of x) { | |
| 120 seed = cons(y, seed); | |
| 121 } | |
| 122 } | |
| 123 return seed; | |
| 124 } | |
| 125 | |
| 126 function* unreachable(iterable) { | |
| 127 for (let x of iterable) { | |
| 128 throw "not reached"; | |
| 129 } | |
| 130 } | |
| 131 | |
| 132 function one_time_getter(o, prop, val) { | |
| 133 function set_never() { throw "unreachable"; } | |
| 134 var gotten = false; | |
| 135 function get_once() { | |
| 136 if (gotten) throw "got twice"; | |
| 137 gotten = true; | |
| 138 return val; | |
| 139 } | |
| 140 Object.defineProperty(o, prop, {get: get_once, set: set_never}) | |
| 141 return o; | |
| 142 } | |
| 143 | |
| 144 function never_getter(o, prop) { | |
| 145 function never() { throw "unreachable"; } | |
| 146 Object.defineProperty(o, prop, {get: never, set: never}) | |
| 147 return o; | |
| 148 } | |
| 149 | |
| 150 function remove_next_after(iterable, n) { | |
| 151 var iterator = iterable[Symbol.iterator](); | |
| 152 function next() { | |
| 153 if (n-- == 0) delete this.next; | |
| 154 return iterator.next(); | |
| 155 } | |
| 156 return wrap_iterator({ next: next }); | |
| 157 } | |
| 158 | |
| 159 function poison_next_after(iterable, n) { | |
| 160 var iterator = iterable[Symbol.iterator](); | |
| 161 function next() { | |
| 162 return iterator.next(); | |
| 163 } | |
| 164 function next_getter() { | |
| 165 if (n-- < 0) | |
| 166 throw "poisoned"; | |
| 167 return next; | |
| 168 } | |
| 169 var o = {}; | |
| 170 Object.defineProperty(o, 'next', { get: next_getter }); | |
| 171 return wrap_iterator(o); | |
| 172 } | |
| 173 | |
| 174 // Now, the tests. | |
| 175 | |
| 176 // Non-generator iterators. | |
| 177 assertEquals(45, fold(sum, 0, integers_until(10))); | |
| 178 // Generator iterators. | |
| 179 assertEquals([1, 2, 3], fold(append, [], values(1, 2, 3))); | |
| 180 // Break. | |
| 181 assertEquals(45, fold(sum, 0, take(integers_from(0), 10))); | |
| 182 // Continue. | |
| 183 assertEquals(90, fold(sum, 0, take(skip_every(integers_from(0), 2), 10))); | |
| 184 // Return. | |
| 185 assertEquals(10, nth(integers_from(0), 10)); | |
| 186 // Nested for-of. | |
| 187 assertEquals([0, 0, 1, 0, 1, 2, 0, 1, 2, 3], | |
| 188 nested_fold(append, | |
| 189 [], | |
| 190 iter_map(integers_until(5), integers_until))); | |
| 191 // Result objects with sparse fields. | |
| 192 assertEquals([undefined, 1, 2, 3], | |
| 193 fold(append, [], | |
| 194 results([{ done: false }, | |
| 195 { value: 1, done: false }, | |
| 196 // A missing "done" is the same as undefined, which | |
| 197 // is false. | |
| 198 { value: 2 }, | |
| 199 // Not done. | |
| 200 { value: 3, done: 0 }, | |
| 201 // Done. | |
| 202 { value: 4, done: 42 }]))); | |
| 203 // Results that are not objects. | |
| 204 assertEquals([undefined, undefined, undefined], | |
| 205 fold(append, [], | |
| 206 results([10, "foo", /qux/, { value: 37, done: true }]))); | |
| 207 // Getters (shudder). | |
| 208 assertEquals([1, 2], | |
| 209 fold(append, [], | |
| 210 results([one_time_getter({ value: 1 }, 'done', false), | |
| 211 one_time_getter({ done: false }, 'value', 2), | |
| 212 { value: 37, done: true }, | |
| 213 never_getter(never_getter({}, 'done'), 'value')]))); | |
| 214 | |
| 215 // Unlike the case with for-in, null and undefined cause an error. | |
| 216 assertThrows('fold(sum, 0, unreachable(null))', TypeError); | |
| 217 assertThrows('fold(sum, 0, unreachable(undefined))', TypeError); | |
| 218 | |
| 219 // Other non-iterators do cause an error. | |
| 220 assertThrows('fold(sum, 0, unreachable({}))', TypeError); | |
| 221 assertThrows('fold(sum, 0, unreachable(false))', TypeError); | |
| 222 assertThrows('fold(sum, 0, unreachable(37))', TypeError); | |
| 223 | |
| 224 // "next" is looked up each time. | |
| 225 assertThrows('fold(sum, 0, remove_next_after(integers_until(10), 5))', | |
| 226 TypeError); | |
| 227 // It is not called at any other time. | |
| 228 assertEquals(45, | |
| 229 fold(sum, 0, remove_next_after(integers_until(10), 10))); | |
| 230 // It is not looked up too many times. | |
| 231 assertEquals(45, | |
| 232 fold(sum, 0, poison_next_after(integers_until(10), 10))); | |
| 233 | |
| 234 function labelled_continue(iterable) { | |
| 235 var n = 0; | |
| 236 outer: | |
| 237 while (true) { | |
| 238 n++; | |
| 239 for (var x of iterable) continue outer; | |
| 240 break; | |
| 241 } | |
| 242 return n; | |
| 243 } | |
| 244 assertEquals(11, labelled_continue(integers_until(10))); | |
| 245 | |
| 246 function labelled_break(iterable) { | |
| 247 var n = 0; | |
| 248 outer: | |
| 249 while (true) { | |
| 250 n++; | |
| 251 for (var x of iterable) break outer; | |
| 252 } | |
| 253 return n; | |
| 254 } | |
| 255 assertEquals(1, labelled_break(integers_until(10))); | |
| 256 | |
| 257 // Test continue/break in catch. | |
| 258 function catch_control(iterable, k) { | |
| 259 var n = 0; | |
| 260 for (var x of iterable) { | |
| 261 try { | |
| 262 return k(x); | |
| 263 } catch (e) { | |
| 264 if (e == "continue") continue; | |
| 265 else if (e == "break") break; | |
| 266 else throw e; | |
| 267 } | |
| 268 } while (false); | |
| 269 return false; | |
| 270 } | |
| 271 assertEquals(false, | |
| 272 catch_control(integers_until(10), | |
| 273 function() { throw "break" })); | |
| 274 assertEquals(false, | |
| 275 catch_control(integers_until(10), | |
| 276 function() { throw "continue" })); | |
| 277 assertEquals(5, | |
| 278 catch_control(integers_until(10), | |
| 279 function(x) { | |
| 280 if (x == 5) return x; | |
| 281 throw "continue"; | |
| 282 })); | |
| 283 | |
| 284 // Test continue/break in try. | |
| 285 function try_control(iterable, k) { | |
| 286 var n = 0; | |
| 287 for (var x of iterable) { | |
| 288 try { | |
| 289 var e = k(x); | |
| 290 if (e == "continue") continue; | |
| 291 else if (e == "break") break; | |
| 292 return e; | |
| 293 } catch (e) { | |
| 294 throw e; | |
| 295 } | |
| 296 } while (false); | |
| 297 return false; | |
| 298 } | |
| 299 assertEquals(false, | |
| 300 try_control(integers_until(10), | |
| 301 function() { return "break" })); | |
| 302 assertEquals(false, | |
| 303 try_control(integers_until(10), | |
| 304 function() { return "continue" })); | |
| 305 assertEquals(5, | |
| 306 try_control(integers_until(10), | |
| 307 function(x) { return (x == 5) ? x : "continue" })); | |
| 308 | |
| 309 // Proxy results, with getters. | |
| 310 function transparent_proxy(x) { | |
| 311 return Proxy.create({ | |
| 312 get: function(receiver, name) { return x[name]; } | |
| 313 }); | |
| 314 } | |
| 315 assertEquals([1, 2], | |
| 316 fold(append, [], | |
| 317 results([one_time_getter({ value: 1 }, 'done', false), | |
| 318 one_time_getter({ done: false }, 'value', 2), | |
| 319 { value: 37, done: true }, | |
| 320 never_getter(never_getter({}, 'done'), 'value')] | |
| 321 .map(transparent_proxy)))); | |
| 322 | |
| 323 // Proxy iterators. | |
| 324 function poison_proxy_after(iterable, n) { | |
| 325 var iterator = iterable[Symbol.iterator](); | |
| 326 return wrap_iterator(Proxy.create({ | |
| 327 get: function(receiver, name) { | |
| 328 if (name == 'next' && n-- < 0) throw "unreachable"; | |
| 329 return iterator[name]; | |
| 330 }, | |
| 331 // Needed for integers_until(10)'s this.n++. | |
| 332 set: function(receiver, name, val) { | |
| 333 return iterator[name] = val; | |
| 334 } | |
| 335 })); | |
| 336 } | |
| 337 assertEquals(45, fold(sum, 0, poison_proxy_after(integers_until(10), 10))); | |
| OLD | NEW |