This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
Re: Abstract Interpretation of XSLT stylesheets
"Hutchison, Nigel" wrote:
>
> In the function programming world, people use abstract interpretation to do
> useful things like type checking and strictness analysis - XSLT is a
> functional language - ergo ...... .
>
In that case you might be interested in the schematron
(http://www.ascc.net/xml/resource/schematron/schematron.html) which
which is a standard for validation with xpath constraints and meaningful
messages - express your rules in XML, run them through a schematron
generator (in XSLT) and you will get a validator (in XSLT). Schematron
doesn't specify what should be done with messages at runtime, so you can
write a generator to format them in whatever form is most useful to you,
HTMl, text, XML or whatever...
There is also an open source project in sourceforge
(http://sourceforge.net/projects/xsdcomp/) to compile XML Schemas into
XSLT.
Francis.
--
Francis Norton.
Defy Convention? Deify Convention!
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list