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 #ifndef MLN_FUN_INTERNAL_SELECTOR_HH 00027 # define MLN_FUN_INTERNAL_SELECTOR_HH 00028 00033 00034 # include <mln/core/concept/function.hh> 00035 # include <mln/metal/unqualif.hh> 00036 00037 00038 namespace mln 00039 { 00040 00041 namespace fun 00042 { 00043 00044 namespace internal 00045 { 00046 00047 00048 template <typename R, typename A, typename E> 00049 struct helper_selector_ 00050 { 00051 typedef Function_v2v<E> ret; 00052 }; 00053 00054 template <typename A, typename E> 00055 struct helper_selector_< bool, A, E > 00056 { 00057 typedef Function_v2b<E> ret; 00058 }; 00059 00060 00061 template <typename R_, typename A_, typename E> 00062 struct selector_ 00063 { 00064 typedef mlc_unqualif(R_) R; 00065 typedef mlc_unqualif(A_) A; 00066 typedef typename helper_selector_<R, A, E>::ret ret; 00067 private: 00068 selector_(); 00069 }; 00070 00071 template <typename R_, typename E> 00072 struct selector_from_result_ : selector_< R_, void, E > 00073 { 00074 private: 00075 selector_from_result_(); 00076 }; 00077 00078 } // end of namespace mln::fun::internal 00079 00080 } // end of namespace mln::fun 00081 00082 } // end of namespace mln 00083 00084 00085 #endif // ! MLN_FUN_INTERNAL_SELECTOR_HH