$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
meta_accumulator.hh
1 // Copyright (C) 2007, 2008, 2009, 2012, 2013 EPITA Research and
2 // Development Laboratory (LRDE)
3 //
4 // This file is part of Olena.
5 //
6 // Olena is free software: you can redistribute it and/or modify it under
7 // the terms of the GNU General Public License as published by the Free
8 // Software Foundation, version 2 of the License.
9 //
10 // Olena is distributed in the hope that it will be useful,
11 // but WITHOUT ANY WARRANTY; without even the implied warranty of
12 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 // General Public License for more details.
14 //
15 // You should have received a copy of the GNU General Public License
16 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
17 //
18 // As a special exception, you may use this file as part of a free
19 // software project without restriction. Specifically, if other files
20 // instantiate templates or use macros or inline functions from this
21 // file, or you compile this file and link it with other files to produce
22 // an executable, this file does not by itself cause the resulting
23 // executable to be covered by the GNU General Public License. This
24 // exception does not however invalidate any other reasons why the
25 // executable file might be covered by the GNU General Public License.
26 
27 #ifndef MLN_CORE_CONCEPT_META_ACCUMULATOR_HH
28 # define MLN_CORE_CONCEPT_META_ACCUMULATOR_HH
29 
33 
34 # include <mln/core/concept/object.hh>
35 # include <mln/core/concept/accumulator.hh>
36 
37 
38 # define mln_accu_with(A, T) \
39 typename mln::internal::accu_with_helper<A,T>::ret
40 
41 # define mln_accu_with_(A, T) \
42 mln::internal::accu_with_helper<A,T>::ret
43 
44 
45 # define mln_meta_accu_result(A, T) \
46 typename mln::internal::meta_accu_ret_result_helper<A,T>::result
47 
48 
49 # define mln_meta_accu_result_(A, T) \
50 mln::internal::meta_accu_ret_result_helper<A,T>::result
51 
52 
53 
54 
55 namespace mln
56 {
57 
58  // Forward declaration.
59  template <typename E> struct Meta_Accumulator;
60 
61 
63  namespace internal
64  {
65 
70  template <typename A, typename T>
71  struct meta_accu_ret_result_helper
72  {
73  typedef typename A::template with< T >::ret::result result;
74  };
75 
76 
81  template <typename A, typename T>
82  struct accu_with_helper
83  {
84  typedef typename A::template with< T >::ret ret;
85  };
86 
87  } // end of namespace mln::internal
89 
90 
93  template <>
94  struct Meta_Accumulator<void>
95  {
97  };
99 
110  template <typename E>
111  struct Meta_Accumulator : public Object<E>
112  {
114  protected:
116  };
117 
118 
119  namespace accu
120  {
121 
122  // To be specialized when some state (attributes) have to be transfered
123  // from the meta-accumulator to the accumulator.
124  // Warning: the first argument has to be an object with the exact type.
125  template <typename M, typename T>
126  mln_accu_with(M, T)
127  unmeta(const M&, T);
128 
129  template <typename M, typename T>
130  void
131  unmeta(const Meta_Accumulator<M>&, T); // Safety.
132 
133  } // end of namespace mln::accu
134 
135 
136 
137 # ifndef MLN_INCLUDE_ONLY
138 
139  template <typename E>
140  inline
142  {
143  // FIXME: Check "with" on E.
144  }
145 
146  namespace accu
147  {
148 
149  template <typename M, typename T>
150  inline
151  mln_accu_with(M, T)
152  unmeta(const M&, T)
153  {
154  mlc_is_a(M, Meta_Accumulator)::check();
155  mln_accu_with(M, T) a;
156  return a;
157  }
158 
159  } // end of namespace mln::accu
160 
161 # endif // ! MLN_INCLUDE_ONLY
162 
163 } // end of namespace mln
164 
165 
166 #endif // ! MLN_CORE_CONCEPT_META_ACCUMULATOR_HH