ary-ptrn-rest-ary-elision.js (2648B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-binding/ary-ptrn-rest-ary-elision.case 3 // - src/dstr-binding/default/func-expr.template 4 /*--- 5 description: Rest element containing an elision (function expression) 6 esid: sec-function-definitions-runtime-semantics-evaluation 7 features: [generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 FunctionExpression : function ( FormalParameters ) { FunctionBody } 11 12 [...] 13 3. Let closure be FunctionCreate(Normal, FormalParameters, FunctionBody, 14 scope, strict). 15 [...] 16 17 9.2.1 [[Call]] ( thisArgument, argumentsList) 18 19 [...] 20 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList). 21 [...] 22 23 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList ) 24 25 1. Let status be FunctionDeclarationInstantiation(F, argumentsList). 26 [...] 27 28 9.2.12 FunctionDeclarationInstantiation(func, argumentsList) 29 30 [...] 31 23. Let iteratorRecord be Record {[[iterator]]: 32 CreateListIterator(argumentsList), [[done]]: false}. 33 24. If hasDuplicates is true, then 34 [...] 35 25. Else, 36 b. Let formalStatus be IteratorBindingInitialization for formals with 37 iteratorRecord and env as arguments. 38 [...] 39 40 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 41 42 BindingRestElement : ... BindingPattern 43 44 1. Let A be ArrayCreate(0). 45 [...] 46 3. Repeat 47 [...] 48 b. If iteratorRecord.[[done]] is true, then 49 i. Return the result of performing BindingInitialization of 50 BindingPattern with A and environment as the arguments. 51 [...] 52 53 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 54 55 ArrayBindingPattern : [ Elision ] 56 57 1. Return the result of performing 58 IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord 59 as the argument. 60 61 12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 62 63 Elision : , 64 65 1. If iteratorRecord.[[done]] is false, then 66 a. Let next be IteratorStep(iteratorRecord.[[iterator]]). 67 b. If next is an abrupt completion, set iteratorRecord.[[done]] to true. 68 c. ReturnIfAbrupt(next). 69 d. If next is false, set iteratorRecord.[[done]] to true. 70 2. Return NormalCompletion(empty). 71 72 ---*/ 73 var first = 0; 74 var second = 0; 75 function* g() { 76 first += 1; 77 yield; 78 second += 1; 79 }; 80 81 var callCount = 0; 82 var f; 83 f = function([...[,]]) { 84 assert.sameValue(first, 1); 85 assert.sameValue(second, 1); 86 callCount = callCount + 1; 87 }; 88 89 f(g()); 90 assert.sameValue(callCount, 1, 'function invoked exactly once'); 91 92 reportCompare(0, 0);