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