Milena (Olena)  User documentation 2.0a Id
 All Classes Namespaces Functions Variables Typedefs Enumerator Groups Pages
from_int_to_value.hh
1 // Copyright (C) 2008, 2009, 2010 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_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
28 # define MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
29 
35 
36 # include <utility>
37 # include <mln/value/concept/integer.hh>
38 # include <mln/core/concept/value.hh>
39 # include <mln/math/round.hh>
40 
41 
42 
43 
44 namespace mln
45 {
46 
47  namespace convert
48  {
49 
51  template <typename V>
52  void
53  from_to(const int& from, Value<V>& to);
54 
55 
56 # ifndef MLN_INCLUDE_ONLY
57 
58  namespace impl
59  {
60 
61  // Case 1:
62 
63  template <typename V>
64  inline
65  void
66  from_int_to_value(const int& from,
68  {
69  exact(to) = from;
70  }
71 
72  // Default: no conversion defined.
73 
74  template <typename V>
75  inline
76  void
77  from_int_to_value(const int& from,
78  Value<V>& to)
79  {
80  (void) from;
81  (void) to;
82  mlc_abort(V)::check();
83  }
84 
85  } // end of namespace mln::convert::impl
86 
87 
88  namespace internal
89  {
90 
91  template <typename V>
92  inline
93  void
94  from_int_to_value_dispatch(const int& from, Value<V>& to)
95  {
96  impl::from_int_to_value(from, exact(to));
97  }
98 
99  } // end of namespace mln::convert::internal
100 
101 
102  namespace over_load
103  {
104 
105  // Facades.
106  // int-> Value
107  template <typename V>
108  void
109  from_to_(const int& from, Value<V>& to)
110  {
111  internal::from_int_to_value_dispatch(from, to);
112  }
113 
114  } // end of namespace mln::convert::over_load
115 
116 # endif // ! MLN_INCLUDE_ONLY
117 
118  } // end of namespace mln::convert
119 
120 } // end of namespace mln
121 
122 
123 #endif // ! MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH