array-elem-put-obj-literal-prop-ref-init.js (3113B)
1 // This file was procedurally generated from the following sources: 2 // - src/dstr-assignment/array-elem-put-obj-literal-prop-ref-init.case 3 // - src/dstr-assignment/default/for-of.template 4 /*--- 5 description: The DestructuringAssignmentTarget of an AssignmentElement can extend to LHSExpressions if it is neither an ObjectLiteral nor an ArrayLiteral and its AssignmentTargetTyp is simple. Using MemberExpression (ObjLiteral + identifier) with initializer. (For..of statement) 6 esid: sec-for-in-and-for-of-statements-runtime-semantics-labelledevaluation 7 features: [destructuring-binding] 8 flags: [generated] 9 info: | 10 IterationStatement : 11 for ( LeftHandSideExpression of AssignmentExpression ) Statement 12 13 1. Let keyResult be the result of performing ? ForIn/OfHeadEvaluation(« », 14 AssignmentExpression, iterate). 15 2. Return ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement, 16 keyResult, assignment, labelSet). 17 18 13.7.5.13 Runtime Semantics: ForIn/OfBodyEvaluation 19 20 [...] 21 4. If destructuring is true and if lhsKind is assignment, then 22 a. Assert: lhs is a LeftHandSideExpression. 23 b. Let assignmentPattern be the parse of the source text corresponding to 24 lhs using AssignmentPattern as the goal symbol. 25 [...] 26 27 Syntax 28 29 AssignmentPattern : ArrayAssignmentPattern 30 ArrayAssignmentPattern : [ AssignmentElementList ] 31 AssignmentElementList : AssignmentElisionElement 32 AssignmentElisionElement : Elision_opt AssignmentElement 33 AssignmentElement : DestructuringAssignmentTarget Initializer_opt 34 DestructuringAssignmentTarget : LeftHandSideExpression 35 36 Static Semantics: Early Errors 37 38 DestructuringAssignmentTarget : LeftHandSideExpression 39 40 - It is a Syntax Error if LeftHandSideExpression is either an ObjectLiteral or an ArrayLiteral and if LeftHandSideExpression is not covering an AssignmentPattern. 41 - It is a Syntax Error if LeftHandSideExpression is neither an ObjectLiteral nor an ArrayLiteral and AssignmentTargetType(LeftHandSideExpression) is not simple. 42 43 Runtime Semantics: DestructuringAssignmentEvaluation 44 ArrayAssignmentPattern : [ AssignmentElementList ] 45 46 1. Let iteratorRecord be ? GetIterator(value). 47 2. Let result be IteratorDestructuringAssignmentEvaluation of AssignmentElementList with argument iteratorRecord. 48 3. If iteratorRecord.[[Done]] is false, return ? IteratorClose(iteratorRecord, result). 49 4. Return result. 50 51 Runtime Semantics: IteratorDestructuringAssignmentEvaluation 52 AssignmentElement : DestructuringAssignmentTarget Initializer 53 54 1. If DestructuringAssignmentTarget is neither an ObjectLiteral nor an ArrayLiteral, then 55 a. Let lref be the result of evaluating DestructuringAssignmentTarget. 56 ... 57 7. Return ? PutValue(lref, v). 58 59 ---*/ 60 var x, setValue; 61 62 var counter = 0; 63 64 for ([{ 65 get y() { 66 throw new Test262Error('The property should not be accessed.'); 67 }, 68 set y(val) { 69 setValue = val; 70 } 71 }.y = 42] of [[23]]) { 72 assert.sameValue(setValue, 23); 73 74 counter += 1; 75 } 76 77 assert.sameValue(counter, 1); 78 79 reportCompare(0, 0);