Milena (Olena)
User documentation 2.0a Id
|
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_ACCU_NIL_HH 00027 # define MLN_ACCU_NIL_HH 00028 00034 00035 # include <mln/core/concept/meta_accumulator.hh> 00036 # include <mln/accu/internal/base.hh> 00037 # include <mln/util/eat.hh> 00038 # include <mln/util/ignore.hh> 00039 00040 00041 namespace mln 00042 { 00043 00044 namespace accu 00045 { 00046 00048 template <typename T> 00049 struct nil : public mln::accu::internal::base< util::ignore , nil<T> > 00050 { 00051 typedef util::eat argument; 00052 00053 nil(); 00054 00057 void init(); 00058 void take_as_init_(const argument&); 00059 void take(const argument&); 00060 void take(const nil<T>&); 00062 00064 util::ignore to_result() const; 00065 00068 bool is_valid() const; 00069 }; 00070 00071 00072 namespace meta 00073 { 00074 00076 00077 struct nil : public Meta_Accumulator< nil > 00078 { 00079 template <typename V> 00080 struct with 00081 { 00082 typedef accu::nil<V> ret; 00083 }; 00084 }; 00085 00086 } // end of namespace mln::accu::meta 00087 00088 00089 # ifndef MLN_INCLUDE_ONLY 00090 00091 template <typename T> 00092 inline 00093 nil<T>::nil() 00094 { 00095 } 00096 00097 template <typename T> 00098 inline 00099 void 00100 nil<T>::init() 00101 { 00102 } 00103 00104 template <typename T> 00105 inline 00106 void 00107 nil<T>::take(const argument&) 00108 { 00109 } 00110 00111 template <typename T> 00112 inline 00113 void 00114 nil<T>::take_as_init_(const argument&) 00115 { 00116 } 00117 00118 template <typename T> 00119 inline 00120 void 00121 nil<T>::take(const nil<T>&) 00122 { 00123 } 00124 00125 template <typename T> 00126 inline 00127 util::ignore 00128 nil<T>::to_result() const 00129 { 00130 return util::ignore(); 00131 } 00132 00133 template <typename T> 00134 inline 00135 bool 00136 nil<T>::is_valid() const 00137 { 00138 return true; 00139 } 00140 00141 00142 # endif // ! MLN_INCLUDE_ONLY 00143 00144 } // end of namespace mln::accu 00145 00146 } // end of namespace mln 00147 00148 00149 #endif // ! MLN_ACCU_NIL_HH