| <html> |
| <head> |
| <meta charset='utf-8'> |
| <style> |
| .pass { |
| font-weight: bold; |
| color: green; |
| } |
| .fail { |
| font-weight: bold; |
| color: red; |
| } |
| </style> |
| |
| <script> |
| if (window.testRunner) |
| testRunner.dumpAsText(); |
| |
| function SputnikError(message) |
| { |
| this.message = message; |
| } |
| |
| SputnikError.prototype.toString = function () |
| { |
| return 'SputnikError: ' + this.message; |
| }; |
| |
| var sputnikException; |
| |
| function testPrint(msg) |
| { |
| var span = document.createElement("span"); |
| document.getElementById("console").appendChild(span); // insert it first so XHTML knows the namespace |
| span.innerHTML = msg + '<br />'; |
| } |
| |
| function escapeHTML(text) |
| { |
| return text.toString().replace(/&/g, "&").replace(/</g, "<"); |
| } |
| |
| function printTestPassed(msg) |
| { |
| testPrint('<span><span class="pass">PASS</span> ' + escapeHTML(msg) + '</span>'); |
| } |
| |
| function printTestFailed(msg) |
| { |
| testPrint('<span><span class="fail">FAIL</span> ' + escapeHTML(msg) + '</span>'); |
| } |
| |
| function testFailed(msg) |
| { |
| throw new SputnikError(msg); |
| } |
| |
| var successfullyParsed = false; |
| </script> |
| |
| </head> |
| <body> |
| <p>S8.5_A12.1</p> |
| <div id='console'></div> |
| <script> |
| try { |
| |
| /** |
| * @name: S8.5_A12.1; |
| * @section: 8.5, 7.8.3; |
| * @assertion: +Infinity and Infinity are the same as Number.POSITIVE_INFINITY; |
| * @description: Compare Infinity and +Infinity with Number.POSITIVE_INFINITY; |
| */ |
| |
| |
| var p_inf=+Infinity; |
| var inf=Infinity; |
| |
| //CHECK #1 |
| if (p_inf!==Number.POSITIVE_INFINITY){ |
| testFailed('#1: +Infinity is the same as Number.POSITIVE_INFINITY'); |
| } |
| |
| //CHECK #2 |
| if (inf!==Number.POSITIVE_INFINITY){ |
| testFailed('#2: Infinity is the same as Number.POSITIVE_INFINITY'); |
| } |
| |
| } catch (ex) { |
| sputnikException = ex; |
| } |
| |
| var successfullyParsed = true; |
| </script> |
| |
| <script> |
| if (!successfullyParsed) |
| printTestFailed('successfullyParsed is not set'); |
| else if (sputnikException) |
| printTestFailed(sputnikException); |
| else |
| printTestPassed(""); |
| testPrint('<br /><span class="pass">TEST COMPLETE</span>'); |
| </script> |
| </body> |
| </html> |
