Milena (Olena)  User documentation 2.0a Id
from_int_to_value.hh
00001 // Copyright (C) 2008, 2009, 2010 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_INT_TO_VALUE_HH
00028 # define MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
00029 
00035 
00036 # include <utility>
00037 # include <mln/value/concept/integer.hh>
00038 # include <mln/core/concept/value.hh>
00039 # include <mln/math/round.hh>
00040 
00041 
00042 
00043 
00044 namespace mln
00045 {
00046 
00047   namespace convert
00048   {
00049 
00051       template <typename V>
00052       void
00053       from_to(const int& from, Value<V>& to);
00054 
00055 
00056 # ifndef MLN_INCLUDE_ONLY
00057 
00058       namespace impl
00059       {
00060 
00061         // Case 1:
00062 
00063         template <typename V>
00064         inline
00065         void
00066         from_int_to_value(const int&              from,
00067                           mln::value::Integer<V>& to)
00068         {
00069           exact(to) = from;
00070         }
00071 
00072         // Default: no conversion defined.
00073 
00074         template <typename V>
00075         inline
00076         void
00077         from_int_to_value(const int&                from,
00078                           Value<V>&                 to)
00079         {
00080           (void) from;
00081           (void) to;
00082           mlc_abort(V)::check();
00083         }
00084 
00085       } // end of namespace mln::convert::impl
00086 
00087 
00088       namespace internal
00089       {
00090 
00091         template <typename V>
00092         inline
00093         void
00094         from_int_to_value_dispatch(const int& from, Value<V>& to)
00095         {
00096           impl::from_int_to_value(from, exact(to));
00097         }
00098 
00099       } // end of namespace mln::convert::internal
00100 
00101 
00102       namespace over_load
00103       {
00104 
00105         // Facades.
00106         // int-> Value
00107         template <typename V>
00108         void
00109         from_to_(const int& from, Value<V>& to)
00110         {
00111           internal::from_int_to_value_dispatch(from, to);
00112         }
00113 
00114       } // end of namespace mln::convert::over_load
00115 
00116 # endif // ! MLN_INCLUDE_ONLY
00117 
00118   } // end of namespace mln::convert
00119 
00120 } // end of namespace mln
00121 
00122 
00123 #endif // ! MLN_CONVERT_IMPL_FROM_INT_TO_VALUE_HH
 All Classes Namespaces Functions Variables Typedefs Enumerator