ivl 679
|
00001 /* This file is part of the ivl C++ library <http://image.ntua.gr/ivl>. 00002 A C++ template library extending syntax towards mathematical notation. 00003 00004 Copyright (C) 2012 Yannis Avrithis <iavr@image.ntua.gr> 00005 Copyright (C) 2012 Kimon Kontosis <kimonas@image.ntua.gr> 00006 00007 ivl is free software; you can redistribute it and/or modify 00008 it under the terms of the GNU Lesser General Public License 00009 version 3 as published by the Free Software Foundation. 00010 00011 Alternatively, you can redistribute it and/or modify it under the terms 00012 of the GNU General Public License version 2 as published by the Free 00013 Software Foundation. 00014 00015 ivl is distributed in the hope that it will be useful, 00016 but WITHOUT ANY WARRANTY; without even the implied warranty of 00017 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 00018 See the GNU General Public License for more details. 00019 00020 You should have received a copy of the GNU General Public License 00021 and a copy of the GNU Lesser General Public License along 00022 with ivl. If not, see <http://www.gnu.org/licenses/>. */ 00023 00024 template <> 00025 class is_integer<int8_t> : public types::t_true { }; 00026 00027 template <> 00028 class is_integer<uint8_t> : public types::t_true { }; 00029 00030 template <> 00031 class is_integer<int16_t> : public types::t_true { }; 00032 00033 template <> 00034 class is_integer<uint16_t> : public types::t_true { }; 00035 00036 template <> 00037 class is_integer<int32_t> : public types::t_true { }; 00038 00039 template <> 00040 class is_integer<uint32_t> : public types::t_true { }; 00041 00042 template <> 00043 class is_integer<int64_t> : public types::t_true { }; 00044 00045 template <> 00046 class is_integer<uint64_t> : public types::t_true { }; 00047 00048 #ifndef _MSC_VER 00049 // g++ has a special type for `char' which is neither 00050 // int8_t nor int16_t but a type of its own, whatever implementation 00051 // is used. So it has to be specially treated. 00052 // This does not hold for unsigned char though. 00053 template <> 00054 class is_integer<char> : public types::t_true { }; 00055 00056 #endif