OLD | NEW |
| (Empty) |
1 /* | |
2 * Copyright (C) 2006, 2007, 2008 Apple Inc. All rights reserved. | |
3 * Copyright (C) 2009, 2010 Google Inc. All rights reserved. | |
4 * | |
5 * This library is free software; you can redistribute it and/or | |
6 * modify it under the terms of the GNU Library General Public | |
7 * License as published by the Free Software Foundation; either | |
8 * version 2 of the License, or (at your option) any later version. | |
9 * | |
10 * This library is distributed in the hope that it will be useful, | |
11 * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU | |
13 * Library General Public License for more details. | |
14 * | |
15 * You should have received a copy of the GNU Library General Public License | |
16 * along with this library; see the file COPYING.LIB. If not, write to | |
17 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, | |
18 * Boston, MA 02110-1301, USA. | |
19 * | |
20 */ | |
21 | |
22 #include "config.h" | |
23 #include "TypeTraits.h" | |
24 | |
25 #include "Assertions.h" | |
26 | |
27 namespace WTF { | |
28 | |
29 COMPILE_ASSERT(IsInteger<bool>::value, WTF_IsInteger_bool_true); | |
30 COMPILE_ASSERT(IsInteger<char>::value, WTF_IsInteger_char_true); | |
31 COMPILE_ASSERT(IsInteger<signed char>::value, WTF_IsInteger_signed_char_true); | |
32 COMPILE_ASSERT(IsInteger<unsigned char>::value, WTF_IsInteger_unsigned_char_true
); | |
33 COMPILE_ASSERT(IsInteger<short>::value, WTF_IsInteger_short_true); | |
34 COMPILE_ASSERT(IsInteger<unsigned short>::value, WTF_IsInteger_unsigned_short_tr
ue); | |
35 COMPILE_ASSERT(IsInteger<int>::value, WTF_IsInteger_int_true); | |
36 COMPILE_ASSERT(IsInteger<unsigned int>::value, WTF_IsInteger_unsigned_int_true); | |
37 COMPILE_ASSERT(IsInteger<long>::value, WTF_IsInteger_long_true); | |
38 COMPILE_ASSERT(IsInteger<unsigned long>::value, WTF_IsInteger_unsigned_long_true
); | |
39 COMPILE_ASSERT(IsInteger<long long>::value, WTF_IsInteger_long_long_true); | |
40 COMPILE_ASSERT(IsInteger<unsigned long long>::value, WTF_IsInteger_unsigned_long
_long_true); | |
41 #if !COMPILER(MSVC) || defined(_NATIVE_WCHAR_T_DEFINED) | |
42 COMPILE_ASSERT(IsInteger<wchar_t>::value, WTF_IsInteger_wchar_t_true); | |
43 #endif | |
44 COMPILE_ASSERT(!IsInteger<char*>::value, WTF_IsInteger_char_pointer_false); | |
45 COMPILE_ASSERT(!IsInteger<const char*>::value, WTF_IsInteger_const_char_pointer_
false); | |
46 COMPILE_ASSERT(!IsInteger<volatile char*>::value, WTF_IsInteger_volatile_char_po
inter_false); | |
47 COMPILE_ASSERT(!IsInteger<double>::value, WTF_IsInteger_double_false); | |
48 COMPILE_ASSERT(!IsInteger<float>::value, WTF_IsInteger_float_false); | |
49 | |
50 COMPILE_ASSERT(IsFloatingPoint<float>::value, WTF_IsFloatingPoint_float_true); | |
51 COMPILE_ASSERT(IsFloatingPoint<double>::value, WTF_IsFloatingPoint_double_true); | |
52 COMPILE_ASSERT(IsFloatingPoint<long double>::value, WTF_IsFloatingPoint_long_dou
ble_true); | |
53 COMPILE_ASSERT(!IsFloatingPoint<int>::value, WTF_IsFloatingPoint_int_false); | |
54 | |
55 COMPILE_ASSERT(IsPod<bool>::value, WTF_IsPod_bool_true); | |
56 COMPILE_ASSERT(IsPod<char>::value, WTF_IsPod_char_true); | |
57 COMPILE_ASSERT(IsPod<signed char>::value, WTF_IsPod_signed_char_true); | |
58 COMPILE_ASSERT(IsPod<unsigned char>::value, WTF_IsPod_unsigned_char_true); | |
59 COMPILE_ASSERT(IsPod<short>::value, WTF_IsPod_short_true); | |
60 COMPILE_ASSERT(IsPod<unsigned short>::value, WTF_IsPod_unsigned_short_true); | |
61 COMPILE_ASSERT(IsPod<int>::value, WTF_IsPod_int_true); | |
62 COMPILE_ASSERT(IsPod<unsigned int>::value, WTF_IsPod_unsigned_int_true); | |
63 COMPILE_ASSERT(IsPod<long>::value, WTF_IsPod_long_true); | |
64 COMPILE_ASSERT(IsPod<unsigned long>::value, WTF_IsPod_unsigned_long_true); | |
65 COMPILE_ASSERT(IsPod<long long>::value, WTF_IsPod_long_long_true); | |
66 COMPILE_ASSERT(IsPod<unsigned long long>::value, WTF_IsPod_unsigned_long_long_tr
ue); | |
67 #if !COMPILER(MSVC) || defined(_NATIVE_WCHAR_T_DEFINED) | |
68 COMPILE_ASSERT(IsPod<wchar_t>::value, WTF_IsPod_wchar_t_true); | |
69 #endif | |
70 COMPILE_ASSERT(IsPod<char*>::value, WTF_IsPod_char_pointer_true); | |
71 COMPILE_ASSERT(IsPod<const char*>::value, WTF_IsPod_const_char_pointer_true); | |
72 COMPILE_ASSERT(IsPod<volatile char*>::value, WTF_IsPod_volatile_char_pointer_tru
e); | |
73 COMPILE_ASSERT(IsPod<double>::value, WTF_IsPod_double_true); | |
74 COMPILE_ASSERT(IsPod<long double>::value, WTF_IsPod_long_double_true); | |
75 COMPILE_ASSERT(IsPod<float>::value, WTF_IsPod_float_true); | |
76 COMPILE_ASSERT(!IsPod<IsPod<bool> >::value, WTF_IsPod_struct_false); | |
77 | |
78 enum IsConvertibleToIntegerCheck { }; | |
79 COMPILE_ASSERT(IsConvertibleToInteger<IsConvertibleToIntegerCheck>::value, WTF_I
sConvertibleToInteger_enum_true); | |
80 COMPILE_ASSERT(IsConvertibleToInteger<bool>::value, WTF_IsConvertibleToInteger_b
ool_true); | |
81 COMPILE_ASSERT(IsConvertibleToInteger<char>::value, WTF_IsConvertibleToInteger_c
har_true); | |
82 COMPILE_ASSERT(IsConvertibleToInteger<signed char>::value, WTF_IsConvertibleToIn
teger_signed_char_true); | |
83 COMPILE_ASSERT(IsConvertibleToInteger<unsigned char>::value, WTF_IsConvertibleTo
Integer_unsigned_char_true); | |
84 COMPILE_ASSERT(IsConvertibleToInteger<short>::value, WTF_IsConvertibleToInteger_
short_true); | |
85 COMPILE_ASSERT(IsConvertibleToInteger<unsigned short>::value, WTF_IsConvertibleT
oInteger_unsigned_short_true); | |
86 COMPILE_ASSERT(IsConvertibleToInteger<int>::value, WTF_IsConvertibleToInteger_in
t_true); | |
87 COMPILE_ASSERT(IsConvertibleToInteger<unsigned int>::value, WTF_IsConvertibleToI
nteger_unsigned_int_true); | |
88 COMPILE_ASSERT(IsConvertibleToInteger<long>::value, WTF_IsConvertibleToInteger_l
ong_true); | |
89 COMPILE_ASSERT(IsConvertibleToInteger<unsigned long>::value, WTF_IsConvertibleTo
Integer_unsigned_long_true); | |
90 COMPILE_ASSERT(IsConvertibleToInteger<long long>::value, WTF_IsConvertibleToInte
ger_long_long_true); | |
91 COMPILE_ASSERT(IsConvertibleToInteger<unsigned long long>::value, WTF_IsConverti
bleToInteger_unsigned_long_long_true); | |
92 #if !COMPILER(MSVC) || defined(_NATIVE_WCHAR_T_DEFINED) | |
93 COMPILE_ASSERT(IsConvertibleToInteger<wchar_t>::value, WTF_IsConvertibleToIntege
r_wchar_t_true); | |
94 #endif | |
95 COMPILE_ASSERT(IsConvertibleToInteger<double>::value, WTF_IsConvertibleToInteger
_double_true); | |
96 COMPILE_ASSERT(IsConvertibleToInteger<long double>::value, WTF_IsConvertibleToIn
teger_long_double_true); | |
97 COMPILE_ASSERT(IsConvertibleToInteger<float>::value, WTF_IsConvertibleToInteger_
float_true); | |
98 COMPILE_ASSERT(!IsConvertibleToInteger<char*>::value, WTF_IsConvertibleToInteger
_char_pointer_false); | |
99 COMPILE_ASSERT(!IsConvertibleToInteger<const char*>::value, WTF_IsConvertibleToI
nteger_const_char_pointer_false); | |
100 COMPILE_ASSERT(!IsConvertibleToInteger<volatile char*>::value, WTF_IsConvertible
ToInteger_volatile_char_pointer_false); | |
101 COMPILE_ASSERT(!IsConvertibleToInteger<IsConvertibleToInteger<bool> >::value, WT
F_IsConvertibleToInteger_struct_false); | |
102 | |
103 COMPILE_ASSERT((IsSameType<bool, bool>::value), WTF_IsSameType_bool_true); | |
104 COMPILE_ASSERT((IsSameType<int*, int*>::value), WTF_IsSameType_int_pointer_true)
; | |
105 COMPILE_ASSERT((!IsSameType<int, int*>::value), WTF_IsSameType_int_int_pointer_f
alse); | |
106 COMPILE_ASSERT((!IsSameType<bool, const bool>::value), WTF_IsSameType_const_chan
ge_false); | |
107 COMPILE_ASSERT((!IsSameType<bool, volatile bool>::value), WTF_IsSameType_volatil
e_change_false); | |
108 | |
109 template <typename T> | |
110 class TestBaseClass { | |
111 }; | |
112 | |
113 class TestDerivedClass : public TestBaseClass<int> { | |
114 }; | |
115 | |
116 COMPILE_ASSERT((IsSubclass<TestDerivedClass, TestBaseClass<int> >::value), WTF_T
est_IsSubclass_Derived_From_Base); | |
117 COMPILE_ASSERT((!IsSubclass<TestBaseClass<int>, TestDerivedClass>::value), WTF_T
est_IsSubclass_Base_From_Derived); | |
118 COMPILE_ASSERT((IsSubclassOfTemplate<TestDerivedClass, TestBaseClass>::value), W
TF_Test_IsSubclassOfTemplate_Base_From_Derived); | |
119 COMPILE_ASSERT((IsSameType<RemoveTemplate<TestBaseClass<int>, TestBaseClass>::Ty
pe, int>::value), WTF_Test_RemoveTemplate); | |
120 COMPILE_ASSERT((IsSameType<RemoveTemplate<int, TestBaseClass>::Type, int>::value
), WTF_Test_RemoveTemplate_WithoutTemplate); | |
121 | |
122 | |
123 COMPILE_ASSERT((IsSameType<bool, RemoveConst<const bool>::Type>::value), WTF_tes
t_RemoveConst_const_bool); | |
124 COMPILE_ASSERT((!IsSameType<bool, RemoveConst<volatile bool>::Type>::value), WTF
_test_RemoveConst_volatile_bool); | |
125 | |
126 COMPILE_ASSERT((IsSameType<bool, RemoveVolatile<bool>::Type>::value), WTF_test_R
emoveVolatile_bool); | |
127 COMPILE_ASSERT((!IsSameType<bool, RemoveVolatile<const bool>::Type>::value), WTF
_test_RemoveVolatile_const_bool); | |
128 COMPILE_ASSERT((IsSameType<bool, RemoveVolatile<volatile bool>::Type>::value), W
TF_test_RemoveVolatile_volatile_bool); | |
129 | |
130 COMPILE_ASSERT((IsSameType<bool, RemoveConstVolatile<bool>::Type>::value), WTF_t
est_RemoveConstVolatile_bool); | |
131 COMPILE_ASSERT((IsSameType<bool, RemoveConstVolatile<const bool>::Type>::value),
WTF_test_RemoveConstVolatile_const_bool); | |
132 COMPILE_ASSERT((IsSameType<bool, RemoveConstVolatile<volatile bool>::Type>::valu
e), WTF_test_RemoveConstVolatile_volatile_bool); | |
133 COMPILE_ASSERT((IsSameType<bool, RemoveConstVolatile<const volatile bool>::Type>
::value), WTF_test_RemoveConstVolatile_const_volatile_bool); | |
134 | |
135 COMPILE_ASSERT((IsSameType<int, RemovePointer<int>::Type>::value), WTF_Test_Remo
vePointer_int); | |
136 COMPILE_ASSERT((IsSameType<int, RemovePointer<int*>::Type>::value), WTF_Test_Rem
ovePointer_int_pointer); | |
137 COMPILE_ASSERT((!IsSameType<int, RemovePointer<int**>::Type>::value), WTF_Test_R
emovePointer_int_pointer_pointer); | |
138 | |
139 COMPILE_ASSERT((IsSameType<int, RemoveReference<int>::Type>::value), WTF_Test_Re
moveReference_int); | |
140 COMPILE_ASSERT((IsSameType<int, RemoveReference<int&>::Type>::value), WTF_Test_R
emoveReference_int_reference); | |
141 | |
142 | |
143 typedef int IntArray[]; | |
144 typedef int IntArraySized[4]; | |
145 | |
146 COMPILE_ASSERT((IsArray<IntArray>::value), WTF_Test_IsArray_int_array); | |
147 COMPILE_ASSERT((IsArray<IntArraySized>::value), WTF_Test_IsArray_int_sized_array
); | |
148 | |
149 COMPILE_ASSERT((IsSameType<int, RemoveExtent<IntArray>::Type>::value), WTF_Test_
RemoveExtent_int_array); | |
150 COMPILE_ASSERT((IsSameType<int, RemoveExtent<IntArraySized>::Type>::value), WTF_
Test_RemoveReference_int_sized_array); | |
151 | |
152 COMPILE_ASSERT((IsSameType<int*, DecayArray<IntArray>::Type>::value), WTF_Test_D
ecayArray_int_array); | |
153 COMPILE_ASSERT((IsSameType<int*, DecayArray<IntArraySized>::Type>::value), WTF_T
est_DecayArray_int_sized_array); | |
154 | |
155 } // namespace WTF | |
OLD | NEW |