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/converts_to.hh> 00027 00028 00029 00030 struct from_1 00031 { 00032 }; 00033 00034 struct dest 00035 { 00036 dest(const from_1&) {} 00037 }; 00038 00039 struct from_2 00040 { 00041 operator dest() const { dest* tmp; return *tmp; } 00042 }; 00043 00044 00045 struct base 00046 { 00047 }; 00048 00049 struct base_ 00050 { 00051 protected: 00052 base_(int) {} 00053 base_(const base_&) {} 00054 }; 00055 00056 struct derived : base, base_ 00057 { 00058 derived() : base(), base_(0) {} 00059 }; 00060 00061 00062 int main() 00063 { 00064 using namespace mln; 00065 00066 metal::converts_to<int, float>::check(); 00067 00068 metal::converts_to<from_1, dest>::check(); 00069 metal::converts_to<from_2, dest>::check(); 00070 00071 metal::converts_to<derived*, base*>::check(); 00072 metal::converts_to<derived, base>::check(); 00073 metal::converts_to<derived, const base>::check(); 00074 00075 // metal::converts_to<derived, base_>::check_not(); 00076 // metal::converts_to<derived, const base_>::check_not(); 00077 }