1/* ***** BEGIN LICENSE BLOCK *****
2* Version: NPL 1.1/GPL 2.0/LGPL 2.1
3*
4* The contents of this file are subject to the Netscape Public License
5* Version 1.1 (the "License"); you may not use this file except in
6* compliance with the License. You may obtain a copy of the License at
7* http://www.mozilla.org/NPL/
8*
9* Software distributed under the License is distributed on an "AS IS" basis,
10* WITHOUT WARRANTY OF ANY KIND, either express or implied. See the License
11* for the specific language governing rights and limitations under the
12* License.
13*
14* The Original Code is JavaScript Engine testing utilities.
15*
16* The Initial Developer of the Original Code is Netscape Communications Corp.
17* Portions created by the Initial Developer are Copyright (C) 2002
18* the Initial Developer. All Rights Reserved.
19*
20* Contributor(s): pschwartau@netscape.com
21*
22* Alternatively, the contents of this file may be used under the terms of
23* either the GNU General Public License Version 2 or later (the "GPL"), or
24* the GNU Lesser General Public License Version 2.1 or later (the "LGPL"),
25* in which case the provisions of the GPL or the LGPL are applicable instead
26* of those above. If you wish to allow use of your version of this file only
27* under the terms of either the GPL or the LGPL, and not to allow others to
28* use your version of this file under the terms of the NPL, indicate your
29* decision by deleting the provisions above and replace them with the notice
30* and other provisions required by the GPL or the LGPL. If you do not delete
31* the provisions above, a recipient may use your version of this file under
32* the terms of any one of the NPL, the GPL or the LGPL.
33*
34* ***** END LICENSE BLOCK *****
35*
36*
37* Date:    30 Jan 2002
38* Revised: 10 Apr 2002
39* Revised: 14 July 2002
40*
41* SUMMARY: JS should error on |for(i in undefined)|, |for(i in null)|
42* See http://bugzilla.mozilla.org/show_bug.cgi?id=121744
43*
44* ECMA-262 3rd Edition Final spec says such statements should error. See:
45*
46*               Section 12.6.4  The for-in Statement
47*               Section 9.9     ToObject
48*
49*
50* BUT: SpiderMonkey has decided NOT to follow this; it's a bug in the spec.
51* See http://bugzilla.mozilla.org/show_bug.cgi?id=131348
52*
53* UPDATE: Rhino has also decided not to follow the spec on this.
54* See http://bugzilla.mozilla.org/show_bug.cgi?id=136893
55*
56
57  |--------------------------------------------------------------------|
58  |                                                                    |
59  | So for now, adding an early return for this test so it won't run.  |
60  |                                                                    |
61  |--------------------------------------------------------------------|
62
63*
64*/
65//-----------------------------------------------------------------------------
66var UBound = 0;
67var bug = 121744;
68var summary = 'JS should error on |for(i in undefined)|, |for(i in null)|';
69var TEST_PASSED = 'TypeError';
70var TEST_FAILED = 'Generated an error, but NOT a TypeError!';
71var TEST_FAILED_BADLY = 'Did not generate ANY error!!!';
72var status = '';
73var statusitems = [];
74var actual = '';
75var actualvalues = [];
76var expect= '';
77var expectedvalues = [];
78
79/*
80 * AS OF 14 JULY 2002, DON'T RUN THIS TEST IN EITHER RHINO OR SPIDERMONKEY -
81 */
82quit();
83
84
85status = inSection(1);
86expect = TEST_PASSED;
87actual = TEST_FAILED_BADLY;
88/*
89 * OK, this should generate a TypeError
90 */
91try
92{
93  for (var i in undefined)
94  {
95    print(i);
96  }
97}
98catch(e)
99{
100  if (e instanceof TypeError)
101    actual = TEST_PASSED;
102  else
103    actual = TEST_FAILED;
104}
105addThis();
106
107
108
109status = inSection(2);
110expect = TEST_PASSED;
111actual = TEST_FAILED_BADLY;
112/*
113 * OK, this should generate a TypeError
114 */
115try
116{
117  for (var i in null)
118  {
119    print(i);
120  }
121}
122catch(e)
123{
124  if (e instanceof TypeError)
125    actual = TEST_PASSED;
126  else
127    actual = TEST_FAILED;
128}
129addThis();
130
131
132
133status = inSection(3);
134expect = TEST_PASSED;
135actual = TEST_FAILED_BADLY;
136/*
137 * Variable names that cannot be looked up generate ReferenceErrors; however,
138 * property names like obj.ZZZ that cannot be looked up are set to |undefined|
139 *
140 * Therefore, this should indirectly test | for (var i in undefined) |
141 */
142try
143{
144  for (var i in this.ZZZ)
145  {
146    print(i);
147  }
148}
149catch(e)
150{
151  if(e instanceof TypeError)
152    actual = TEST_PASSED;
153  else
154    actual = TEST_FAILED;
155}
156addThis();
157
158
159
160status = inSection(4);
161expect = TEST_PASSED;
162actual = TEST_FAILED_BADLY;
163/*
164 * The result of an unsuccessful regexp match is the null value
165 * Therefore, this should indirectly test | for (var i in null) |
166 */
167try
168{
169  for (var i in 'bbb'.match(/aaa/))
170  {
171    print(i);
172  }
173}
174catch(e)
175{
176  if(e instanceof TypeError)
177    actual = TEST_PASSED;
178  else
179    actual = TEST_FAILED;
180}
181addThis();
182
183
184
185//-----------------------------------------------------------------------------
186test();
187//-----------------------------------------------------------------------------
188
189
190
191function addThis()
192{
193  statusitems[UBound] = status;
194  actualvalues[UBound] = actual;
195  expectedvalues[UBound] = expect;
196  UBound++;
197}
198
199
200function test()
201{
202  enterFunc('test');
203  printBugNumber(bug);
204  printStatus(summary);
205
206  for (var i=0; i<UBound; i++)
207  {
208    reportCompare(expectedvalues[i], actualvalues[i], statusitems[i]);
209  }
210
211  exitFunc ('test');
212}
213