Milena (Olena)  User documentation 2.0a Id
from_double_to_value.hh
00001 // Copyright (C) 2009, 2010, 2011 EPITA Research and Development
00002 // Laboratory (LRDE)
00003 //
00004 // This file is part of Olena.
00005 //
00006 // Olena is free software: you can redistribute it and/or modify it under
00007 // the terms of the GNU General Public License as published by the Free
00008 // Software Foundation, version 2 of the License.
00009 //
00010 // Olena is distributed in the hope that it will be useful,
00011 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00012 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00013 // General Public License for more details.
00014 //
00015 // You should have received a copy of the GNU General Public License
00016 // along with Olena.  If not, see <http://www.gnu.org/licenses/>.
00017 //
00018 // As a special exception, you may use this file as part of a free
00019 // software project without restriction.  Specifically, if other files
00020 // instantiate templates or use macros or inline functions from this
00021 // file, or you compile this file and link it with other files to produce
00022 // an executable, this file does not by itself cause the resulting
00023 // executable to be covered by the GNU General Public License.  This
00024 // exception does not however invalidate any other reasons why the
00025 // executable file might be covered by the GNU General Public License.
00026 
00027 #ifndef MLN_CONVERT_IMPL_FROM_DOUBLE_TO_VALUE_HH
00028 # define MLN_CONVERT_IMPL_FROM_DOUBLE_TO_VALUE_HH
00029 
00035 
00036 # include <utility>
00037 # include <mln/value/concept/integer.hh>
00038 # include <mln/value/concept/floating.hh>
00039 # include <mln/core/concept/value.hh>
00040 # include <mln/math/round.hh>
00041 
00042 
00043 
00044 
00045 namespace mln
00046 {
00047 
00048   namespace convert
00049   {
00050 
00052       template <typename V>
00053       void
00054       from_to(const double& from, Value<V>& to);
00055 
00056 
00057 # ifndef MLN_INCLUDE_ONLY
00058 
00059       namespace impl
00060       {
00061 
00062         // Case 1:
00063 
00064         template <typename V>
00065         inline
00066         void
00067         from_double_to_value(const double&          from,
00068                             mln::value::Integer<V>& to)
00069         {
00070           exact(to) = math::round<V>()(from);
00071         }
00072 
00073         // Case 2:
00074 
00075         template <typename V>
00076         inline
00077         void
00078         from_double_to_value(const double&            from,
00079                             mln::value::Floating<V>&  to)
00080         {
00081           exact(to) = from;
00082         }
00083 
00084 
00085         // Default: no conversion defined.
00086 
00087         template <typename V>
00088         inline
00089         void
00090         from_double_to_value(const double&            from,
00091                              Value<V>&                to)
00092         {
00093           (void) from;
00094           (void) to;
00095           mlc_abort(V)::check();
00096         }
00097 
00098       } // end of namespace mln::convert::impl
00099 
00100 
00101       namespace internal
00102       {
00103 
00104         template <typename V>
00105         inline
00106         void
00107         from_double_to_value_dispatch(const double& from, Value<V>& to)
00108         {
00109           impl::from_double_to_value(from, exact(to));
00110         }
00111 
00112       } // end of namespace mln::convert::internal
00113 
00114 
00115       namespace over_load
00116       {
00117 
00118         // Facades.
00119 
00120 
00121         // double-> Value
00122         template <typename V>
00123         inline
00124         void
00125         from_to_(const double& from, Value<V>& to)
00126         {
00127           internal::from_double_to_value_dispatch(from, to);
00128         }
00129 
00130         // double-> unsigned
00131         inline
00132         void
00133         from_to_(const double&      from,
00134                  unsigned&          to)
00135         {
00136           mln_precondition(from >= 0);
00137           to = math::round<unsigned>()(from);
00138         }
00139 
00140         // double-> int
00141         inline
00142         void
00143         from_to_(const double&      from,
00144                  int&               to)
00145         {
00146           to = math::round<int>()(from);
00147         }
00148 
00149       } // end of namespace mln::convert::over_load
00150 
00151 # endif // ! MLN_INCLUDE_ONLY
00152 
00153   } // end of namespace mln::convert
00154 
00155 } // end of namespace mln
00156 
00157 
00158 #endif // ! MLN_CONVERT_IMPL_FROM_DOUBLE_TO_VALUE_HH
 All Classes Namespaces Functions Variables Typedefs Enumerator