From d89169d37952eb800876ce9dd125ad2e040d2866 Mon Sep 17 00:00:00 2001
From: badair <badair@harding.edu>
Date: Tue, 12 Apr 2016 06:02:57 -0500
Subject: [PATCH] improving add_function_volatile tests

---
 doc/callable_traits.qbk        |  2 +-
 doc/html/index.html            | 34 +++++++++++++++++-----------------
 test/add_function_volatile.cpp | 24 ++++++++++++++----------
 3 files changed, 32 insertions(+), 28 deletions(-)

diff --git a/doc/callable_traits.qbk b/doc/callable_traits.qbk
index 03e0777..362ee13 100644
--- a/doc/callable_traits.qbk
+++ b/doc/callable_traits.qbk
@@ -207,7 +207,7 @@ The use cases for [libname] are closely related to those of [@http://www.boost.o
 [heading:ref_invokable [concept_invokable]]
 * Includes all [link_callable] types, [*except] for [link_fn] and [link_abominable]
 
-[heading:ref_constexpr_constructble [constexpr_constructble]]
+[heading:ref_constexpr_constructble [concept_constexpr_constructble]]
 * Any [@http://en.cppreference.com/w/cpp/concept/LiteralType LiteralType] that is also default-constructible
 
 [endsect]
diff --git a/doc/html/index.html b/doc/html/index.html
index bdbcfd4..049d4de 100644
--- a/doc/html/index.html
+++ b/doc/html/index.html
@@ -548,7 +548,7 @@
             umbrella
           </li>
 <li class="listitem">
-            Mutually exclusive with <a class="link" href=""><span class="green">Function</span></a>
+            Mutually exclusive with [link_fn]
           </li>
 <li class="listitem">
             e.g. <code class="computeroutput"><span class="keyword">void</span><span class="special">(</span><span class="keyword">int</span><span class="special">,</span> <span class="keyword">int</span><span class="special">)</span> <span class="keyword">const</span></code>
@@ -600,7 +600,7 @@
             May be cv-qualified and/or ref-qualified.
           </li>
 <li class="listitem">
-            Mutually exclusive with <a class="link" href=""><span class="green">OverloadedFunctionObject</span></a>
+            Mutually exclusive with [link_overloaded_fn_obj]
           </li>
 <li class="listitem">
             e.g. the type of this lambda: <code class="computeroutput"><span class="special">[](</span><span class="keyword">int</span> <span class="identifier">x</span><span class="special">,</span> <span class="keyword">int</span> <span class="identifier">y</span><span class="special">)</span> <span class="special">{</span> <span class="keyword">return</span> <span class="identifier">x</span> <span class="special">+</span> <span class="identifier">y</span><span class="special">;</span> <span class="special">}</span></code>
@@ -645,7 +645,7 @@
         <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_fn_obj"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_fn_obj"><span class="green">FunctionObject</span></a>
       </h5>
 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
-            Any type that is either an <a class="link" href=""><span class="green">OverloadedFunctionObject</span></a> or a <a class="link" href=""><span class="green">SimpleFunctionObject</span></a>
+            Any type that is either an [link_overloaded_fn_obj] or a [link_simple_fn_obj]
           </li></ul></div>
 <h5>
 <a name="callable_traits.introduction.basic_concepts.h9"></a>
@@ -655,25 +655,25 @@
             The superset of the following:
             <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: circle; ">
 <li class="listitem">
-                  <a class="link" href=""><span class="green">FunctionPtr</span></a>
+                  [link_fn_ptr]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">FunctionReference</span></a>
+                  [link_fn_ref]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">Function</span></a>
+                  [link_fn]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">AbominableFunction</span></a>
+                  [link_abominable]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">MemberFunctionPtr</span></a>
+                  [link_pmf]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">MemberDataPtr</span></a>
+                  [link_pmd]
                 </li>
 <li class="listitem">
-                  <a class="link" href=""><span class="green">FunctionObject</span></a>
+                  [link_fn_obj]
                 </li>
 </ul></div>
           </li></ul></div>
@@ -682,28 +682,28 @@
         <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_simple_callable"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_simple_callable">[<span class="green">SimpleCallable</span>]</a>
       </h5>
 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
-            Includes all <a class="link" href=""><span class="green">Callable</span></a>
-            types, <span class="bold"><strong>except</strong></span> for <a class="link" href=""><span class="green">OverloadedFunctionObject</span></a>
+            Includes all [link_callable] types, <span class="bold"><strong>except</strong></span>
+            for [link_overloaded_fn_obj]
           </li></ul></div>
 <h5>
 <a name="callable_traits.introduction.basic_concepts.h11"></a>
         <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_simple_invokable"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_simple_invokable"><span class="green">SimpleInvokable</span></a>
       </h5>
 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
-            Includes all <a class="link" href=""><span class="green">Callable</span></a>
-            types, <span class="bold"><strong>except</strong></span> for <a class="link" href=""><span class="green">OverloadedFunctionObject</span></a>, <a class="link" href=""><span class="green">Function</span></a>, and <a class="link" href=""><span class="green">AbominableFunction</span></a>
+            Includes all [link_callable] types, <span class="bold"><strong>except</strong></span>
+            for [link_overloaded_fn_obj], [link_fn], and [link_abominable]
           </li></ul></div>
 <h5>
 <a name="callable_traits.introduction.basic_concepts.h12"></a>
         <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_invokable"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_invokable"><span class="green">Invokable</span></a>
       </h5>
 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
-            Includes all <a class="link" href=""><span class="green">Callable</span></a>
-            types, <span class="bold"><strong>except</strong></span> for <a class="link" href=""><span class="green">Function</span></a> and <a class="link" href=""><span class="green">AbominableFunction</span></a>
+            Includes all [link_callable] types, <span class="bold"><strong>except</strong></span>
+            for [link_fn] and [link_abominable]
           </li></ul></div>
 <h5>
 <a name="callable_traits.introduction.basic_concepts.h13"></a>
-        <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_constexpr_constructble"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_constexpr_constructble">[constexpr_constructble]</a>
+        <span class="phrase"><a name="callable_traits.introduction.basic_concepts.ref_constexpr_constructble"></a></span><a class="link" href="index.html#callable_traits.introduction.basic_concepts.ref_constexpr_constructble">[concept_constexpr_constructble]</a>
       </h5>
 <div class="itemizedlist"><ul class="itemizedlist" style="list-style-type: disc; "><li class="listitem">
             Any <a href="http://en.cppreference.com/w/cpp/concept/LiteralType" target="_top">LiteralType</a>
diff --git a/test/add_function_volatile.cpp b/test/add_function_volatile.cpp
index 3b7c7ca..ffaa881 100644
--- a/test/add_function_volatile.cpp
+++ b/test/add_function_volatile.cpp
@@ -35,6 +35,8 @@ int main() {
 
 		CT_ASSERT(std::is_same<v,   ct::add_function_volatile<f>>{});
 		CT_ASSERT(std::is_same<v,   ct::add_function_volatile<v>>{});
+        CT_ASSERT(std::is_same<vl,   ct::add_function_volatile<l>>{});
+        CT_ASSERT(std::is_same<vl,   ct::add_function_volatile<vl>>{});
 		CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<r>>{});
 		CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<vr>>{});
 		CT_ASSERT(std::is_same<cv,  ct::add_function_volatile<c>>{});
@@ -59,15 +61,17 @@ int main() {
 		using cvl = foo() const volatile &;
 		using cvr = foo() const volatile &&;
 
-		CT_ASSERT(std::is_same<v,   ct::add_function_volatile<f>>{});
-		CT_ASSERT(std::is_same<v,   ct::add_function_volatile<v>>{});
-		CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<r>>{});
-		CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<vr>>{});
-		CT_ASSERT(std::is_same<cv,  ct::add_function_volatile<c>>{});
-		CT_ASSERT(std::is_same<cv,  ct::add_function_volatile<cv>>{});
-		CT_ASSERT(std::is_same<cvl, ct::add_function_volatile<cl>>{});
-		CT_ASSERT(std::is_same<cvl, ct::add_function_volatile<cvl>>{});
-		CT_ASSERT(std::is_same<cvr, ct::add_function_volatile<cr>>{});
-		CT_ASSERT(std::is_same<cvr, ct::add_function_volatile<cvr>>{});
+        CT_ASSERT(std::is_same<v,   ct::add_function_volatile<f>>{});
+        CT_ASSERT(std::is_same<v,   ct::add_function_volatile<v>>{});
+        CT_ASSERT(std::is_same<vl,   ct::add_function_volatile<l>>{});
+        CT_ASSERT(std::is_same<vl,   ct::add_function_volatile<vl>>{});
+        CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<r>>{});
+        CT_ASSERT(std::is_same<vr,  ct::add_function_volatile<vr>>{});
+        CT_ASSERT(std::is_same<cv,  ct::add_function_volatile<c>>{});
+        CT_ASSERT(std::is_same<cv,  ct::add_function_volatile<cv>>{});
+        CT_ASSERT(std::is_same<cvl, ct::add_function_volatile<cl>>{});
+        CT_ASSERT(std::is_same<cvl, ct::add_function_volatile<cvl>>{});
+        CT_ASSERT(std::is_same<cvr, ct::add_function_volatile<cr>>{});
+        CT_ASSERT(std::is_same<cvr, ct::add_function_volatile<cvr>>{});
 	}
 }