[Boost-commit] svn:boost r7492

From: asutton_at_[hidden]
Date: 2007-07-20 13:07:37

Author: asutton
Date: 2007-07-20 13:07:37 EDT (Fri, 20 Jul 2007)
New Revision: 7492
URL: http://svn.boost.org/trac/boost/changeset/7492

Log:
Started writing a concept.

Text files modified: 
   sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/assignable.qbk |    16 ++++++++++++++++                        
   1 files changed, 16 insertions(+), 0 deletions(-)

Modified: sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/assignable.qbk
==============================================================================
--- sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/assignable.qbk	(original)
+++ sandbox/boost_docs/trunk/libs/standard/doc/concepts/utilities/assignable.qbk	2007-07-20 13:07:37 EDT (Fri, 20 Jul 2007)
@@ -6,5 +6,21 @@
  /]
 
 [section Assignable]
+A type `T` is said to be /assignable/ if the value of one instance, `u`, can be copied
+to the value of another, `t`. Note that the type of `u` may be `T` or `const T`.
+
+This concept sets no requirements nor makes provision for assignment when the type
+of `u` is not `T` or `const T`. This simply states that instances of a type, that models
+this concept, may be assigned to one another.
+
+[heading Requirements] 
+[table
+    [[Expression] [Return Type] [Post-condition]]
+    [
+        [`t = u`]
+        [`T&`]
+        [`t` is equivalent to `u`]
+    ]
+]
 
 [endsect]
\ No newline at end of file