keith_miller@apple.com | bcc77f2 | 2016-07-15 06:03:25 +0000 | [diff] [blame] | 1 | // This file was procedurally generated from the following sources: |
| 2 | // - src/dstr-binding/obj-ptrn-list-err.case |
| 3 | // - src/dstr-binding/error/cls-expr-meth-dflt.template |
| 4 | /*--- |
| 5 | description: Binding property list evaluation is interrupted by an abrupt completion (class expression method (default parameter)) |
| 6 | esid: sec-class-definitions-runtime-semantics-evaluation |
| 7 | es6id: 14.5.16 |
| 8 | features: [destructuring-binding, default-parameters] |
| 9 | flags: [generated] |
| 10 | info: | |
| 11 | ClassExpression : class BindingIdentifieropt ClassTail |
| 12 | |
| 13 | 1. If BindingIdentifieropt is not present, let className be undefined. |
| 14 | 2. Else, let className be StringValue of BindingIdentifier. |
| 15 | 3. Let value be the result of ClassDefinitionEvaluation of ClassTail |
| 16 | with argument className. |
| 17 | [...] |
| 18 | |
| 19 | 14.5.14 Runtime Semantics: ClassDefinitionEvaluation |
| 20 | |
| 21 | 21. For each ClassElement m in order from methods |
| 22 | a. If IsStatic of m is false, then |
| 23 | i. Let status be the result of performing |
| 24 | PropertyDefinitionEvaluation for m with arguments proto and |
| 25 | false. |
| 26 | [...] |
| 27 | |
| 28 | 14.3.8 Runtime Semantics: DefineMethod |
| 29 | |
| 30 | MethodDefinition : PropertyName ( StrictFormalParameters ) { FunctionBody } |
| 31 | |
| 32 | [...] |
| 33 | 6. Let closure be FunctionCreate(kind, StrictFormalParameters, FunctionBody, |
| 34 | scope, strict). If functionPrototype was passed as a parameter then pass its |
| 35 | value as the functionPrototype optional argument of FunctionCreate. |
| 36 | [...] |
| 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.5 Runtime Semantics: BindingInitialization |
| 62 | |
| 63 | BindingPropertyList : BindingPropertyList , BindingProperty |
| 64 | |
| 65 | 1. Let status be the result of performing BindingInitialization for |
| 66 | BindingPropertyList using value and environment as arguments. |
| 67 | 2. ReturnIfAbrupt(status). |
| 68 | ---*/ |
| 69 | var initCount = 0; |
| 70 | function thrower() { |
| 71 | throw new Test262Error(); |
| 72 | } |
| 73 | |
| 74 | var C = class { |
| 75 | method({ a, b = thrower(), c = ++initCount } = {}) {} |
| 76 | }; |
| 77 | |
| 78 | var c = new C(); |
| 79 | |
| 80 | assert.throws(Test262Error, function() { |
| 81 | c.method(); |
| 82 | }); |
| 83 | |
| 84 | assert.sameValue(initCount, 0); |