On 2009-09-22 23:00:39 +0200, Samuel Thibault wrote: > Mmm, I'm not sure I'm able to understand what this means (I'm not that > into XML/DTDs). Does it mean you agree that this isn't a trang bug > actually, and possibly rather a bug in xmllint (in which case it should > be reassigned)?
Yes, I think it's a bug in xmllint for the following reason. The question is whether an attribute given in the DTD with a default value (but not in the start tag of an element) is regarded as present or not for RELAX NG validation. According to the RELAX NG spec, the data model is based on the infoset obtained when all declaractions of the DTD are processed. According to the infoset spec[*], attributes that have a default value are part of the infoset. The information concerning a default value is provided by the [specified] property: [specified] A flag indicating whether this attribute was actually specified in the start-tag of its element, or was defaulted from the DTD. Let's get back to RELAX NG. Its spec doesn't say anything concerning this [specified] property. This means that the origine of an attribute (start tag or default value in DTD) is ignored, i.e. an attribute specified in a start tag and an attribute with default value in the DTD are regarded as equivalent for RELAX NG. [*] http://www.w3.org/TR/xml-infoset/ -- Vincent Lefèvre <vinc...@vinc17.org> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arénaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
