| <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_A5</p> |
| <div id='console'></div> |
| <script> |
| try { |
| |
| /** |
| * @name: S8.5_A5; |
| * @section: 8.5, 7.8.3; |
| * @assertion: NaN not greater or equal zero; |
| * @description: Compare NaN with zero; |
| */ |
| |
| var x = NaN; |
| var x_geq_0=(x >= 0.0); |
| var x_leq_0=(x <= 0.0); |
| var x_leq_0_OR_geq_0=(x <= 0.0)||(x >= 0.0); |
| var x_geq_0_ADD_leq_0=(x >= 0.0) + (x <= 0.0); |
| |
| |
| /////////////////////////////////////////////////// |
| // CHECK#1 |
| if (x_geq_0){ |
| testFailed('#1: NaN not greater or equal zero'); |
| } else { |
| testPrint('#1: NaN not greater or equal zero'); |
| } |
| // |
| /////////////////////////////////////////////////// |
| |
| /////////////////////////////////////////////////// |
| // CHECK#2 |
| if (x_leq_0){ |
| testFailed('#2: NaN not less or equal zero'); |
| } else { |
| testPrint('#2: NaN not less or equal zero'); |
| } |
| // |
| /////////////////////////////////////////////////// |
| |
| /////////////////////////////////////////////////// |
| // CHECK#3 |
| if (x_leq_0_OR_geq_0){ |
| testFailed('#3: NaN not less or equal zero OR greater or equal zero'); |
| } else { |
| testPrint('#3: NaN not less or equal zero OR greater or equal zero'); |
| } |
| // |
| /////////////////////////////////////////////////// |
| |
| /////////////////////////////////////////////////// |
| // CHECK#4 |
| if (x_geq_0_ADD_leq_0){ |
| testFailed('#4: NaN not less or equal zero ADD greater or equal zero'); |
| } else { |
| testPrint('#4: NaN not less or equal zero ADD greater or equal zero'); |
| } |
| // |
| /////////////////////////////////////////////////// |
| |
| } 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> |
