fixing stuff
[dyninst.git] / dynutil / h / dyn_detail / boost / type_traits / is_abstract.hpp
1 #ifndef DYN_DETAIL_BOOST_TT_IS_ABSTRACT_CLASS_HPP
2 #define DYN_DETAIL_BOOST_TT_IS_ABSTRACT_CLASS_HPP
3
4 #if defined(_MSC_VER) && (_MSC_VER >= 1020)
5 # pragma once
6 #endif
7
8 /////////1/////////2/////////3/////////4/////////5/////////6/////////7/////////8
9 // is_abstract_class.hpp:
10 //
11 //  (C) Copyright 2002 Rani Sharoni (rani_sharoni@hotmail.com) and Robert Ramey
12 //  Use, modification and distribution is subject to the Boost Software
13 //  License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
14 //  http://www.boost.org/LICENSE_1_0.txt)
15 //  
16 //  See http://www.boost.org for updates, documentation, and revision history.
17 //
18
19 // Compile type discovery whether given type is abstract class or not.
20 //
21 //   Requires DR 337 to be supported by compiler
22 //   (http://anubis.dkuug.dk/jtc1/sc22/wg21/docs/cwg_active.html#337).
23 //
24 //
25 // Believed (Jan 2004) to work on:
26 //  - GCC 3.4
27 //  - VC++ 7.1
28 //  - compilers with new EDG frontend (Intel C++ 7, Comeau 4.3.2)
29 //
30 // Doesn't work on:
31 //  - VC++6, VC++7.0 and less
32 //  - GCC 3.3.X and less
33 //  - Borland C++ 6 and less
34 //      
35 //
36 // History:
37 //  - Originally written by Rani Sharoni, see
38 //    http://groups.google.com/groups?selm=df893da6.0207110613.75b2fe90%40posting.google.com
39 //    At this time supported by EDG (Intel C++ 7, Comeau 4.3.2) and VC7.1.
40 //  - Adapted and added into Boost.Serialization library by Robert Ramey 
41 //    (starting with submission #10).
42 //  - Jan 2004: GCC 3.4 fixed to suport DR337 (Giovanni Bajo).
43 //  - Jan 2004: modified to be part of Boost.TypeTraits (Pavel Vozenilek).
44 //  - Nov 2004: Christoph Ludwig found that the implementation did not work with
45 //              template types and gcc-3.4 or VC7.1, fix due to Christoph Ludwig
46 //              and John Maddock.
47 //  - Dec 2004: Added new config macro DYN_DETAIL_BOOST_NO_IS_ABSTRACT which causes the template
48 //              to degrade gracefully, rather than trash the compiler (John Maddock).
49 //
50
51 #include <dyn_detail/boost/type_traits/intrinsics.hpp>
52 #ifndef DYN_DETAIL_BOOST_IS_ABSTRACT
53 #include <dyn_detail/boost/static_assert.hpp>
54 #include <dyn_detail/boost/type_traits/detail/yes_no_type.hpp>
55 #include <dyn_detail/boost/type_traits/is_class.hpp>
56 #include <dyn_detail/boost/type_traits/detail/ice_and.hpp>
57 #ifdef DYN_DETAIL_BOOST_NO_IS_ABSTRACT
58 #include <dyn_detail/boost/type_traits/is_polymorphic.hpp>
59 #endif
60 #endif
61 // should be the last #include
62 #include <dyn_detail/boost/type_traits/detail/bool_trait_def.hpp>
63
64
65 namespace dyn_detail {
66 namespace boost {
67 namespace detail{
68
69 #ifdef DYN_DETAIL_BOOST_IS_ABSTRACT
70 template <class T>
71 struct is_abstract_imp
72 {
73    DYN_DETAIL_BOOST_STATIC_CONSTANT(bool, value = DYN_DETAIL_BOOST_IS_ABSTRACT(T));
74 };
75 #elif !defined(DYN_DETAIL_BOOST_NO_IS_ABSTRACT)
76 template<class T>
77 struct is_abstract_imp2
78 {
79    // Deduction fails if T is void, function type, 
80    // reference type (14.8.2/2)or an abstract class type 
81    // according to review status issue #337
82    //
83    template<class U>
84    static type_traits::no_type check_sig(U (*)[1]);
85    template<class U>
86    static type_traits::yes_type check_sig(...);
87    //
88    // T must be a complete type, further if T is a template then
89    // it must be instantiated in order for us to get the right answer:
90    //
91    DYN_DETAIL_BOOST_STATIC_ASSERT(sizeof(T) != 0);
92
93    // GCC2 won't even parse this template if we embed the computation
94    // of s1 in the computation of value.
95 #ifdef __GNUC__
96    DYN_DETAIL_BOOST_STATIC_CONSTANT(unsigned, s1 = sizeof(is_abstract_imp2<T>::template check_sig<T>(0)));
97 #else
98 #if DYN_DETAIL_BOOST_WORKAROUND(_MSC_FULL_VER, >= 140050000)
99 #pragma warning(push)
100 #pragma warning(disable:6334)
101 #endif
102    DYN_DETAIL_BOOST_STATIC_CONSTANT(unsigned, s1 = sizeof(check_sig<T>(0)));
103 #if DYN_DETAIL_BOOST_WORKAROUND(_MSC_FULL_VER, >= 140050000)
104 #pragma warning(pop)
105 #endif
106 #endif
107     
108    DYN_DETAIL_BOOST_STATIC_CONSTANT(bool, value = 
109       (s1 == sizeof(type_traits::yes_type)));
110 };
111
112 template <bool v>
113 struct is_abstract_select
114 {
115    template <class T>
116    struct rebind
117    {
118       typedef is_abstract_imp2<T> type;
119    };
120 };
121 template <>
122 struct is_abstract_select<false>
123 {
124    template <class T>
125    struct rebind
126    {
127       typedef false_type type;
128    };
129 };
130
131 template <class T>
132 struct is_abstract_imp
133 {
134    typedef is_abstract_select< ::dyn_detail::boost::is_class<T>::value> selector;
135    typedef typename selector::template rebind<T> binder;
136    typedef typename binder::type type;
137
138    DYN_DETAIL_BOOST_STATIC_CONSTANT(bool, value = type::value);
139 };
140
141 #endif
142 }
143
144 #ifndef DYN_DETAIL_BOOST_NO_IS_ABSTRACT
145 DYN_DETAIL_BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_abstract,T,::dyn_detail::boost::detail::is_abstract_imp<T>::value)
146 #else
147 DYN_DETAIL_BOOST_TT_AUX_BOOL_TRAIT_DEF1(is_abstract,T,::dyn_detail::boost::detail::is_polymorphic_imp<T>::value)
148 #endif
149
150 } // namespace boost
151 } // namespace dyn_detail
152
153 #include <dyn_detail/boost/type_traits/detail/bool_trait_undef.hpp>
154
155 #endif //DYN_DETAIL_BOOST_TT_IS_ABSTRACT_CLASS_HPP