Hi Soren,
Having public access to your analyser will be very useful.
It seems to be a kind of type-inference engine. I wonder whether
Michael Kay is not already doing something like this (of course I
can't know as I've never tried his SA Saxon).
It is interesting whether such kind of type inference can be done
statically, or if it generally requires dynamic analysis.
One example is:
<xsl:function name="f:foo" as="item()*">
<!-- Code, producing *always* a non-empty sequence of elements -->
</xsl:function>
Will your analyser confirm the fact that f:foo() is producing element()+ ?
--
Cheers,
Dimitre Novatchev
---------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all.
On 11/29/05, Soren Kuula <dongfang(_at_)dongfang(_dot_)dk> wrote:
Hi,
I'm working on a static analysis program (thesis!) that will take a
_triple_ of
- an input schema (DTD og XML Schema)
- an otuput schema (DTD og XML Schema)
- an XSL stylesheet
-- and then return a conservatively approximate verdict whether
- given input documents that are valid by the input schema, will the
transform always output docuements that are valid by the output schema?
Previous experiments with DTD and XSLT1.0 only revealed that this
analysis is feasible with good accuracy.
Now, I'm feverishly looking for real-life triples of XSD schema and XSLT
1 or 2 transforms that I can test run my analyzer on.
Do any of you guys know some examples? That is, I need names of
publically available (of available upon request) schema and XSL
transforms, such that I have a schema specifying the input of the
transform, and a schema specifying the (expected) output of the
transform. Same schema input and output is OK, too. DTD on one side is
OK, too. XSLT2.0 transforms that make use of XSD specific stuff are
particularly interesting.
If I can get it all finished in time (or if anyone is particularly
interested) I can make the analyzer available online.
Thanks for any suggestions.
Soren
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail:
<mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--
--~------------------------------------------------------------------
XSL-List info and archive: http://www.mulberrytech.com/xsl/xsl-list
To unsubscribe, go to: http://lists.mulberrytech.com/xsl-list/
or e-mail: <mailto:xsl-list-unsubscribe(_at_)lists(_dot_)mulberrytech(_dot_)com>
--~--