- From: Bertilo Wennergren <bertilow@hem.passagen.se>
- Date: Sat, 21 Oct 2000 16:17:54 +0200
- To: <www-validator@w3.org>
- Cc: "Christian Smith" <csmith@barebones.com>
Christian Smith:
> > Not quite. Even when the validator has noted this error, the lack of a
> > DOCTYPE, it is still useful to parse the rest of the doc, noting other
> > errors, and in doing that it must suppose an _intended_ DOCTYPE.
> If this is what is desired (and I'm not really sure this is more desirable
> than just reporting the absense of a DOCTYPE and saying "no futher parsing
> is possible without a doctype") than the thing to do might be this
> Either:
> 1) Check to see if there is a DOCTYPE. If there is, validate against this.
> 2) If there is no DOCTYPE, scan the document for XML hints. If there are
> hints that the file is an XML document use the latest XHTML standard to
> validate the document. If there are no XML hints then validate against the
> latest HTML standard.
Excellent idea, except for the last few words. XHTML _is_ the latest
HTML standard (recommendation). You meant:
"If there are no XML hints then validate against HTML 4.01."
> Or:
> 1) Provide a method (via a popup) that allows the user to specify a
> doctype to validate the document against.
Also a good idea.
> 2) There should also be an option (via a checkbox which defaults to on) to
> have a doctype in the document overide the selected value in the popup.
I'm not sure I understand this last one.
> As I said, I'm not convinced that either of these are better than just
> reporting a single error re the missing doctype and a note that no further
> parsing will be done.
I'm not completely sure either. But if there is going to be any supposing
of DOCTYPE, then it's valid to discuss which one it should be.
#####################################################################
Bertilo Wennergren
<http://purl.oclc.org/net/bertilo>
<bertilow@hem.passagen.se>
#####################################################################
Received on Saturday, 21 October 2000 10:14:46 UTC