| <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_A2.2</p> |
| <div id='console'></div> |
| <script> |
| try { |
| |
| /** |
| * @name: S8.5_A2.2; |
| * @section: 8.5, 7.8.3; |
| * @assertion: Number type represented as the extended precision 64-bit format IEEE 754; |
| * @description: Use 2^53 + 2 number and do some operation with it; |
| */ |
| |
| var x = 9007199254740994.0; /* 2^53 + 2 */ |
| var y = 1.0 - 1/65536.0; |
| var z = x + y; |
| var d = z - x; |
| |
| if (d === 2){ |
| testFailed('#1: var x = 9007199254740994.0; var y = 1.0 - 1/65536.0; var z = x + y; var d = z - x; d !== 2'); |
| } |
| |
| } 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> |
