Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
trait/op/plus.cc
1 // Copyright (C) 2007, 2008, 2009 EPITA Research and Development Laboratory (LRDE)
2 //
3 // This file is part of Olena.
4 //
5 // Olena is free software: you can redistribute it and/or modify it under
6 // the terms of the GNU General Public License as published by the Free
7 // Software Foundation, version 2 of the License.
8 //
9 // Olena is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12 // General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with Olena. If not, see <http://www.gnu.org/licenses/>.
16 //
17 // As a special exception, you may use this file as part of a free
18 // software project without restriction. Specifically, if other files
19 // instantiate templates or use macros or inline functions from this
20 // file, or you compile this file and link it with other files to produce
21 // an executable, this file does not by itself cause the resulting
22 // executable to be covered by the GNU General Public License. This
23 // exception does not however invalidate any other reasons why the
24 // executable file might be covered by the GNU General Public License.
25 
26 #include <mln/core/concept/image.hh>
27 #include <mln/value/concept/all.hh>
28 #include <mln/trait/op/plus.hh>
29 #include <mln/value/builtin/all.hh>
30 
31 
32 namespace mln
33 {
34 
35 
36  template <typename T>
37  struct my_image2d : Image< my_image2d<T> >
38  {
39  void m() {}
40  };
41 
42 
43  namespace trait
44  {
45 
46  // int + float -> float
47 
48  template <>
49  struct set_precise_binary_< op::plus, int, float >
50  {
51  typedef float ret;
52  };
53 
54 
55  // Image I + Image J -> bool (demo type!)
56 
57  template <typename I, typename J>
58  struct set_binary_< op::plus, Image, I, Image, J >
59  {
60  typedef bool ret;
61  };
62 
63  // precise definition: my_image2d<T> + my_image2d<U> -> my_image2d<V>
64  // ('&' is to avoid compiling an empty class)
65 
66  template <typename T, typename U>
67  struct set_precise_binary_< op::plus, my_image2d<T>, my_image2d<U> >
68  {
69  typedef mln_trait_op_plus(T, U) V;
70  typedef my_image2d<V>& ret;
71  };
72 
73  }
74 
75 }
76 
77 int main()
78 {
79  using namespace mln;
80  {
81  mln_trait_op_plus_(int, float) tmp;
82  tmp = 5.1f;
83  }
84  {
85  my_image2d<float>* ptr;
86  mln_trait_op_plus_(my_image2d<int>, my_image2d<float>) tmp = *ptr;
87  tmp.m();
88  }
89 }