| 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 |