Re: [xml-dev] XML parser model, when are &foo; inserted?

[David Carlisle <davidc@nag.co.uk>]

On 07/12/2012 18:24, ольга крыжановская wrote:
> David, can you give me such an example? Also, does libxml2 implement
> such checks?

yes and yes, I gave an example earlier but

<!DOCTYPE x [
<!ENTITY foo "<x>aaa">
]>
<x>
<x>foo</x>
</x>

is well formed. emacs nxml-mode asys "Valid" as I wrote it
rxp, xmllint (libxml2) and java xerces similarly give no error.
Change it to use the entity:

<!DOCTYPE x [
<!ENTITY foo "<x>aaa">
]>
<x>
&foo;</x>
</x>

nxml-mode, rxp, xmllint and xerces all flag an error

nxml-mode:
Extra end-tag

rxp:
Error: Element ends in different entity from that in which it starts
  in unnamed entity at line 5 char 9 of file:///c:/tmp/bad2.xml

xmllint:
Entity: line 1: parser error : Premature end of data in tag x line 1
<x>aaa
       ^
bad2.xml:5: parser error : Entity 'foo' failed to parse
&foo;</x>
      ^
bad2.xml:6: parser error : Extra content at the end of the document
</x>
^

xerces
XML document structures must start and end within
   the same entity.



David