Given an input and output DTD, it should be possible to validate the
expressions and patterns which appear in a DTD.
This would make debugging XSL much simpler. A kind of strong type check vs.
runtime check as it is the case today.

The latest XSLT spec mentions that the output XML document can be checked
against a DTD but this does not prove the semantic validity of the XSL
document
with respect to the input and output DTDs.

Do you think this semantic check can indeed be implemented and if yes do
you know if  there are tools to do such a thing.

Francois Deza



 XSL-List info and archive:  http://www.mulberrytech.com/xsl/xsl-list