[XML-DEV Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: What is PI data exactly?

• From: John Cowan <cowan@l...>
• To: XML Dev <xml-dev@i...>
• Date: Fri, 16 Oct 1998 10:01:18 -0400

Michael Kay wrote:

> Are you reading the same spec as me? My version of production 16 doesn't
> mention "data" at all; all it says is that if there are characters after the
> PITarget, the first one must be white space.

Granted, but it does use "S", which is used throughout the XML
recommendation to mean "semantically insignificant whitespace".
There is an implicit separation between the one-or-more whitespace
characters expressed by "S" and the remaining characters.

What you said would be better represented by

	((#x20 | #x9 | #xD | #xA) (Char* - (Char* '?>' Char*)))?

> Anyone who
> is spending time writing yet another XML parser would be adding a lot more
> value to the community if they spent their time on producing a formal
> specification instead.

I firmly believe that it is only the experience of implementation
that shakes out these deficiencies.  A formal specification is
essentially a piece of code that the creator believes has been debugged
when it has been desk-checked.

	"Almost all theorems are correct, but almost all
	proofs have bugs."
		-- A mathematician of my acquaintance

-- 
John Cowan	http://www.ccil.org/~cowan		cowan@c...
	You tollerday donsk?  N.  You tolkatiff scowegian?  Nn.
	You spigotty anglease?  Nnn.  You phonio saxo?  Nnnn.
		Clear all so!  'Tis a Jute.... (Finnegans Wake 16.5)

xml-dev: A list for W3C XML Developers. To post, mailto:xml-dev@i...
Archived as: http://www.lists.ic.ac.uk/hypermail/xml-dev/
To (un)subscribe, mailto:majordomo@i... the following message;
(un)subscribe xml-dev
To subscribe to the digests, mailto:majordomo@i... the following message;
subscribe xml-dev-digest
List coordinator, Henry Rzepa (mailto:rzepa@i...)

• References:
  • Re: What is PI data exactly?
    • From: "Michael Kay" <M.H.Kay@e...>

• Prev by Date: Re: MSIE5 Beta 2 + XML
• Next by Date: xmlarch: version 0.20 released
• Previous by thread: RE: What is PI data exactly?
• Next by thread: Re: What is PI data exactly?
• Index(es):
  • Date
  • Thread