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
PURCHASE STYLUS STUDIO ONLINE TODAY!
Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!
Download The World's Best XML IDE!
Accelerate XML development with our award-winning XML IDE - Download a free trial today!
Subscribe in XML format