[XSL-LIST Mailing List Archive Home] [By Thread] [By Date]

Re: [xsl] XPath 3.0 question: What are function annotations?


Subject: Re: [xsl] XPath 3.0 question: What are function annotations?
From: Michael Kay <mike@xxxxxxxxxxxx>
Date: Sun, 2 Mar 2014 09:41:24 +0000

As I'm sure you realise, XPath 3.0 and XQuery 3.0 specs are built from a
single source so there's sometimes a tendency for XQuery things to "leak" into
XPath. (Tuples are another example).

Thanks for pointing it out, though I'm not sure if there's still time to fix
it before the Rec goes final.

Michael Kay
Saxonica


On 1 Mar 2014, at 23:26, Dimitre Novatchev <dnovatchev@xxxxxxxxx> wrote:

> In the XPath 3.0 Proposed Recommendation, section, 3.1.5.3 "Function
> Coercion", http://www.w3.org/TR/xpath-30/#id-function-coercion
>
> describes the properties of the function returned by the coercion in
> the following bulleted list:
>
>   * name: The name of F .
>
>   * parameter names: The parameter names of F.
>
>   * signature: Annotations is set to the annotations of F.
> TypedFunctionTest is set to the expected type.
>
>   * implementation: In effect, a FunctionBody that calls F, passing
> it the parameters of this new function, in order.
>
>   * nonlocal variable bindings: An empty mapping.
>
>
> The third bullet above in particular says:
>
> "signature: Annotations is set to the annotations of F.
> TypedFunctionTest is set to the expected type"
>
> My question is: What are function annotations and why they are nowhere
> defined in the document?
>
> Note: The XQuery function that is used as example, does not contribute
> to making this section more understandable -- on the contrary. Why do
> the authors assume that anyone that uses XPath should know XQuery?
>
> --
> Cheers,
> Dimitre Novatchev
> ---------------------------------------
> Truly great madness cannot be achieved without significant intelligence.
> ---------------------------------------
> To invent, you need a good imagination and a pile of junk
> -------------------------------------
> Never fight an inanimate object
> -------------------------------------
> To avoid situations in which you might make mistakes may be the
> biggest mistake of all
> ------------------------------------
> Quality means doing it right when no one is looking.
> -------------------------------------
> You've achieved success in your field when you don't know whether what
> you're doing is work or play
> -------------------------------------
> To achieve the impossible dream, try going to sleep.
> -------------------------------------
> Facts do not cease to exist because they are ignored.
> -------------------------------------
> Typing monkeys will write all Shakespeare's works in 200yrs.Will they
> write all patents, too? :)
> -------------------------------------
> I finally figured out the only reason to be alive is to enjoy it.


Current Thread
Keywords