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


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Re: [xml-dev] XML Schema Design: no local elements with anonymoustypes

Michael Kay wrote:
> The processor won't detect statically that $x/a/b/c is "impossible" unless
> it knows that $x is an element whose complex type is a statically known type
> T. And if $x is a parameter to a function, you can only achieve that if
> either the element declaration or the type (or both) are global.

Yeah, but that basically means you pass globally declared elements or 
elements with globally declared types as parameters to functions to get 
that kind of static type checking.

For XQuery, that's not usually a big hurdle. Is it for XSLT?


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

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

Copyright 1993-2007 XML.org. This site is hosted by OASIS