[Boost-commit] svn:boost r41860 - sandbox/committee/LWG

From: Lawrence_at_[hidden]
Date: 2007-12-07 21:45:39

Author: crowl
Date: 2007-12-07 21:45:39 EST (Fri, 07 Dec 2007)
New Revision: 41860
URL: http://svn.boost.org/trac/boost/changeset/41860

Log:
Reformat table postcondition to a separate heading.

Text files modified: 
   sandbox/committee/LWG/thread_library.html |    27 +++++++++++++++++----------             
   1 files changed, 17 insertions(+), 10 deletions(-)

Modified: sandbox/committee/LWG/thread_library.html
==============================================================================
--- sandbox/committee/LWG/thread_library.html	(original)
+++ sandbox/committee/LWG/thread_library.html	2007-12-07 21:45:39 EST (Fri, 07 Dec 2007)
@@ -3601,7 +3601,7 @@
   <tr>
     <th>expression</th>
     <th>return type</th>
-    <th>return value or other requirement</th>
+    <th>return value</th>
   </tr>
   <tr>
     <td valign="top"><code>D::tick_type</code></td>
@@ -3629,7 +3629,7 @@
     <td valign="top"><code>d.count()</code></td>
     <td valign="top"><code>D::tick_type</code></td>
     <td valign="top">The most recent value established by a
-    non-const function's <i>Postcondition</i>.</td>
+    non-const function's postcondition.</td>
   </tr>
   <tr>
     <td valign="top"><code>-d</code></td>
@@ -3637,29 +3637,36 @@
     <td valign="top"><code>D(-d.tick_count())</code></td>
   </tr>
   <tr>
+    <th>&nbsp;</th>
+    <th>&nbsp;</th>
+    <th>postcondition</th>
+  </tr>
+  <tr>
     <td valign="top"><code>d -= e</code></td>
     <td valign="top"><code>D&amp;</code></td>
-    <td valign="top"><i>Postcondition:</i><code> d.tick_count ==
-    d.tick_count()</code><sub>at-entry</sub><code>-x</code>, where <code>x</code>
-    is <code>e.tick_count()</code> converted to the resolution of <code>D</code>.</td>
+    <td valign="top"><code>d.tick_count ==
+    d.tick_count()</code><sub>at-entry</sub><code>-x</code>,
+    where <code>x</code> is <code>e.tick_count()</code>
+    converted to the resolution of <code>D</code>.</td>
   </tr>
   <tr>
     <td valign="top"><code>d += e</code></td>
     <td valign="top"><code>D&amp;</code></td>
-    <td valign="top"><i>Postcondition:</i><code> d.tick_count ==
-    d.tick_count()</code><sub>at-entry</sub><code>+x</code>, where <code>x</code>
-    is <code>e.tick_count()</code> converted to the resolution of <code>D</code>.</td>
+    <td valign="top"><code>d.tick_count ==
+    d.tick_count()</code><sub>at-entry</sub><code>+x</code>,
+    where <code>x</code> is <code>e.tick_count()</code>
+    converted to the resolution of <code>D</code>.</td>
   </tr>
   <tr>
     <td valign="top"><code>d /= c</code></td>
     <td valign="top"><code>D&amp;</code></td>
-    <td valign="top"><i>Postcondition:</i> <code>d.tick_count() ==
+    <td valign="top"><code>d.tick_count() ==
     d.tick_count()</code><sub>at-entry</sub><code>/c</code></td>
   </tr>
   <tr>
     <td valign="top"><code>d *= c</code></td>
     <td valign="top"><code>D&amp;</code></td>
-    <td valign="top"><i>Postcondition:</i> <code>d.tick_count()
+    <td valign="top"><code>d.tick_count()
     == d.tick_count()</code><sub>at-entry</sub><code>*c</code></td>
   </tr>
 </table>