13ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch// Copyright 2012 the V8 project authors. All rights reserved.
21e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// Redistribution and use in source and binary forms, with or without
31e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// modification, are permitted provided that the following conditions are
41e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// met:
51e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//
61e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Redistributions of source code must retain the above copyright
71e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       notice, this list of conditions and the following disclaimer.
81e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Redistributions in binary form must reproduce the above
91e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       copyright notice, this list of conditions and the following
101e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       disclaimer in the documentation and/or other materials provided
111e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       with the distribution.
121e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//     * Neither the name of Google Inc. nor the names of its
131e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       contributors may be used to endorse or promote products derived
141e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//       from this software without specific prior written permission.
151e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block//
161e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
171e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
181e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
191e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
201e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
211e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
221e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
231e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
241e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
251e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
261e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
271e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
283ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch// Test Harmony Number.isFinite() and Number.isNaN() functions.
293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
303ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertTrue(Number.isFinite(0));
313ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertTrue(Number.isFinite(Number.MIN_VALUE));
323ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertTrue(Number.isFinite(Number.MAX_VALUE));
333ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(Number.NaN));
343ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(Number.POSITIVE_INFINITY));
353ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(Number.NEGATIVE_INFINITY));
363ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(new Number(0)));
373ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(1/0));
383ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(-1/0));
393ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite({}));
403ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite([]));
413ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite("s"));
423ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(null));
433ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isFinite(undefined));
443ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
453ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(0));
463ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(Number.MIN_VALUE));
473ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(Number.MAX_VALUE));
483ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertTrue(Number.isNaN(Number.NaN));
493ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(Number.POSITIVE_INFINITY));
503ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(Number.NEGATIVE_INFINITY));
513ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(new Number(0)));
523ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(1/0));
533ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(-1/0));
543ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN({}));
553ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN([]));
563ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN("s"));
573ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(null));
583ef787dbeca8a5fb1086949cda830dccee07bfbdBen MurdochassertFalse(Number.isNaN(undefined));
59