blob: e9a40bd67719761b07553dadc49f7670816e23e2 [file] [log] [blame]
keith_miller@apple.combcc77f22016-07-15 06:03:25 +00001// This file was procedurally generated from the following sources:
2// - src/dflt-params/arg-val-undefined.case
3// - src/dflt-params/default/cls-expr-meth.template
4/*---
5description: Use of intializer when argument value is `undefined` (class expression method)
6esid: sec-class-definitions-runtime-semantics-evaluation
7es6id: 14.5.16
8features: [default-parameters]
9flags: [generated]
10info: |
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 14.1.19 Runtime Semantics: IteratorBindingInitialization
62
63 FormalsList : FormalsList , FormalParameter
64
65 [...]
66 23. Let iteratorRecord be Record {[[Iterator]]:
67 CreateListIterator(argumentsList), [[Done]]: false}.
68 24. If hasDuplicates is true, then
69 [...]
70 25. Else,
71 a. Perform ? IteratorBindingInitialization for formals with
72 iteratorRecord and env as arguments.
73 [...]
74---*/
75
76var callCount = 0;
77var C = class {
78 method(fromLiteral = 23, fromExpr = 45, fromHole = 99) {
79 assert.sameValue(fromLiteral, 23);
80 assert.sameValue(fromExpr, 45);
81 assert.sameValue(fromHole, 99);
82 callCount = callCount + 1;
83 }
84};
85
86C.prototype.method(undefined, void 0);
87
88assert.sameValue(callCount, 1, 'method invoked exactly once');