Valid output

From: Bjoern Hoehrmann (bjoern@hoehrmann.de)
Date: Tue, Aug 03 1999


Date: Tue, 3 Aug 1999 21:16:49 -0400 (EDT)
Message-ID: <002d01bede17$01c5b1e0$c7e0a8c0@de>
From: "Bjoern Hoehrmann" <bjoern@hoehrmann.de>
To: <www-validator@w3.org>
Subject: Valid output

Hi,

Given is the following Html File:

[---snip---]
<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0//EN">
<html>
<head>
<title></title>
</head>
<body>

<pre>
  <hr>
</pre>

</body>
</html>
[---snip---]

The Validator complains:

[---snip---]
Error at line 9:
     <hr>
        document type does not allow element "HR" here; missing one of "MAP",
          "BUTTON" start-tag
[---snip---]

If i now check the output, the validator complains about his own output:

[---snip---]
Error at line 36:
   <hr>

      document type does not allow element "HR" here; missing one of "MAP",
          "IFRAME", "BUTTON" start-tag
------------------------------------------------------------------------------
--

Error at line 40:
   rc="/images/arrow_left.gif" alt="^"></tt> document type does
                                              document type does not allow
                                        element "IMG" here
[---snip---]

So, as complained above, <HR> may not be included withing <PRE>, but the
Validator does so, all the time, i think :(

So the whole output is wrong, if something was complained.

The <hr> appaerance within <pre> could be fixed by changing line ~647 to:

$out = "${lt}/pre${gt}${lt}hr${gt}${lt}pre${gt}\n\nError at line $line:\n
$newline";

so <pre> is closed before <hr> and reopend after.

The second Error, <IMG> in <PRE> (in $leftarrow and $rightarrow) isn't to fix
that easy. If i apply the same </pre> and <pre> the pre effect would be
omitted and the output is unreadable.

regards,
 Bjoern