header/xml-version/set-empty.html

<!DOCTYPE html><html><head>
<title>document.xmlVersion = ""</title>
<script src="../../../../support/result.js"></script>
</head>
<body>
<p id="result" class="FAIL">FAIL (not executed)</p>
<script>
  var result = document.getElementById ('result');
  result.firstChild.data = 'FAIL (script error)';
  if (document.xmlVersion === null) {
    try {
      document.xmlVersion = "";
      var xv = document.xmlVersion;
      if (xv === "") {
        result.firstChild.data = 'new value';
        result.className = 'see-detail';
      } else if (xv === null) {
        result.firstChild.data = 'original value';
        result.className = 'see-detail';
      } else {
        setResult ('result', xv);
      }
    } catch (e) {
      result.firstChild.data = e.toString ();
      result.className = 'see-detail';
    }
  } else {
    result.firstChild.data = 'N/A';
    result.className = 'NA';
  }
</script>
</body>
</html>
1	<!DOCTYPE html><html><head>
2	<title>document.xmlVersion = ""</title>
3	<script src="../../../../support/result.js"></script>
4	</head>
5	<body>
6	<p id="result" class="FAIL">FAIL (not executed)</p>
7	<script>
8	var result = document.getElementById ('result');
9	result.firstChild.data = 'FAIL (script error)';
10	if (document.xmlVersion === null) {
11	try {
12	document.xmlVersion = "";
13	var xv = document.xmlVersion;
14	if (xv === "") {
15	result.firstChild.data = 'new value';
16	result.className = 'see-detail';
17	} else if (xv === null) {
18	result.firstChild.data = 'original value';
19	result.className = 'see-detail';
20	} else {
21	setResult ('result', xv);
22	}
23	} catch (e) {
24	result.firstChild.data = e.toString ();
25	result.className = 'see-detail';
26	}
27	} else {
28	result.firstChild.data = 'N/A';
29	result.className = 'NA';
30	}
31	</script>
32	</body>
33	</html>