I have a document which shouldn't pass validation. It does not do so
validating with
Xerces and that is the correct interpretation. What I have is a
substitution group
where the content of an element, say, 'proof' is suppose to be "HTML
Inline"
elements. I have the type hierarchy correct and everything works fine
from an
XML Schema perspective except in XMLEditor as follows:
1. When I try to insert/etc. children, the list of available types
in the
substitution group is not populated. I would expect to see at
least those that
have been added given the schemas at hand (at least four in my
case).
2. I'm allowed to insert random children that really shouldn't be
considered
valid.
3. Validating the document with invalid children passes as valid in
XMLEditor when
it shouldn't.
I've attached the associated example file and schemas. There are three
children in
'md:n-c-k', 'md:var' and 'test' that shouldn't pass validation.
I make no claims about the validity of the mathematical proofs in this
sample! :)
-------------- next part --------------
A non-text attachment was scrubbed...
Name: block.xsd
Type: application/octet-stream
Size: 2399 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: common.xsd
Type: application/octet-stream
Size: 678 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0001.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: inline.xsd
Type: application/octet-stream
Size: 4562 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0002.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: mathml.xsd
Type: application/octet-stream
Size: 2850 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0003.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: problemset.xsd
Type: application/octet-stream
Size: 1859 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0004.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: xhtml-typed.xsd
Type: application/octet-stream
Size: 3847 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0005.dll
-------------- next part --------------
A non-text attachment was scrubbed...
Name: problemset1.xml
Type: application/octet-stream
Size: 18675 bytes
Desc: not available
Url :
http://www.xmlmind.com/pipermail/xmleditor-support/attachments/20031008/53342952/attachment-0006.dll
-------------- next part --------------
Alex Milowski FAX: (707) 598-7649
alex at milowski.com
"The excellence of grammar as a guide is proportional to the paucity of
the
inflexions, i.e. to the degree of analysis effected by the language
considered."
Bertrand Russell in a footnote of Principles of Mathematics
