00001 // Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE) 00002 // 00003 // This file is part of Olena. 00004 // 00005 // Olena is free software: you can redistribute it and/or modify it under 00006 // the terms of the GNU General Public License as published by the Free 00007 // Software Foundation, version 2 of the License. 00008 // 00009 // Olena is distributed in the hope that it will be useful, 00010 // but WITHOUT ANY WARRANTY; without even the implied warranty of 00011 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00012 // General Public License for more details. 00013 // 00014 // You should have received a copy of the GNU General Public License 00015 // along with Olena. If not, see <http://www.gnu.org/licenses/>. 00016 // 00017 // As a special exception, you may use this file as part of a free 00018 // software project without restriction. Specifically, if other files 00019 // instantiate templates or use macros or inline functions from this 00020 // file, or you compile this file and link it with other files to produce 00021 // an executable, this file does not by itself cause the resulting 00022 // executable to be covered by the GNU General Public License. This 00023 // exception does not however invalidate any other reasons why the 00024 // executable file might be covered by the GNU General Public License. 00025 00026 #include <mln/metal/is.hh> 00027 #include <mln/metal/is_not.hh> 00028 00029 00030 00031 struct from_1 00032 { 00033 }; 00034 00035 struct dest 00036 { 00037 dest(const from_1&) {} 00038 }; 00039 00040 struct from_2 00041 { 00042 operator dest() const { dest* tmp; return *tmp; } 00043 }; 00044 00045 00046 struct base 00047 { 00048 protected: base() {} 00049 }; 00050 00051 struct derived : base 00052 { 00053 }; 00054 00055 00056 struct only 00057 { 00058 }; 00059 00060 00061 int main() 00062 { 00063 using namespace mln; 00064 00065 metal::is<only, only>::check(); 00066 00067 metal::is<derived, base>::check(); 00068 metal::is<derived, const base>::check(); 00069 metal::is<derived*, const base*>::check(); 00070 metal::is<derived&, base&>::check(); 00071 metal::is<derived&, const base&>::check(); 00072 00073 metal::is<int, float>::check_not(); 00074 metal::is<from_1, dest>::check_not(); 00075 metal::is<from_2, dest>::check_not(); 00076 00077 metal::is_not<int, float>::check(); 00078 metal::is_not<from_1, dest>::check(); 00079 metal::is_not<from_2, dest>::check(); 00080 }