gen-meth-ary-ptrn-rest-ary-elision.js (3583B)
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/cls-decl-gen-meth.template 4 /*--- 5 description: Rest element containing an elision (class expression method) 6 esid: sec-class-definitions-runtime-semantics-evaluation 7 features: [generators, destructuring-binding] 8 flags: [generated] 9 info: | 10 ClassDeclaration : class BindingIdentifier ClassTail 11 12 1. Let className be StringValue of BindingIdentifier. 13 2. Let value be the result of ClassDefinitionEvaluation of ClassTail with 14 argument className. 15 [...] 16 17 14.5.14 Runtime Semantics: ClassDefinitionEvaluation 18 19 21. For each ClassElement m in order from methods 20 a. If IsStatic of m is false, then 21 i. Let status be the result of performing 22 PropertyDefinitionEvaluation for m with arguments proto and 23 false. 24 [...] 25 26 14.4.13 Runtime Semantics: PropertyDefinitionEvaluation 27 28 GeneratorMethod : * PropertyName ( StrictFormalParameters ) { GeneratorBody } 29 30 1. Let propKey be the result of evaluating PropertyName. 31 2. ReturnIfAbrupt(propKey). 32 3. If the function code for this GeneratorMethod is strict mode code, 33 let strict be true. Otherwise let strict be false. 34 4. Let scope be the running execution context's LexicalEnvironment. 35 5. Let closure be GeneratorFunctionCreate(Method, 36 StrictFormalParameters, GeneratorBody, scope, strict). 37 38 9.2.1 [[Call]] ( thisArgument, argumentsList) 39 40 [...] 41 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList). 42 [...] 43 44 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList ) 45 46 1. Let status be FunctionDeclarationInstantiation(F, argumentsList). 47 [...] 48 49 9.2.12 FunctionDeclarationInstantiation(func, argumentsList) 50 51 [...] 52 23. Let iteratorRecord be Record {[[iterator]]: 53 CreateListIterator(argumentsList), [[done]]: false}. 54 24. If hasDuplicates is true, then 55 [...] 56 25. Else, 57 b. Let formalStatus be IteratorBindingInitialization for formals with 58 iteratorRecord and env as arguments. 59 [...] 60 61 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 62 63 BindingRestElement : ... BindingPattern 64 65 1. Let A be ArrayCreate(0). 66 [...] 67 3. Repeat 68 [...] 69 b. If iteratorRecord.[[done]] is true, then 70 i. Return the result of performing BindingInitialization of 71 BindingPattern with A and environment as the arguments. 72 [...] 73 74 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 75 76 ArrayBindingPattern : [ Elision ] 77 78 1. Return the result of performing 79 IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord 80 as the argument. 81 82 12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 83 84 Elision : , 85 86 1. If iteratorRecord.[[done]] is false, then 87 a. Let next be IteratorStep(iteratorRecord.[[iterator]]). 88 b. If next is an abrupt completion, set iteratorRecord.[[done]] to true. 89 c. ReturnIfAbrupt(next). 90 d. If next is false, set iteratorRecord.[[done]] to true. 91 2. Return NormalCompletion(empty). 92 93 ---*/ 94 var first = 0; 95 var second = 0; 96 function* g() { 97 first += 1; 98 yield; 99 second += 1; 100 }; 101 102 var callCount = 0; 103 class C { 104 *method([...[,]]) { 105 assert.sameValue(first, 1); 106 assert.sameValue(second, 1); 107 callCount = callCount + 1; 108 } 109 }; 110 111 new C().method(g()).next(); 112 assert.sameValue(callCount, 1, 'method invoked exactly once'); 113 114 reportCompare(0, 0);