xsl-list
[Top] [All Lists]

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

2014-03-02 03:41:39
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(_at_)gmail(_dot_)com> 
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.

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