← Back to branch summary

~ubuntu-branches/ubuntu/wily/davix/wily

« back to all changes in this revision

Viewing changes to deps/boost_intern/boost/iterator/detail/minimum_category.hpp

  • Committer: Package Import Robot
  • Author(s): Mattias Ellert
  • Date: 2015-07-31 13:17:55 UTC
  • mfrom: (5.1.3 sid)
  • Revision ID: package-import@ubuntu.com-20150731131755-mizprbmn7ogv33te
Tags: 0.4.1-1
* Update to version 0.4.1
* Implement Multi-Arch support

Show diffs side-by-side

added added

removed removed

Lines of Context:
deps/boost_intern/boost/iterator/detail/minimum_category.hpp
1
 
// Copyright David Abrahams 2003. Use, modification and distribution is
2
 
// subject to the Boost Software License, Version 1.0. (See accompanying
3
 
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
4
 
#ifndef MINIMUM_CATEGORY_DWA20031119_HPP
5
 
# define MINIMUM_CATEGORY_DWA20031119_HPP
6
 
 
7
 
# include <boost/type_traits/is_convertible.hpp>
8
 
# include <boost/type_traits/is_same.hpp>
9
 
 
10
 
# include <boost/mpl/aux_/lambda_support.hpp>
11
 
 
12
 
namespace boost { namespace detail { 
13
 
//
14
 
// Returns the minimum category type or error_type
15
 
// if T1 and T2 are unrelated.
16
 
//
17
 
// For compilers not supporting is_convertible this only
18
 
// works with the new boost return and traversal category
19
 
// types. The exact boost _types_ are required. No derived types
20
 
// will work. 
21
 
//
22
 
//
23
 
template <bool GreaterEqual, bool LessEqual>
24
 
struct minimum_category_impl
25
 
# if BOOST_WORKAROUND(BOOST_MSVC, < 1300)
26
 
{
27
 
    template <class T1, class T2> struct apply
28
 
    {
29
 
        typedef T2 type;
30
 
    };
31
 
    typedef void type;
32
 
}
33
 
# endif 
34
 
;
35
 
 
36
 
template <class T1, class T2>
37
 
struct error_not_related_by_convertibility;
38
 
  
39
 
template <>
40
 
struct minimum_category_impl<true,false>
41
 
{
42
 
    template <class T1, class T2> struct apply
43
 
    {
44
 
        typedef T2 type;
45
 
    };
46
 
};
47
 
 
48
 
template <>
49
 
struct minimum_category_impl<false,true>
50
 
{
51
 
    template <class T1, class T2> struct apply
52
 
    {
53
 
        typedef T1 type;
54
 
    };
55
 
};
56
 
 
57
 
template <>
58
 
struct minimum_category_impl<true,true>
59
 
{
60
 
    template <class T1, class T2> struct apply
61
 
    {
62
 
        BOOST_STATIC_ASSERT((is_same<T1,T2>::value));
63
 
        typedef T1 type;
64
 
    };
65
 
};
66
 
 
67
 
template <>
68
 
struct minimum_category_impl<false,false>
69
 
{
70
 
    template <class T1, class T2> struct apply
71
 
    : error_not_related_by_convertibility<T1,T2>
72
 
    {
73
 
    };
74
 
};
75
 
 
76
 
template <class T1 = mpl::_1, class T2 = mpl::_2>
77
 
struct minimum_category
78
 
{
79
 
    typedef minimum_category_impl< 
80
 
# if BOOST_WORKAROUND(BOOST_MSVC, < 1300) // ETI workaround
81
 
        is_same<T2,int>::value ||
82
 
# endif 
83
 
        ::boost::is_convertible<T1,T2>::value
84
 
      , ::boost::is_convertible<T2,T1>::value
85
 
# if BOOST_WORKAROUND(BOOST_MSVC, < 1300) // ETI workaround
86
 
        || is_same<T1,int>::value
87
 
# endif 
88
 
    > outer;
89
 
 
90
 
    typedef typename outer::template apply<T1,T2> inner;
91
 
    typedef typename inner::type type;
92
 
      
93
 
    BOOST_MPL_AUX_LAMBDA_SUPPORT(2,minimum_category,(T1,T2))
94
 
};
95
 
    
96
 
template <>
97
 
struct minimum_category<mpl::_1,mpl::_2>
98
 
{
99
 
    template <class T1, class T2>
100
 
    struct apply : minimum_category<T1,T2>
101
 
    {};
102
 
 
103
 
    BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(2,minimum_category,(mpl::_1,mpl::_2))
104
 
};
105
 
 
106
 
# if BOOST_WORKAROUND(BOOST_MSVC, < 1300) // ETI workaround
107
 
template <>
108
 
struct minimum_category<int,int>
109
 
{
110
 
    typedef int type;
111
 
};
112
 
# endif
113
 
    
114
 
}} // namespace boost::detail
115
 
 
116
 
#endif // MINIMUM_CATEGORY_DWA20031119_HPP