meth-dflt-ary-ptrn-rest-id-elision.js (3053B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-binding/ary-ptrn-rest-id-elision.case 3 // - src/dstr-binding/default/cls-expr-meth-dflt.template 4 /*--- 5 description: Rest element following elision elements (class expression method (default parameter)) 6 esid: sec-class-definitions-runtime-semantics-evaluation 7 features: [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 i. Let status be the result of performing 23 PropertyDefinitionEvaluation for m with arguments proto and 24 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 ArrayBindingPattern : [ Elisionopt BindingRestElement ] 62 1. If Elision is present, then 63 a. Let status be the result of performing 64 IteratorDestructuringAssignmentEvaluation of Elision with 65 iteratorRecord as the argument. 66 b. ReturnIfAbrupt(status). 67 2. Return the result of performing IteratorBindingInitialization for 68 BindingRestElement with iteratorRecord and environment as arguments. 69 ---*/ 70 var values = [1, 2, 3, 4, 5]; 71 72 var callCount = 0; 73 var C = class { 74 method([ , , ...x] = values) { 75 assert(Array.isArray(x)); 76 assert.sameValue(x.length, 3); 77 assert.sameValue(x[0], 3); 78 assert.sameValue(x[1], 4); 79 assert.sameValue(x[2], 5); 80 assert.notSameValue(x, values); 81 callCount = callCount + 1; 82 } 83 }; 84 85 new C().method(); 86 assert.sameValue(callCount, 1, 'method invoked exactly once'); 87 88 reportCompare(0, 0);