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:          12.6.3-1.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 = "12.6.3-4";
michael@0: var VERSION = "ECMA_1";
michael@0: startTest();
michael@0: var TITLE   = "The for..in statement";
michael@0: 
michael@0: writeHeaderToLog( SECTION + " "+ TITLE);
michael@0: 
michael@0: //  for ( LeftHandSideExpression in Expression )
michael@0: //  LeftHandSideExpression:NewExpression:MemberExpression
michael@0: 
michael@0: var count = 0;
michael@0: function f() {     count++; return new Array("h","e","l","l","o"); }
michael@0: 
michael@0: var result = "";
michael@0: for ( p in f() ) { result += f()[p] };
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "count = 0; result = \"\"; "+
michael@0: 	      "function f() { count++; return new Array(\"h\",\"e\",\"l\",\"l\",\"o\"); }"+
michael@0: 	      "for ( p in f() ) { result += f()[p] }; count",
michael@0: 	      6,
michael@0: 	      count );
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "result",
michael@0: 	      "hello",
michael@0: 	      result );
michael@0: 
michael@0: 
michael@0: 
michael@0: //  LeftHandSideExpression:NewExpression:MemberExpression [ Expression ]
michael@0: //  LeftHandSideExpression:NewExpression:MemberExpression . Identifier
michael@0: //  LeftHandSideExpression:NewExpression:new MemberExpression Arguments
michael@0: //  LeftHandSideExpression:NewExpression:PrimaryExpression:( Expression )
michael@0: //  LeftHandSideExpression:CallExpression:MemberExpression Arguments
michael@0: //  LeftHandSideExpression:CallExpression Arguments
michael@0: //  LeftHandSideExpression:CallExpression [ Expression ]
michael@0: //  LeftHandSideExpression:CallExpression . Identifier
michael@0: 
michael@0: test();
michael@0: