OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help



   RE: [xml-dev] Relax NG, Thoughts, etc.

[ Lists Home | Date Index | Thread Index ]

> Not entirely sure whether recursive apply is the central problem: One 
> might be able to infer what type of the input is from the type of the 
> <xsl:template match="..."> and the input schema.

The only cases where the match pattern enables one to do any static type
inference is when the match is specifically against a schema type, for


In the much more common case where elements are matched by name, for example


no formal inferencing is possible, because this will match any element
called my:invoice whether it conforms to a schema definition of that name or
not. However, it is possible in this case to do some tentative inferencing,
and generate warning messages of the form "if the input is a valid invoice,
this template will produce no output". 

Michael Kay


News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 2001 XML.org. This site is hosted by OASIS