W3C home > Mailing lists > Public > public-qt-comments@w3.org > February 2004

ORA-XQ-232-E: Typeswitch needs to specify its special rule for propagating dynamic errors

From: Stephen Buxton <Stephen.Buxton@oracle.com>
Date: 16 Feb 04 14:03:29
Message-Id: <200402162203.i1GM3Tb11025@rgmgw4.us.oracle.com>
To: public-qt-comments@w3.org
Cc:

SECTION 3.12.2: Typeswitch

In 2.5.3 Errors and Optimizations:
"To avoid unexpected errors caused by reordering of expressions, tests that are designed to prevent dynamic errors should be expressed using conditional or typeswitch expressions. Conditional and typeswitch expressions raise only dynamic errors that occur in the branch that is actually selected."
And in 3.10 Conditional Expressions:
"Conditional expressions have a special rule for propagating dynamic errors...."
However, for 3.12.2 typeswitch, there is no similar paragraph
to state that typeswitch expressions have a special rule for propagating dynamic errors, that is, only the the branch that is actually selected can raise dynamic errors.


- Steve B.
Received on Monday, 16 February 2004 17:03:32 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:17 UTC