star-rhs-iter-rtrn-res-value-final.js (2310B)
1 // Copyright (C) 2016 the V8 project authors. All rights reserved. 2 // This code is governed by the BSD license found in the LICENSE file. 3 /*--- 4 esid: sec-generator-function-definitions-runtime-semantics-evaluation 5 es6id: 14.4.14 6 description: Value received from invocation of generator's `return` method 7 info: | 8 YieldExpression : yield * AssignmentExpression 9 10 1. Let exprRef be the result of evaluating AssignmentExpression. 11 2. Let value be ? GetValue(exprRef). 12 3. Let iterator be ? GetIterator(value). 13 4. Let received be NormalCompletion(undefined). 14 5. Repeat 15 a. If received.[[Type]] is normal, then 16 [...] 17 b. Else if received.[[Type]] is throw, then 18 [...] 19 c. Else, 20 i. Assert: received.[[Type]] is return. 21 ii. Let return be ? GetMethod(iterator, "return"). 22 iii. If return is undefined, return Completion(received). 23 iv. Let innerReturnResult be ? Call(return, iterator, « 24 received.[[Value]] »). 25 v. If Type(innerReturnResult) is not Object, throw a TypeError 26 exception. 27 vi. Let done be ? IteratorComplete(innerReturnResult). 28 vii. If done is true, then 29 1. Let value be ? IteratorValue(innerReturnResult). 30 2. Return Completion{[[Type]]: return, [[Value]]: value, 31 [[Target]]: empty}. 32 viii. Let received be GeneratorYield(innerReturnResult). 33 34 features: [generators, Symbol.iterator] 35 ---*/ 36 37 var quickIter = {}; 38 var normalCompletion = false; 39 var errorCompletion = false; 40 var delegationComplete = false; 41 var iter, returnReceived; 42 quickIter[Symbol.iterator] = function() { 43 return { 44 next: function() { 45 return { done: false }; 46 }, 47 return: function(x) { 48 returnReceived = x; 49 return { done: true, value: 3333 }; 50 } 51 }; 52 }; 53 function* g() { 54 try { 55 yield * quickIter; 56 normalCompletion = true; 57 } catch (e) { 58 errorCompletion = true; 59 } finally { 60 delegationComplete = true; 61 } 62 } 63 64 iter = g(); 65 66 iter.next(); 67 iter.return(2222); 68 assert.sameValue(returnReceived, 2222); 69 assert.sameValue(delegationComplete, true, 'delegation complete'); 70 assert.sameValue(normalCompletion, false, 'completion was abrupt'); 71 assert.sameValue(errorCompletion, false, 'completion was not of type "throw"'); 72 73 reportCompare(0, 0);