blob: 3996ae06718fcd8acea4f1878054991e1c110184 [file] [log] [blame]
<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, "&amp;").replace(/</g, "&lt;");
}
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_A11_T2</p>
<div id='console'></div>
<script>
try {
/**
* @name: S8.5_A11_T2;
* @section: 8.5, 7.8.3;
* @assertion: The integer 0 has two representations, +0 and -0;
* @description: Compare positive_zero and negative_zero;
*/
var p_zero=+0;
var n_zero=-0;
//CHECK #1
if ((p_zero == n_zero) !== true){
testFailed('#1: var p_zero=+0; var n_zero=-0; p_zero != n_zero');
}
//CHECK #2
if ((n_zero == 0) !== true){
testFailed('#2: var p_zero=+0; var n_zero=-0; n_zero == 0');
}
//CHECK #3
if ((p_zero == -0) !== true){
testFailed('#3: var p_zero=+0; var n_zero=-0; p_zero == -0');
}
//CHECK #4
if ((p_zero === 0) !== true){
testFailed('#4: var p_zero=+0; var n_zero=-0; p_zero === 0');
}
//CHECK #5
if ((n_zero === -0) !== true){
testFailed('#5: var p_zero=+0; var n_zero=-0; n_zero === -0');
}
} 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>