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: var BUGNUMBER="http://scopus.mcom.com/bugsplat/show_bug.cgi?id=344855";
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 o = new MyObject();
michael@0: var result = 0;
michael@0: 
michael@0: for ( MyObject in o ) {
michael@0:   result += o[MyObject];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "for ( MyObject in o ) { result += o[MyObject] }",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var result = 0;
michael@0: 
michael@0: for ( value in o ) {
michael@0:   result += o[value];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "for ( value in o ) { result += o[value]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var value = "value";
michael@0: var result = 0;
michael@0: for ( value in o ) {
michael@0:   result += o[value];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "value = \"value\"; for ( value in o ) { result += o[value]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var value = 0;
michael@0: var result = 0;
michael@0: for ( value in o ) {
michael@0:   result += o[value];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "value = 0; for ( value in o ) { result += o[value]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: // this causes a segv
michael@0: 
michael@0: var ob = { 0:"hello" };
michael@0: var result = 0;
michael@0: for ( ob[0] in o ) {
michael@0:   result += o[ob[0]];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "ob = { 0:\"hello\" }; for ( ob[0] in o ) { result += o[ob[0]]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var result = 0;
michael@0: for ( ob["0"] in o ) {
michael@0:   result += o[ob["0"]];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "value = 0; for ( ob[\"0\"] in o ) { result += o[o[\"0\"]]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var result = 0;
michael@0: var ob = { value:"hello" };
michael@0: for ( ob[value] in o ) {
michael@0:   result += o[ob[value]];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "ob = { 0:\"hello\" }; for ( ob[value] in o ) { result += o[ob[value]]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var result = 0;
michael@0: for ( ob["value"] in o ) {
michael@0:   result += o[ob["value"]];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "value = 0; for ( ob[\"value\"] in o ) { result += o[ob[\"value\"]]",
michael@0: 	      6,
michael@0: 	      result );
michael@0: 
michael@0: var result = 0;
michael@0: for ( ob.value in o ) {
michael@0:   result += o[ob.value];
michael@0: }
michael@0: 
michael@0: new TestCase( SECTION,
michael@0: 	      "value = 0; for ( ob.value in o ) { result += o[ob.value]",
michael@0: 	      6,
michael@0: 	      result );
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: 
michael@0: function MyObject() {
michael@0:   this.value = 2;
michael@0:   this[0] = 4;
michael@0:   return this;
michael@0: }