Squashed 'third_party/boostorg/concept_check/' content from commit ed0a0eb
Change-Id: Ib7230965334f9501601efc300242efde8352a380
git-subtree-dir: third_party/boostorg/concept_check
git-subtree-split: ed0a0ebd72f778cfa4931e0538ea34c28db3a42b
diff --git a/doc/reference/Assignable.xml b/doc/reference/Assignable.xml
new file mode 100644
index 0000000..56f4052
--- /dev/null
+++ b/doc/reference/Assignable.xml
@@ -0,0 +1,59 @@
+<?xml version="1.0"?>
+<concept name="Assignable" category="Utility"><!--
+Based on concepts from the SGI Standard Template Library documentation:
+Copyright (c) 1996-1999
+Silicon Graphics Computer Systems, Inc.
+
+Copyright (c) 1994
+Hewlett-Packard Company
+--><!--
+Copyright 2000-2001 University of Notre Dame du Lac.
+Copyright 2001-2002 Indiana University.
+Some concepts based on versions from the MTL draft manual and Boost Graph
+and Property Map documentation:
+Copyright (c) Jeremy Siek, Lie-Quan Lee, and Andrew Lumsdaine 2000
+-->
+ <param name="X" role="assignable-type"/>
+
+ <models-sentence>The type <arg num="1"/> must be a model of <self/>.</models-sentence>
+
+ <description>
+ <para>Assignable types must have copy constructors,
+ <code>operator=</code> for assignment, and the <code>swap()</code>
+ function defined.</para>
+ </description>
+
+ <notation variables="x y">
+ <sample-value>
+ <type name="X"/>
+ </sample-value>
+ </notation>
+
+ <refines const="no" concept="CopyConstructible"/>
+
+ <valid-expression name="Assignment">
+ <assign>
+ <sample-value><reference-to><type name="X"/></reference-to></sample-value>
+ <sample-value><const><reference-to><type name="X"/></reference-to></const></sample-value>
+ </assign>
+ <return-type>
+ <require-same-type testable="yes">
+ <reference-to><type name="X"/></reference-to>
+ </require-same-type>
+ </return-type>
+ <semantics>Require <code>operator=</code></semantics>
+ </valid-expression>
+
+ <valid-expression name="Swap">
+ <apply-function name="swap">
+ <sample-value><reference-to><type name="X"/></reference-to></sample-value>
+ <sample-value><reference-to><type name="X"/></reference-to></sample-value>
+ </apply-function>
+ <return-type><require-same-type><type name="void"/></require-same-type></return-type>
+ <semantics>Require <code>swap()</code> function</semantics>
+ </valid-expression>
+
+ <example-model>
+ <type name="int"/>
+ </example-model>
+</concept>