$extrastylesheet
Olena  User documentation 2.1
An Image Processing Platform
 All Classes Namespaces Functions Variables Typedefs Enumerations Enumerator Friends Groups Pages
c.hh
1 // Copyright (C) 2007, 2008, 2009, 2012 EPITA Research and Development
2 // 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_FUN_C_HH
28 # define MLN_FUN_C_HH
29 
37 
38 # include <mln/fun/internal/selector.hh>
39 # include <mln/metal/unqualif.hh>
40 
41 
42 namespace mln
43 {
44 
49  template <typename E>
50  struct C_Function;
51 
52 
57  template <typename R, typename A>
58  struct category< R (*)(A) >
59  {
60  typedef C_Function<void> ret;
61  };
62 
63 
64 
65  // Forward declaration.
66  namespace fun { template <typename F> struct C; }
67 
68 
69 
70  namespace trait
71  {
72 
73  template <template <class> class Op,
74  typename R, typename A>
75  struct set_unary_< Op, C_Function, R (*)(A) >
76  {
77  typedef Op< fun::C<R (*)(A)> > Op_;
78  typedef typename Op_::ret ret;
79  };
80 
81  template <template <class, class> class Op,
82  typename O,
83  typename R, typename A>
84  struct set_binary_< Op,
85  Object, O,
86  C_Function, R (*)(A) >
87  {
88  typedef Op< O, fun::C<R (*)(A)> > Op_;
89  typedef typename Op_::ret ret;
90  };
91 
92  } // end of namespace trait
93 
94 
95 
96  namespace fun
97  {
98 
99  template <typename F> struct C;
100 
101 
102  // FIXME: Doc!
103  template <typename R, typename A>
104  struct C< R (*)(A) >
105  :
107  {
108  C();
109  C(R (*f)(A));
110  typedef R result;
111  R operator()(const mlc_unqualif(A)& a) const;
112  protected:
113  R (*f_)(A);
114  };
115 
116 
117 # ifndef MLN_INCLUDE_ONLY
118 
119  template <typename R, typename A>
120  inline
121  C<R(*)(A)>::C()
122  {
123  }
124 
125  template <typename R, typename A>
126  inline
127  C<R(*)(A)>::C(R (*f)(A))
128  : f_(f)
129  {
130  }
131 
132  template <typename R, typename A>
133  inline
134  R
135  C<R(*)(A)>::operator()(const mlc_unqualif(A)& a) const
136  {
137  return f_(a);
138  }
139 
140 # endif // ! MLN_INCLUDE_ONLY
141 
142  } // end of namespace mln::fun
143 
144 } // end of namespace mln
145 
146 
147 #endif // ! MLN_FUN_C_HH