|
Boost-Commit : |
From: bdawes_at_[hidden]
Date: 2007-12-13 12:02:04
Author: bemandawes
Date: 2007-12-13 12:02:03 EST (Thu, 13 Dec 2007)
New Revision: 42008
URL: http://svn.boost.org/trac/boost/changeset/42008
Log:
Resolve issues 11, 44, 45 (partial).
Text files modified:
sandbox/committee/LWG/issues.html | 10 +++++-----
sandbox/committee/LWG/thread_library.html | 28 +++++++++++-----------------
2 files changed, 16 insertions(+), 22 deletions(-)
Modified: sandbox/committee/LWG/issues.html
==============================================================================
--- sandbox/committee/LWG/issues.html (original)
+++ sandbox/committee/LWG/issues.html 2007-12-13 12:02:03 EST (Thu, 13 Dec 2007)
@@ -106,7 +106,7 @@
thread with nothing more than the evaluation of a data member?
Probably should
be "callable type that is not a pointer to member data." </p>
-<p>9. [thread.threads.constr] (30.2.1.2), thread(thread&&): the first two
+<p>9a. [thread.threads.constr] (30.2.1.2), thread(thread&&): the first two
postconditions are a bit confusing, because they use two different
techniques
to describe the result. Choose one or the other. Either "x.joinable() ==
@@ -114,7 +114,7 @@
"x.joinable() ==
false and x.get_id() == id()". I prefer the latter, but wouldn't
insist on it. </p>
-<p>9. [thread.threads.assign] (30.2.1.2): here, the state of x after the
+<p>9b. [thread.threads.assign] (30.2.1.2): here, the state of x after the
operation is "a default constructed state." That's different from the
description for the effect of the move constructor. These two should
be worded
@@ -126,7 +126,7 @@
term "joinable" and describing join(), joinable(), and detach() using
that
term. </p>
-<p>11. [thread.threads.members] (30.2.1.5), join(), detach(): postcondition
+<p>✎ 11. [thread.threads.members] (30.2.1.5), join(), detach(): postcondition
needn't say "The possible error conditions are implementation
defined." That's
covered in the front matter. Or should be. <g> </p>
@@ -282,8 +282,8 @@
object, that is, for every lock object lck, lck->mutex() would returns
the
same value." </p>
-<p>44. [threads.condvar] (30.4.1), wait() without predicate: see 11. </p>
-<p>45. [threads.condvar] (30.4.1), timed_wait() without predicate: see
+<p>✎ 44. [threads.condvar] (30.4.1), wait() without predicate: see 11. </p>
+<p>✎ (11) 45. [threads.condvar] (30.4.1), timed_wait() without predicate: see
11, 43. </p>
<p>46. [threads.condvar] (30.4.1), last sentence: this belongs at the
beginning
Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html (original)
+++ sandbox/committee/LWG/thread_library.html 2007-12-13 12:02:03 EST (Thu, 13 Dec 2007)
@@ -1010,8 +1010,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the postconditions cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -1046,8 +1045,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the effects or postconditions cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -1366,9 +1364,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The
-possible error conditions are implementation defined.
+<code>system_error</code> when the effects or postconditions cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -2799,7 +2795,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> or any exception propagated from <code>func</code>.
+<code>system_error</code> when the effects cannot be achieved. or any exception propagated from <code>func</code>.
</dd>
</dl>
@@ -3063,8 +3059,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the effects or postconditions cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -3160,8 +3155,8 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the returned value, effects or postconditions
+cannot be achieved.
</dd>
</dl>
@@ -3451,8 +3446,7 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the effects or postconditions cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -3529,8 +3523,8 @@
<dt>Throws:</dt>
<dd>
-<code>system_error</code> when an error condition occurs.
-The possible error conditions are implementation defined.
+<code>system_error</code> when the returned value, effects or postconditions
+cannot be achieved.
</dd>
</dl>
</blockquote>
@@ -5105,4 +5099,4 @@
</p>
</body>
-</html>
+</html>
\ No newline at end of file
Boost-Commit list run by bdawes at acm.org, david.abrahams at rcn.com, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk