[Boost-commit] svn:boost r63141 - in sandbox/SOC/2010/bit_masks/boost/integer/details: . bft

Subject: [Boost-commit] svn:boost r63141 - in sandbox/SOC/2010/bit_masks/boost/integer/details: . bft
From: bbartmanboost_at_[hidden]
Date: 2010-06-20 11:15:17

Author: bbartman
Date: 2010-06-20 11:15:14 EDT (Sun, 20 Jun 2010)
New Revision: 63141
URL: http://svn.boost.org/trac/boost/changeset/63141

Log:
removed the body of both storage and member because they are only used to move template parameters around.
Text files modified: 
   sandbox/SOC/2010/bit_masks/boost/integer/details/bft/arg_parse_impl.hpp  |    16 ++++++++++------                        
   sandbox/SOC/2010/bit_masks/boost/integer/details/bitfield_tuple_impl.hpp |    13 ++++---------                           
   sandbox/SOC/2010/bit_masks/boost/integer/details/member.hpp              |    13 +------------                           
   sandbox/SOC/2010/bit_masks/boost/integer/details/storage.hpp             |     9 +--------                               
   4 files changed, 16 insertions(+), 35 deletions(-)

Modified: sandbox/SOC/2010/bit_masks/boost/integer/details/bft/arg_parse_impl.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/details/bft/arg_parse_impl.hpp	(original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/details/bft/arg_parse_impl.hpp	2010-06-20 11:15:14 EDT (Sun, 20 Jun 2010)
@@ -75,11 +75,11 @@
     // make sure that the storage type is not specifed twice
     BOOST_STATIC_ASSERT(( is_same<StoragePolicy,mpl::void_>::value ));
 
-    typedef typename storage<
+    typedef storage<
         StorageType
-    >::type                 param;
+    >                       param;
     typedef FieldVector     field_vector;
-    typedef param           storage_policy;
+    typedef StorageType     storage_policy;
     typedef Offset          offset;
 
     typedef bft_arg_parse_impl<param,storage_policy,field_vector,offset> type;
@@ -98,7 +98,9 @@
 /** Specilization for member.
  *  Documented and enforced preconditions
  *      1. The user must not supply the same name for more then 1 parameter
- *      (This may result in additional overhead during compile time ).
+ *          (This may result in additional overhead during compile time ).
+ *      2. The Fieldwidth of a field must not be 0.
+ *      3. The Fieldwidth must not exceed the bit_width of the ReturnType.
  */
 template <  typename StoragePolicy,
             typename FieldVector,
@@ -117,7 +119,9 @@
     FieldVector,
     Offset >
 {
-
+    BOOST_STATIC_ASSERT(( FieldWidth != 0 ));
+    BOOST_STATIC_ASSERT(( FieldWidth <= bit_width<ReturnType>::value ));
+    // make sure that the name doesn't already exist.
     BOOST_STATIC_ASSERT((
         is_same<
             typename mpl::find_if<
@@ -134,7 +138,7 @@
     ));
 
 
-    typedef typename member< ReturnType, NameType, FieldWidth >::type param;
+    typedef member< ReturnType, NameType, FieldWidth > param;
 
     typedef StoragePolicy   storage_policy;
     typedef typename mpl::push_back<

Modified: sandbox/SOC/2010/bit_masks/boost/integer/details/bitfield_tuple_impl.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/details/bitfield_tuple_impl.hpp	(original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/details/bitfield_tuple_impl.hpp	2010-06-20 11:15:14 EDT (Sun, 20 Jun 2010)
@@ -28,7 +28,7 @@
 namespace boost { namespace details {
 
 // The following preprocessor MACRO only used for writing clarity, it's only 
-// used twice and then undef'ed before the end of this file.
+// used once and then undef'ed before the end of this file.
 #define BOOST_BFT_ARG_PROCESSING      \
         details::bft_arg_parse_impl<\
             T0, \
@@ -91,9 +91,7 @@
             typename T8,
             typename T9
 >
-struct bitfield_tuple_base
-    : BOOST_BFT_ARG_PROCESSING
-{
+struct bitfield_tuple_base {
 
     
     typedef typename BOOST_BFT_ARG_PROCESSING   processed_args;
@@ -101,7 +99,7 @@
     // extracting te Arguments from processed_args relating to 
     // the storage policy. Also preforming static assertios 
     // where they can be done.
-    typedef typename processed_args::storage_policy     storage_policy;
+    typedef typename processed_args::storage_policy     storage_type;
     typedef typename processed_args::field_vector       field_vector;
     typedef typename processed_args::offset             offset;
 
@@ -109,14 +107,11 @@
     //      A storage policy must be supplied.
     BOOST_STATIC_ASSERT((
         !is_same<
-            storage_policy,
+            storage_type,
             typename mpl::void_
         >::value
     ));
 
-    typedef typename storage_policy::storage_type   storage_type;
-
-
 
     // Precondition: storage_type must not be an array type.
     // I always forget if the is_pod will match array types like int [3] or not.

Modified: sandbox/SOC/2010/bit_masks/boost/integer/details/member.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/details/member.hpp	(original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/details/member.hpp	2010-06-20 11:15:14 EDT (Sun, 20 Jun 2010)
@@ -22,20 +22,9 @@
  *  specifically to associate a group of parameters to gather within a type
  *  and make it easier for the data structure to figure out what to do with
  *  those parameter.
- *
- *  Documented and enforced preconditions
- *      The Fieldwidth of a field must not be 0.
- *      The Fieldwidth must not exceed the bit_width of the ReturnType.
  */
 template <typename ReturnType, typename Name, std::size_t FieldWidth>
-struct member {
-    BOOST_STATIC_ASSERT(( FieldWidth != 0 ));
-    BOOST_STATIC_ASSERT(( FieldWidth <= bit_width<ReturnType>::value ));
-    typedef ReturnType return_type;
-    typedef Name name_type;
-    BOOST_STATIC_CONSTANT(std::size_t, field_width  = FieldWidth);
-    typedef member<ReturnType,Name,FieldWidth> type;
-};
+struct member;
 
 
 

Modified: sandbox/SOC/2010/bit_masks/boost/integer/details/storage.hpp
==============================================================================
--- sandbox/SOC/2010/bit_masks/boost/integer/details/storage.hpp	(original)
+++ sandbox/SOC/2010/bit_masks/boost/integer/details/storage.hpp	2010-06-20 11:15:14 EDT (Sun, 20 Jun 2010)
@@ -7,9 +7,6 @@
 #ifndef BOOST_BIT_MASKS_TAGGED_HPP
 #define BOOST_BIT_MASKS_TAGGED_HPP
 
-#include <memory>
-#include <boost/mpl/void.hpp>
-
 namespace boost {
 
 
@@ -17,11 +14,7 @@
  *  around within the template parameters of a bitfield_tuple.
  */
 template < typename StorageType>
-struct storage {
-    typedef StorageType storage_type;
-    typedef storage<StorageType>  type;
-
-};
+struct storage;
 
 } // end boost