This is the mail archive of the
xsl-list@mulberrytech.com
mailing list .
Re: XSL Theory
From: "Jeff Greif" <jmg@trivida.com>
> Also, even if the stylesheet is correct, provably or not, some valid
> instances of schema A may not be transformable into valid instances of
> schema B. For example, an element in schema B may be required, but be
> optional in A, and not present in a particular instance of A.
This is the sort of thing a schema prover should pick up on. To be correct
the stylesheet would need to detect the missing element and generate a
default value or error condition.
Jon Smirl
jonsmirl@mediaone.net
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list