]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | |
2 | // (C) Copyright John Maddock 2007. | |
3 | // Use, modification and distribution are subject to the | |
4 | // Boost Software License, Version 1.0. (See accompanying file | |
5 | // LICENSE_1_0.txt or copy at http://www.tt.org/LICENSE_1_0.txt) | |
6 | ||
7c673cae FG |
7 | #ifdef TEST_STD |
8 | # include <type_traits> | |
9 | #else | |
10 | # include <boost/type_traits/make_unsigned.hpp> | |
11 | #endif | |
11fdf7f2 TL |
12 | #include "test.hpp" |
13 | #include "check_type.hpp" | |
14 | #include "check_integral_constant.hpp" | |
7c673cae FG |
15 | |
16 | TT_TEST_BEGIN(make_unsigned) | |
17 | // signed types: | |
18 | BOOST_CHECK_TYPE(::tt::make_unsigned<signed char>::type, unsigned char); | |
19 | BOOST_CHECK_TYPE(::tt::make_unsigned<short>::type, unsigned short); | |
20 | BOOST_CHECK_TYPE(::tt::make_unsigned<int>::type, unsigned int); | |
21 | BOOST_CHECK_TYPE(::tt::make_unsigned<long>::type, unsigned long); | |
22 | #ifdef BOOST_HAS_LONG_LONG | |
23 | BOOST_CHECK_TYPE(::tt::make_unsigned<boost::long_long_type>::type, boost::ulong_long_type); | |
24 | #elif defined(BOOST_HAS_MS_INT64) | |
25 | BOOST_CHECK_TYPE(::tt::make_unsigned<__int64>::type, unsigned __int64); | |
26 | #endif | |
27 | // const signed types: | |
28 | BOOST_CHECK_TYPE(::tt::make_unsigned<const signed char>::type, const unsigned char); | |
29 | BOOST_CHECK_TYPE(::tt::make_unsigned<const short>::type, const unsigned short); | |
30 | BOOST_CHECK_TYPE(::tt::make_unsigned<const int>::type, const unsigned int); | |
31 | BOOST_CHECK_TYPE(::tt::make_unsigned<const long>::type, const unsigned long); | |
32 | #ifdef BOOST_HAS_LONG_LONG | |
33 | BOOST_CHECK_TYPE(::tt::make_unsigned<const boost::long_long_type>::type, const boost::ulong_long_type); | |
34 | #elif defined(BOOST_HAS_MS_INT64) | |
35 | BOOST_CHECK_TYPE(::tt::make_unsigned<const __int64>::type, const unsigned __int64); | |
36 | #endif | |
37 | // volatile signed types: | |
38 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile signed char>::type, volatile unsigned char); | |
39 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile short>::type, volatile unsigned short); | |
40 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile int>::type, volatile unsigned int); | |
41 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile long>::type, volatile unsigned long); | |
42 | #ifdef BOOST_HAS_LONG_LONG | |
43 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile boost::long_long_type>::type, volatile boost::ulong_long_type); | |
44 | #elif defined(BOOST_HAS_MS_INT64) | |
45 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile __int64>::type, volatile unsigned __int64); | |
46 | #endif | |
47 | // const volatile signed types: | |
48 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile signed char>::type, const volatile unsigned char); | |
49 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile short>::type, const volatile unsigned short); | |
50 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile int>::type, const volatile unsigned int); | |
51 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile long>::type, const volatile unsigned long); | |
52 | #ifdef BOOST_HAS_LONG_LONG | |
53 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile boost::long_long_type>::type, const volatile boost::ulong_long_type); | |
54 | #elif defined(BOOST_HAS_MS_INT64) | |
55 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile __int64>::type, const volatile unsigned __int64); | |
56 | #endif | |
57 | ||
58 | // unsigned types: | |
59 | BOOST_CHECK_TYPE(::tt::make_unsigned<unsigned char>::type, unsigned char); | |
60 | BOOST_CHECK_TYPE(::tt::make_unsigned<unsigned short>::type, unsigned short); | |
61 | BOOST_CHECK_TYPE(::tt::make_unsigned<unsigned int>::type, unsigned int); | |
62 | BOOST_CHECK_TYPE(::tt::make_unsigned<unsigned long>::type, unsigned long); | |
63 | #ifdef BOOST_HAS_LONG_LONG | |
64 | BOOST_CHECK_TYPE(::tt::make_unsigned<boost::ulong_long_type>::type, boost::ulong_long_type); | |
65 | #elif defined(BOOST_HAS_MS_INT64) | |
66 | BOOST_CHECK_TYPE(::tt::make_unsigned<unsigned __int64>::type, unsigned __int64); | |
67 | #endif | |
68 | // const unsigned types: | |
69 | BOOST_CHECK_TYPE(::tt::make_unsigned<const unsigned char>::type, const unsigned char); | |
70 | BOOST_CHECK_TYPE(::tt::make_unsigned<const unsigned short>::type, const unsigned short); | |
71 | BOOST_CHECK_TYPE(::tt::make_unsigned<const unsigned int>::type, const unsigned int); | |
72 | BOOST_CHECK_TYPE(::tt::make_unsigned<const unsigned long>::type, const unsigned long); | |
73 | #ifdef BOOST_HAS_LONG_LONG | |
74 | BOOST_CHECK_TYPE(::tt::make_unsigned<const boost::ulong_long_type>::type, const boost::ulong_long_type); | |
75 | #elif defined(BOOST_HAS_MS_INT64) | |
76 | BOOST_CHECK_TYPE(::tt::make_unsigned<const unsigned __int64>::type, const unsigned __int64); | |
77 | #endif | |
78 | // volatile unsigned types: | |
79 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile unsigned char>::type, volatile unsigned char); | |
80 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile unsigned short>::type, volatile unsigned short); | |
81 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile unsigned int>::type, volatile unsigned int); | |
82 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile unsigned long>::type, volatile unsigned long); | |
83 | #ifdef BOOST_HAS_LONG_LONG | |
84 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile boost::ulong_long_type>::type, volatile boost::ulong_long_type); | |
85 | #elif defined(BOOST_HAS_MS_INT64) | |
86 | BOOST_CHECK_TYPE(::tt::make_unsigned<volatile unsigned __int64>::type, volatile unsigned __int64); | |
87 | #endif | |
88 | // const volatile unsigned types: | |
89 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile unsigned char>::type, const volatile unsigned char); | |
90 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile unsigned short>::type, const volatile unsigned short); | |
91 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile unsigned int>::type, const volatile unsigned int); | |
92 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile unsigned long>::type, const volatile unsigned long); | |
93 | #ifdef BOOST_HAS_LONG_LONG | |
94 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile boost::ulong_long_type>::type, const volatile boost::ulong_long_type); | |
95 | #elif defined(BOOST_HAS_MS_INT64) | |
96 | BOOST_CHECK_TYPE(::tt::make_unsigned<const volatile unsigned __int64>::type, const volatile unsigned __int64); | |
97 | #endif | |
98 | #ifdef BOOST_HAS_INT128 | |
99 | BOOST_CHECK_TYPE(::tt::make_unsigned<boost::int128_type>::type, boost::uint128_type); | |
100 | BOOST_CHECK_TYPE(::tt::make_unsigned<boost::uint128_type>::type, boost::uint128_type); | |
101 | #endif | |
102 | ||
103 | // character types: | |
104 | BOOST_CHECK_TYPE(::tt::make_unsigned<char>::type, unsigned char); | |
105 | BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_integral< ::tt::make_unsigned<wchar_t>::type>::value, true); | |
106 | BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_unsigned< ::tt::make_unsigned<wchar_t>::type>::value, true); | |
107 | BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_integral< ::tt::make_unsigned<enum_UDT>::type>::value, true); | |
108 | BOOST_CHECK_INTEGRAL_CONSTANT(::tt::is_unsigned< ::tt::make_unsigned<enum_UDT>::type>::value, true); | |
109 | TT_TEST_END | |
110 | ||
111 |