« Bugzilla Issues Index

#1361 — 5.2: obsolete definition of "throw an exception"

In 5.2 "Algorithm Conventions",
the last paragraph says:
If an algorithm is defined to “throw an exception”, execution of the
algorithm is terminated and no result is returned. The calling algorithms
are also terminated, until an algorithm step is reached that explicitly
deals with the exception, using terminology such as “If an exception was
thrown…”. Once such an algorithm step has been encountered the exception
is no longer considered to have occurred.

This is no longer true, and has been superseded by and

Delete the paragraph.

fixed in rev15 editor's draft.

resolved in rev 15, May 14, 2013 draft