[XSL-LIST Mailing List Archive Home] [By Thread] [By Date] [Recent Entries] [Reply To This Message]

Re: Request for XSLT2.0 / XML Schema triples

Subject: Re: Request for XSLT2.0 / XML Schema triples
From: Soren Kuula <dongfang@xxxxxxxxxxx>
Date: Tue, 29 Nov 2005 00:58:12 +0100
kuula so
Michael Kay wrote:

I'll try and dig out a few examples for you. Most of my test cases have
either an input schema or an output schema but not both, and others are
proprietary to clients, so I don't actually have all that much material.

Do you assume there are no templates applied to temporary trees? One of the
difficulties in doing this kind of analysis is that a template rule with
match="E" is not necessarily matching an element that conforms to the
definition of E in the input schema. Similarly a template that constructs an
element E might be writing it to a temporary tree rather than to the final
output tree. Of course if you are only after an approximate verdict you can
afford the luxury of making guesses on such things.


Hi,

Thanks for the effort.

I'm being conservative, that is, if it says valid, then it must be valid, and I'm in trouble when someone's nuke powerplant blows up because it wasn't.
My escape path is then, of course, just to say invalid if in doubt.


(If I had the liberty to approximate in both directions, I'd end up with an algorithm that couldn't quite be trusted when saying yes, and ditto when saying no. Absolutely useless, that is.)

And I didn't even have the time yet to look into temporary trees (I might have to make to with sketchy arguments on those). Reference and uniqueness constraints are way too nasty to analyze statically too, so the algorithms's verdict is really with respect to an output schema where that kind of stuff is removed.

So -- it is fine, just fine, with single input single output examples.

Soren

Current Thread

PURCHASE STYLUS STUDIO ONLINE TODAY!

Purchasing Stylus Studio from our online shop is Easy, Secure and Value Priced!

Buy Stylus Studio Now

Download The World's Best XML IDE!

Accelerate XML development with our award-winning XML IDE - Download a free trial today!

Don't miss another message! Subscribe to this list today.
Email
First Name
Last Name
Company
Subscribe in XML format
RSS 2.0
Atom 0.3
Site Map | Privacy Policy | Terms of Use | Trademarks
Free Stylus Studio XML Training:
W3C Member
Stylus Studio® and DataDirect XQuery ™are products from DataDirect Technologies, is a registered trademark of Progress Software Corporation, in the U.S. and other countries. © 2004-2013 All Rights Reserved.