michael@0: // Copyright 2009 the Sputnik authors.  All rights reserved.
michael@0: // This code is governed by the BSD license found in the LICENSE file.
michael@0: 
michael@0: /**
michael@0:  * Global object properties have attributes { DontEnum }
michael@0:  *
michael@0:  * @path ch10/10.2/10.2.3/S10.2.3_A2.1_T3.js
michael@0:  * @description Global execution context - Constructor Properties
michael@0:  */
michael@0: 
michael@0: //CHECK#1
michael@0: for (var x in this) {
michael@0:   if ( x === 'Object' ) {
michael@0:     $ERROR("#1: 'property 'Object' have attribute DontEnum");
michael@0:   } else if ( x === 'Function') {
michael@0:     $ERROR("#1: 'Function' have attribute DontEnum");
michael@0:   } else if ( x === 'String' ) {
michael@0:     $ERROR("#1: 'String' have attribute DontEnum");
michael@0:   } else if ( x === 'Number' ) {
michael@0:     $ERROR("#1: 'Number' have attribute DontEnum");
michael@0:   } else if ( x === 'Array' ) {
michael@0:     $ERROR("#1: 'Array' have attribute DontEnum");
michael@0:   } else if ( x === 'Boolean' ) {
michael@0:     $ERROR("#1: 'Boolean' have attribute DontEnum");
michael@0:   } else if ( x === 'Date' ) {
michael@0:     $ERROR("#1: 'Date' have attribute DontEnum");
michael@0:   } else if ( x === 'RegExp' ) {
michael@0:     $ERROR("#1: 'RegExp' have attribute DontEnum");
michael@0:   } else if ( x === 'Error' ) {
michael@0:     $ERROR("#1: 'Error' have attribute DontEnum");
michael@0:   } else if ( x === 'EvalError' ) {
michael@0:     $ERROR("#1: 'EvalError' have attribute DontEnum");
michael@0:   } else if ( x === 'RangeError' ) {
michael@0:     $ERROR("#1: 'RangeError' have attribute DontEnum");
michael@0:   } else if ( x === 'ReferenceError' ) {
michael@0:     $ERROR("#1: 'ReferenceError' have attribute DontEnum");
michael@0:   } else if ( x === 'SyntaxError' ) {
michael@0:     $ERROR("#1: 'SyntaxError' have attribute DontEnum");
michael@0:   } else if ( x === 'TypeError' ) {
michael@0:     $ERROR("#1: 'TypeError' have attribute DontEnum");
michael@0:   } else if ( x === 'URIError' ) {
michael@0:     $ERROR("#1: 'URIError' have attribute DontEnum");
michael@0:   }
michael@0: }
michael@0: