global-if-decl-else-decl-b-eval-global-existing-global-update.js (1970B)
1 // This file was procedurally generated from the following sources: 2 // - src/annex-b-fns/eval-global-existing-global-update.case 3 // - src/annex-b-fns/eval-global/direct-if-decl-else-decl-b.template 4 /*--- 5 description: Variable-scoped binding is updated following evaluation (IfStatement with a declaration in both statement positions in eval code) 6 esid: sec-functiondeclarations-in-ifstatement-statement-clauses 7 flags: [generated, noStrict] 8 includes: [fnGlobalObject.js] 9 info: | 10 The following rules for IfStatement augment those in 13.6: 11 12 IfStatement[Yield, Return]: 13 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else Statement[?Yield, ?Return] 14 if ( Expression[In, ?Yield] ) Statement[?Yield, ?Return] else FunctionDeclaration[?Yield] 15 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] else FunctionDeclaration[?Yield] 16 if ( Expression[In, ?Yield] ) FunctionDeclaration[?Yield] 17 18 19 B.3.3.3 Changes to EvalDeclarationInstantiation 20 21 [...] 22 b. When the FunctionDeclaration f is evaluated, perform the following steps 23 in place of the FunctionDeclaration Evaluation algorithm provided in 24 14.1.21: 25 i. Let genv be the running execution context's VariableEnvironment. 26 ii. Let genvRec be genv's EnvironmentRecord. 27 iii. Let benv be the running execution context's LexicalEnvironment. 28 iv. Let benvRec be benv's EnvironmentRecord. 29 v. Let fobj be ! benvRec.GetBindingValue(F, false). 30 vi. Perform ? genvRec.SetMutableBinding(F, fobj, false). 31 vii. Return NormalCompletion(empty). 32 33 ---*/ 34 Object.defineProperty(fnGlobalObject(), 'f', { 35 value: function() { return 'Another function'; }, 36 enumerable: true, 37 writable: true, 38 configurable: false 39 }); 40 41 eval( 42 'if (false) function _f() {} else function f() { return "function declaration"; }' 43 ); 44 45 assert.sameValue(typeof f, 'function'); 46 assert.sameValue(f(), 'function declaration'); 47 48 reportCompare(0, 0);