I think the understanding is meant to be that an implementation is free to
skip "evaluation" of an argument, and that the cardinality check is also free
to be skipped if the argument as a whole has been skipped.
Am I right in my interpretation?
It seems to me that the return type of the function cannot be
determined without knowing the cardinality of the function -- due to
the fact that different overloads can have different return types.
Therefore, as cardinality would be necessary in general, it cannot be
skipped or ignored.
--
Cheers,
Dimitre Novatchev
---------------------------------------
To avoid situations in which you might make mistakes may be the
biggest mistake of all.
On 1/24/06, Frans Englich <frans(_dot_)englich(_at_)telia(_dot_)com> wrote:
Hi all,
I'm a bit confused about errors & optimizations in XPath/XQuery
implementations, perhaps someone could help me clear it.
2.3.4 Errors and Optimization in XML Path Language (XPath) 2.0 says that
implementations are free to perform arbitrary optimizations(such as skipping
evaluation of somekind) as long as 1) The result is identical to when not
being optimized, except for that errors are possibly not reported; and 2)
that cardinality errors are still reported.
Section 2.3.4 uses the term "expression", and I presume functions are
applicable to that discussion(functions are expressions).
Further, in 3.1.5 Function Calls, one can read this:
<quote>
Argument expressions are evaluated, producing argument values. The order of
argument evaluation is implementation-dependent and a function need not
evaluate an argument if the function can evaluate its body without evaluating
that argument.
</quote>
I think the understanding is meant to be that an implementation is free to
skip "evaluation" of an argument, and that the cardinality check is also free
to be skipped if the argument as a whole has been skipped.
Am I right in my interpretation?
Cheers,
Frans
--~------------------------------------------------------------------
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>
--~--