Chris@16: #ifndef BOOST_SERIALIZATION_TRACKING_HPP
Chris@16: #define BOOST_SERIALIZATION_TRACKING_HPP
Chris@16: 
Chris@16: // MS compatible compilers support #pragma once
Chris@101: #if defined(_MSC_VER)
Chris@16: # pragma once
Chris@16: #endif
Chris@16: 
Chris@16: /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
Chris@16: // tracking.hpp:
Chris@16: 
Chris@16: // (C) Copyright 2002 Robert Ramey - http://www.rrsd.com . 
Chris@16: // Use, modification and distribution is subject to the Boost Software
Chris@16: // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: //  See http://www.boost.org for updates, documentation, and revision history.
Chris@16: 
Chris@16: #include <boost/config.hpp>
Chris@16: #include <boost/static_assert.hpp>
Chris@16: #include <boost/mpl/eval_if.hpp>
Chris@16: #include <boost/mpl/identity.hpp>
Chris@16: #include <boost/mpl/int.hpp>
Chris@16: #include <boost/mpl/equal_to.hpp>
Chris@16: #include <boost/mpl/greater.hpp>
Chris@16: #include <boost/mpl/integral_c_tag.hpp>
Chris@16: 
Chris@16: #include <boost/type_traits/is_base_and_derived.hpp>
Chris@16: #include <boost/type_traits/is_pointer.hpp>
Chris@16: #include <boost/serialization/level.hpp>
Chris@16: #include <boost/serialization/tracking_enum.hpp>
Chris@16: #include <boost/serialization/type_info_implementation.hpp>
Chris@16: 
Chris@16: namespace boost {
Chris@16: namespace serialization {
Chris@16: 
Chris@16: struct basic_traits;
Chris@16: 
Chris@16: // default tracking level
Chris@16: template<class T>
Chris@16: struct tracking_level_impl {
Chris@16:     template<class U>
Chris@16:     struct traits_class_tracking {
Chris@101:         typedef typename U::tracking type;
Chris@16:     };
Chris@16:     typedef mpl::integral_c_tag tag;
Chris@16:     // note: at least one compiler complained w/o the full qualification
Chris@16:     // on basic traits below
Chris@16:     typedef
Chris@101:         typename mpl::eval_if<
Chris@16:             is_base_and_derived<boost::serialization::basic_traits, T>,
Chris@16:             traits_class_tracking< T >,
Chris@16:         //else
Chris@101:         typename mpl::eval_if<
Chris@16:             is_pointer< T >,
Chris@16:             // pointers are not tracked by default
Chris@16:             mpl::int_<track_never>,
Chris@16:         //else
Chris@101:         typename mpl::eval_if<
Chris@16:             // for primitives
Chris@101:             typename mpl::equal_to<
Chris@16:                 implementation_level< T >,
Chris@16:                 mpl::int_<primitive_type> 
Chris@16:             >,
Chris@16:             // is never
Chris@16:             mpl::int_<track_never>,
Chris@16:             // otherwise its selective
Chris@16:             mpl::int_<track_selectively>
Chris@16:     >  > >::type type;
Chris@16:     BOOST_STATIC_CONSTANT(int, value = type::value);
Chris@16: };
Chris@16: 
Chris@16: template<class T>
Chris@16: struct tracking_level : 
Chris@16:     public tracking_level_impl<const T>
Chris@16: {
Chris@16: };
Chris@16: 
Chris@16: template<class T, enum tracking_type L>
Chris@16: inline bool operator>=(tracking_level< T > t, enum tracking_type l)
Chris@16: {
Chris@16:     return t.value >= (int)l;
Chris@16: }
Chris@16: 
Chris@16: } // namespace serialization
Chris@16: } // namespace boost
Chris@16: 
Chris@16: 
Chris@16: // The STATIC_ASSERT is prevents one from setting tracking for a primitive type.  
Chris@16: // This almost HAS to be an error.  Doing this will effect serialization of all 
Chris@16: // char's in your program which is almost certainly what you don't want to do.  
Chris@16: // If you want to track all instances of a given primitive type, You'll have to 
Chris@16: // wrap it in your own type so its not a primitive anymore.  Then it will compile
Chris@16: // without problem.
Chris@16: #define BOOST_CLASS_TRACKING(T, E)           \
Chris@16: namespace boost {                            \
Chris@16: namespace serialization {                    \
Chris@16: template<>                                   \
Chris@16: struct tracking_level< T >                   \
Chris@16: {                                            \
Chris@16:     typedef mpl::integral_c_tag tag;         \
Chris@16:     typedef mpl::int_< E> type;              \
Chris@16:     BOOST_STATIC_CONSTANT(                   \
Chris@16:         int,                                 \
Chris@16:         value = tracking_level::type::value  \
Chris@16:     );                                       \
Chris@16:     /* tracking for a class  */              \
Chris@16:     BOOST_STATIC_ASSERT((                    \
Chris@16:         mpl::greater<                        \
Chris@16:             /* that is a prmitive */         \
Chris@16:             implementation_level< T >,       \
Chris@16:             mpl::int_<primitive_type>        \
Chris@16:         >::value                             \
Chris@16:     ));                                      \
Chris@16: };                                           \
Chris@16: }}
Chris@16: 
Chris@16: #endif // BOOST_SERIALIZATION_TRACKING_HPP