2011-10-03 13:04:52 -07:00

22 lines
595 B
JavaScript

// Copyright 2009 the Sputnik authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/**
* Number.POSITIVE_INFINITY has the attribute DontEnum
*
* @path ch15/15.7/15.7.3/15.7.3.6/S15.7.3.6_A4.js
* @description Checking if enumerating Number.POSITIVE_INFINITY fails
*/
//CHECK#1
for(var x in Number) {
if(x === "POSITIVE_INFINITY") {
$ERROR('#1: Number.POSITIVE_INFINITY has the attribute DontEnum');
}
}
if (Number.propertyIsEnumerable('POSITIVE_INFINITY')) {
$ERROR('#2: Number.POSITIVE_INFINITY has the attribute DontEnum');
}