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

RE: Relax NG, Thoughts, etc.

• To: "'Burak Emir'" <Burak.Emir@e...>
• Subject: RE: Relax NG, Thoughts, etc.
• From: "Michael Kay" <michael.h.kay@n...>
• Date: Mon, 29 Nov 2004 12:30:13 -0000
• Cc: <xml-dev@l...>
• In-reply-to: <41AB062A.1050901@e...>
• Thread-index: AcTWBYuwL31zIzWvSlCSmKTfXtJ6UQACMrSw

> 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
example

  match="schema-element(my:invoice)"

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

  match="my:invoice"

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

• Follow-Ups:
  • Re: Relax NG, Thoughts, etc.
    • From: Burak Emir <Burak.Emir@e...>

• References:
  • Re: Relax NG, Thoughts, etc.
    • From: Burak Emir <Burak.Emir@e...>

• Prev by Date: Re: Relax NG, Thoughts, etc.
• Next by Date: Re: Relax NG, Thoughts, etc.
• Previous by thread: Re: Relax NG, Thoughts, etc.
• Next by thread: Re: Relax NG, Thoughts, etc.
• Index(es):
  • Date
  • Thread