From 214ed40b22fd47a0f3e00d8bd714a06ced286836 Mon Sep 17 00:00:00 2001 From: Beman Dawes Date: Wed, 8 Oct 2008 14:16:05 +0000 Subject: [PATCH] System: refine docs for semantics of throws object [SVN r49177] --- doc/reference.html | 32 ++++++++++++++++++++------------ 1 file changed, 20 insertions(+), 12 deletions(-) diff --git a/doc/reference.html b/doc/reference.html index 68a737a..78182dd 100644 --- a/doc/reference.html +++ b/doc/reference.html @@ -619,18 +619,26 @@ for use as a "throw on error" tag.

with appropriate namespace qualifiers, have the following error handling semantics:

-

Effects: If ec != throws:

- -

Throws: If ec == throws, throws an exception of type +

Postconditions:

+
+

If &ec != &throws and an error occurred:

+
    +
  • ec.value() returns the implementation specific error + number for the particular error that occurred.
    • +
  • ec.category() returns the + error_category for ec.value().
    • +
+

if &ec != &throws and an error did not occur, ec.clear().

+
+

Throws:

+
+

If an error occurs and &ec == &throws, throws an exception of type system_error or of a type - derived from system_error.

+ derived from system_error. The + exception's code() member function returns a reference to an + error_code object with the behavior specified in + Postconditions.

+

Non-member functions

bool operator==( const error_code & lhs, const error_code & rhs );
@@ -783,7 +791,7 @@ application program interfaces.

Revised -October 05, 2008 +October 08, 2008

© Copyright Beman Dawes, 2006, 2007, 2008