[Bug 18877] [XQ30] try/catch

https://www.w3.org/Bugs/Public/show_bug.cgi?id=18877

--- Comment #8 from Jonathan Robie <jonathan.robie@gmail.com> ---
I propose the following wording.

A try/catch expression catches dynamic errors and type errors raised during
dynamic evaluation of the target expression E, found in the try clause T, if E
raises an error, or if E directly causes or indirectly causes the evaluation of
expression Z and Z raises an error. If the target expression does not raise a
dynamic error or a type error, the result of the try/catch expression is the
result of the target expression.

[Definition: An expression E directly causes evaluation of expression Z if Z is
an operand expression of E, or if E is a function call and Z is the
corresponding function body.]

Note:

Evaluation of a variable reference does not directly cause the evaluation of
the variable initializer.

Note:

Evaluation of an inline function expression does not directly cause evaluation
of the body of the inline function expression.

[Definition: An expression E indirectly causes evaluation of expression Z if
there is a sequence of expressions beginning at E and ending at Z such that
each expression directly causes evaluation of the next. ]

-- 
You are receiving this mail because:
You are the QA Contact for the bug.

Received on Tuesday, 4 June 2013 15:10:18 UTC