|
Boost-Commit : |
From: bdawes_at_[hidden]
Date: 2007-12-13 13:16:38
Author: bemandawes
Date: 2007-12-13 13:16:38 EST (Thu, 13 Dec 2007)
New Revision: 42010
URL: http://svn.boost.org/trac/boost/changeset/42010
Log:
V1 Issues #16, 23, 48
Text files modified:
sandbox/committee/LWG/issues.html | 6 +++---
sandbox/committee/LWG/thread_library.html | 12 ++++++------
2 files changed, 9 insertions(+), 9 deletions(-)
Modified: sandbox/committee/LWG/issues.html
==============================================================================
--- sandbox/committee/LWG/issues.html (original)
+++ sandbox/committee/LWG/issues.html 2007-12-13 13:16:38 EST (Thu, 13 Dec 2007)
@@ -153,7 +153,7 @@
lock() for a mutex object shall call unlock()." This is a requirement,
mixed
in with otherwise non-normative text. Remove it. </p>
-<p>16. [thread.mutex.requirements] (30.3.1), effects of m.lock(), etc.:
+<p>✔ 16. [thread.mutex.requirements] (30.3.1), effects of m.lock(), etc.:
"The
expression ... shall be well-defined..." That last word should be
"well-formed". </p>
@@ -201,7 +201,7 @@
requirements, types are required to meet the Mutex requirements."
Instad of
"are required to", use "shall". </p>
-<p>23. [thread.timedmutex.requirements] (30.3.2): see 14, 16 </p>
+<p>✔ (16) 23. [thread.timedmutex.requirements] (30.3.2): see 14, 16 </p>
<p>24. [thread.timedmutex.requirements] (30.3.2), effects clause: "If the
indicated time duration is less than or equal to 0, the function still
attempts to obtain ownership without blocking" change "indicated" to
@@ -292,7 +292,7 @@
I assume
that it's mostly cut-and-paste, and that the same issues as in
[threads.condvar] apply (except 46). </p>
-<p>48. [time.duration.requirements] (31.1), third paragraph: see 16. </p>
+<p>✔ 48. [time.duration.requirements] (31.1), third paragraph: see 16. </p>
<p>49. [time.duration.requirements] (31.1), table: the subscript at-entry
is
jarring at best. <g> How about defining another symbol, say, d0, which
Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html (original)
+++ sandbox/committee/LWG/thread_library.html 2007-12-13 13:16:38 EST (Thu, 13 Dec 2007)
@@ -1333,7 +1333,7 @@
</p>
<p>
-The expression <code>m.lock()</code> shall be well-defined,
+The expression <code>m.lock()</code> shall be well-formed,
and have the following semantics:
</p>
@@ -1370,7 +1370,7 @@
</blockquote>
<p>
-The expression <code>m.try_lock()</code> shall be well-defined,
+The expression <code>m.try_lock()</code> shall be well-formed,
and have the following semantics:
</p>
@@ -1427,7 +1427,7 @@
</blockquote>
<p>
-The expression <code>m.unlock()</code> shall be well-defined,
+The expression <code>m.unlock()</code> shall be well-formed,
and have the following semantics:
</p>
@@ -1599,7 +1599,7 @@
</p>
<p>
-The expression <code>m.timed_lock(rel_time)</code> shall be well-defined,
+The expression <code>m.timed_lock(rel_time)</code> shall be well-formed,
and have the following semantics:
</p>
@@ -1654,7 +1654,7 @@
</blockquote>
<p>
-The expression <code>m.timed_lock(abs_time)</code> shall be well-defined,
+The expression <code>m.timed_lock(abs_time)</code> shall be well-formed,
and have the following semantics:
</p>
@@ -3778,7 +3778,7 @@
CopyConstructible, DefaultConstructible, CopyAssignable, Swappable, and
Destructible.
In addition, it must meet the requirements
-for well-defined expressions specified in the following table,
+for well-formed expressions specified in the following table,
where <code>D</code> and <code>E</code> are duration types,
<code>d</code> denotes a <code>const</code> value of type <code>D</code>,
<code>e</code> denotes a <code>const</code> value of type <code>E</code>,
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