meth-static-dflt-ary-ptrn-elision.js (3136B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-binding/ary-ptrn-elision.case 3 // - src/dstr-binding/default/cls-expr-meth-static-dflt.template 4 /*--- 5 description: Elision advances iterator (static class expression method (default parameter)) 6 esid: sec-class-definitions-runtime-semantics-evaluation 7 features: [generators, destructuring-binding, default-parameters] 8 flags: [generated] 9 info: | 10 ClassExpression : class BindingIdentifieropt ClassTail 11 12 1. If BindingIdentifieropt is not present, let className be undefined. 13 2. Else, let className be StringValue of BindingIdentifier. 14 3. Let value be the result of ClassDefinitionEvaluation of ClassTail 15 with argument className. 16 [...] 17 18 14.5.14 Runtime Semantics: ClassDefinitionEvaluation 19 20 21. For each ClassElement m in order from methods 21 a. If IsStatic of m is false, then 22 b. Else, 23 Let status be the result of performing PropertyDefinitionEvaluation for 24 m with arguments F and false. 25 [...] 26 27 14.3.8 Runtime Semantics: DefineMethod 28 29 MethodDefinition : PropertyName ( StrictFormalParameters ) { FunctionBody } 30 31 [...] 32 6. Let closure be FunctionCreate(kind, StrictFormalParameters, FunctionBody, 33 scope, strict). If functionPrototype was passed as a parameter then pass its 34 value as the functionPrototype optional argument of FunctionCreate. 35 [...] 36 37 9.2.1 [[Call]] ( thisArgument, argumentsList) 38 39 [...] 40 7. Let result be OrdinaryCallEvaluateBody(F, argumentsList). 41 [...] 42 43 9.2.1.3 OrdinaryCallEvaluateBody ( F, argumentsList ) 44 45 1. Let status be FunctionDeclarationInstantiation(F, argumentsList). 46 [...] 47 48 9.2.12 FunctionDeclarationInstantiation(func, argumentsList) 49 50 [...] 51 23. Let iteratorRecord be Record {[[iterator]]: 52 CreateListIterator(argumentsList), [[done]]: false}. 53 24. If hasDuplicates is true, then 54 [...] 55 25. Else, 56 b. Let formalStatus be IteratorBindingInitialization for formals with 57 iteratorRecord and env as arguments. 58 [...] 59 60 13.3.3.6 Runtime Semantics: IteratorBindingInitialization 61 62 ArrayBindingPattern : [ Elision ] 63 64 1. Return the result of performing 65 IteratorDestructuringAssignmentEvaluation of Elision with iteratorRecord 66 as the argument. 67 68 12.14.5.3 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 69 70 Elision : , 71 72 1. If iteratorRecord.[[done]] is false, then 73 a. Let next be IteratorStep(iteratorRecord.[[iterator]]). 74 b. If next is an abrupt completion, set iteratorRecord.[[done]] to true. 75 c. ReturnIfAbrupt(next). 76 d. If next is false, set iteratorRecord.[[done]] to true. 77 2. Return NormalCompletion(empty). 78 79 ---*/ 80 var first = 0; 81 var second = 0; 82 function* g() { 83 first += 1; 84 yield; 85 second += 1; 86 }; 87 88 var callCount = 0; 89 var C = class { 90 static method([,] = g()) { 91 assert.sameValue(first, 1); 92 assert.sameValue(second, 0); 93 callCount = callCount + 1; 94 } 95 }; 96 97 C.method(); 98 assert.sameValue(callCount, 1, 'method invoked exactly once'); 99 100 reportCompare(0, 0);