michael@0: /* -*- Mode: C++; tab-width: 2; indent-tabs-mode: nil; c-basic-offset: 2 -*- */
michael@0: /* This Source Code Form is subject to the terms of the Mozilla Public
michael@0:  * License, v. 2.0. If a copy of the MPL was not distributed with this
michael@0:  * file, You can obtain one at http://mozilla.org/MPL/2.0/. */
michael@0: 
michael@0: 
michael@0: /**
michael@0:    File Name:          statement-003
michael@0:    Corresponds To:     12.6.3-7-n.js
michael@0:    ECMA Section:       12.6.3 The for...in Statement
michael@0:    Description:
michael@0:    The production IterationStatement : for ( LeftHandSideExpression in Expression )
michael@0:    Statement is evaluated as follows:
michael@0: 
michael@0:    1.  Evaluate the Expression.
michael@0:    2.  Call GetValue(Result(1)).
michael@0:    3.  Call ToObject(Result(2)).
michael@0:    4.  Let C be "normal completion".
michael@0:    5.  Get the name of the next property of Result(3) that doesn't have the
michael@0:    DontEnum attribute. If there is no such property, go to step 14.
michael@0:    6.  Evaluate the LeftHandSideExpression ( it may be evaluated repeatedly).
michael@0:    7.  Call PutValue(Result(6), Result(5)).  PutValue( V, W ):
michael@0:    1.  If Type(V) is not Reference, generate a runtime error.
michael@0:    2.  Call GetBase(V).
michael@0:    3.  If Result(2) is null, go to step 6.
michael@0:    4.  Call the [[Put]] method of Result(2), passing GetPropertyName(V)
michael@0:    for the property name and W for the value.
michael@0:    5.  Return.
michael@0:    6.  Call the [[Put]] method for the global object, passing
michael@0:    GetPropertyName(V) for the property name and W for the value.
michael@0:    7.  Return.
michael@0:    8.  Evaluate Statement.
michael@0:    9.  If Result(8) is a value completion, change C to be "normal completion
michael@0:    after value V" where V is the value carried by Result(8).
michael@0:    10. If Result(8) is a break completion, go to step 14.
michael@0:    11. If Result(8) is a continue completion, go to step 5.
michael@0:    12. If Result(8) is a return completion, return Result(8).
michael@0:    13. Go to step 5.
michael@0:    14. Return C.
michael@0: 
michael@0:    Author:             christine@netscape.com
michael@0:    Date:               11 september 1997
michael@0: */
michael@0: var SECTION = "statement-003";
michael@0: var VERSION = "JS1_4";
michael@0: var TITLE   = "The for..in statement";
michael@0: 
michael@0: startTest();
michael@0: writeHeaderToLog( SECTION + " "+ TITLE);
michael@0: 
michael@0: var result = "Failed";
michael@0: var exception = "No exception thrown";
michael@0: var expect = "Passed";
michael@0: 
michael@0: try {
michael@0:   var o = new MyObject();
michael@0:   var result = 0;
michael@0: 
michael@0:   eval("for ( this in o) {\n"
michael@0:        + "result += this[p];\n"
michael@0:        + "}\n");
michael@0: } catch ( e ) {
michael@0:   result = expect;
michael@0:   exception = e.toString();
michael@0: }
michael@0: 
michael@0: new TestCase(
michael@0:   SECTION,
michael@0:   "bad left-hand side expression" +
michael@0:   " (threw " + exception +")",
michael@0:   expect,
michael@0:   result );
michael@0: 
michael@0: test();
michael@0: 
michael@0: function MyObject() {
michael@0:   this.value = 2;
michael@0:   this[0] = 4;
michael@0:   return this;
michael@0: }