1 #ifndef BOOST_SERIALIZATION_TRACKING_HPP
2 #define BOOST_SERIALIZATION_TRACKING_HPP
3
4 // MS compatible compilers support #pragma once
5 #if defined(_MSC_VER)
6 # pragma once
7 #endif
8
9 /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
10 // tracking.hpp:
11
12 // (C) Copyright 2002 Robert Ramey - http://www.rrsd.com .
13 // Use, modification and distribution is subject to the Boost Software
14 // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
15 // http://www.boost.org/LICENSE_1_0.txt)
16
17 // See http://www.boost.org for updates, documentation, and revision history.
18
19 #include <boost/config.hpp>
20 #include <boost/static_assert.hpp>
21 #include <boost/mpl/eval_if.hpp>
22 #include <boost/mpl/identity.hpp>
23 #include <boost/mpl/int.hpp>
24 #include <boost/mpl/equal_to.hpp>
25 #include <boost/mpl/greater.hpp>
26 #include <boost/mpl/integral_c_tag.hpp>
27
28 #include <boost/type_traits/is_base_and_derived.hpp>
29 #include <boost/type_traits/is_pointer.hpp>
30 #include <boost/serialization/level.hpp>
31 #include <boost/serialization/tracking_enum.hpp>
32 #include <boost/serialization/type_info_implementation.hpp>
33
34 namespace boost {
35 namespace serialization {
36
37 struct basic_traits;
38
39 // default tracking level
40 template<class T>
41 struct tracking_level_impl {
42 template<class U>
43 struct traits_class_tracking {
44 typedef typename U::tracking type;
45 };
46 typedef mpl::integral_c_tag tag;
47 // note: at least one compiler complained w/o the full qualification
48 // on basic traits below
49 typedef
50 typename mpl::eval_if<
51 is_base_and_derived<boost::serialization::basic_traits, T>,
52 traits_class_tracking< T >,
53 //else
54 typename mpl::eval_if<
55 is_pointer< T >,
56 // pointers are not tracked by default
57 mpl::int_<track_never>,
58 //else
59 typename mpl::eval_if<
60 // for primitives
61 typename mpl::equal_to<
62 implementation_level< T >,
63 mpl::int_<primitive_type>
64 >,
65 // is never
66 mpl::int_<track_never>,
67 // otherwise its selective
68 mpl::int_<track_selectively>
69 > > >::type type;
70 BOOST_STATIC_CONSTANT(int, value = type::value);
71 };
72
73 template<class T>
74 struct tracking_level :
75 public tracking_level_impl<const T>
76 {
77 };
78
79 template<class T, enum tracking_type L>
operator >=(tracking_level<T> t,enum tracking_type l)80 inline bool operator>=(tracking_level< T > t, enum tracking_type l)
81 {
82 return t.value >= (int)l;
83 }
84
85 } // namespace serialization
86 } // namespace boost
87
88
89 // The STATIC_ASSERT is prevents one from setting tracking for a primitive type.
90 // This almost HAS to be an error. Doing this will effect serialization of all
91 // char's in your program which is almost certainly what you don't want to do.
92 // If you want to track all instances of a given primitive type, You'll have to
93 // wrap it in your own type so its not a primitive anymore. Then it will compile
94 // without problem.
95 #define BOOST_CLASS_TRACKING(T, E) \
96 namespace boost { \
97 namespace serialization { \
98 template<> \
99 struct tracking_level< T > \
100 { \
101 typedef mpl::integral_c_tag tag; \
102 typedef mpl::int_< E> type; \
103 BOOST_STATIC_CONSTANT( \
104 int, \
105 value = tracking_level::type::value \
106 ); \
107 /* tracking for a class */ \
108 BOOST_STATIC_ASSERT(( \
109 mpl::greater< \
110 /* that is a prmitive */ \
111 implementation_level< T >, \
112 mpl::int_<primitive_type> \
113 >::value \
114 )); \
115 }; \
116 }}
117
118 #endif // BOOST_SERIALIZATION_TRACKING_HPP
119