macros.hh

00001 // Copyright (C) 2001, 2002, 2003, 2004  EPITA Research and Development Laboratory
00002 //
00003 // This file is part of the Olena Library.  This library is free
00004 // software; you can redistribute it and/or modify it under the terms
00005 // of the GNU General Public License version 2 as published by the
00006 // Free Software Foundation.
00007 //
00008 // This library is distributed in the hope that it will be useful,
00009 // but WITHOUT ANY WARRANTY; without even the implied warranty of
00010 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00011 // General Public License for more details.
00012 //
00013 // You should have received a copy of the GNU General Public License
00014 // along with this library; see the file COPYING.  If not, write to
00015 // the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
00016 // Boston, MA 02110-1301, USA.
00017 //
00018 // As a special exception, you may use this file as part of a free
00019 // software library 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
00022 // produce an executable, this file does not by itself cause the
00023 // resulting executable to be covered by the GNU General Public
00024 // License.  This exception does not however invalidate any other
00025 // reasons why the executable file might be covered by the GNU General
00026 // Public License.
00027 
00028 #ifndef NTG_CORE_MACROS_HH
00029 # define NTG_CORE_MACROS_HH
00030 
00031 /*------.
00032 | casts |
00033 `------*/
00034 
00035 # define ntg_type(T) typename ntg::type_traits< T >::ntg_type
00036 # define ntg_type_(T) typename ntg::type_traits< T >::ntg_type
00037 
00038 # define ntg_cast(Val) ntg::to_ntg(Val)
00039 # define ntg_signed_cast(Val) ntg::to_signed_ntg(Val)
00040 
00041 /*--------------.
00042 | type checking |
00043 `--------------*/
00044 
00045 # define ntg_is_a(T, U) mlc_is_a(typename ntg::type_traits< T >::abstract_type, U)
00046 # define ntg_is_a_(T, U) mlc_is_a_(ntg::type_traits< T >::abstract_type, U)
00047 
00048 /*----------------.
00049 | types accessors |
00050 `----------------*/
00051 
00052 # define ntg_abstract_type(T) typename ntg::type_traits< T >::abstract_type
00053 # define ntg_abstract_type_(T) ntg::type_traits< T >::abstract_type
00054 
00055 # define ntg_storage_type(T) typename ntg::type_traits< T >::storage_type
00056 # define ntg_storage_type_(T) ntg::type_traits< T >::storage_type
00057 
00058 # define ntg_base_type(T) typename ntg::type_traits< T >::base_type
00059 # define ntg_base_type_(T) ntg::type_traits< T >::base_type
00060 
00061 # define ntg_signed_type(T) typename ntg::type_traits< T >::signed_type
00062 # define ntg_signed_type_(T) ntg::type_traits< T >::signed_type
00063 
00064 # define ntg_unsigned_type(T) typename ntg::type_traits< T >::unsigned_type
00065 # define ntg_unsigned_type_(T) ntg::type_traits< T >::unsigned_type
00066 
00067 # define ntg_integer_type(T) typename ntg::type_traits< T >::integer_type
00068 # define ntg_integer_type_(T) ntg::type_traits< T >::integer_type
00069 
00070 # define ntg_cumul_type(T) typename ntg::type_traits< T >::cumul_type
00071 # define ntg_cumul_type_(T) ntg::type_traits< T >::cumul_type
00072 
00073 # define ntg_signed_cumul_type(T) \
00074   typename ntg::type_traits< T >::signed_cumul_type
00075 # define ntg_signed_cumul_type_(T) ntg::type_traits< T >::signed_cumul_type
00076 
00077 # define ntg_unsigned_cumul_type(T) \
00078   typename ntg::type_traits< T >::unsigned_cumul_type
00079 # define ntg_unsigned_cumul_type_(T) ntg::type_traits< T >::unsigned_cumul_type
00080 
00081 # define ntg_largest_type(T) typename ntg::type_traits< T >::largest_type
00082 # define ntg_largest_type_(T) ntg::type_traits< T >::largest_type
00083 
00084 # define ntg_signed_largest_type(T) \
00085   typename ntg::type_traits< T >::signed_largest_type
00086 # define ntg_signed_largest_type_(T) ntg::type_traits< T >::signed_largest_type
00087 
00088 # define ntg_unsigned_largest_type(T) \
00089   typename ntg::type_traits< T >::unsigned_largest_type
00090 # define ntg_unsigned_largest_type_(T) \
00091   ntg::type_traits< T >::unsigned_largest_type
00092 
00093 # define ntg_comp_type(T) \
00094   typename ntg::type_traits< T >::comp_type
00095 # define ntg_comp_type_(T) \
00096   ntg::type_traits< T >::comp_type
00097 
00098 # define ntg_unsafe_type(T) typename ntg::type_traits< T >::unsafe_type
00099 # define ntg_unsafe_type_(T) ntg::type_traits< T >::unsafe_type
00100 
00101 /*-----------------.
00102 | values accessors |
00103 `-----------------*/
00104 
00105 # define ntg_zero_val(T) ntg::type_traits< T >::zero()
00106 
00107 # define ntg_unit_val(T) ntg::type_traits< T >::unit()
00108 
00109 # define ntg_max_val(T) ntg::type_traits< T >::max()
00110 
00111 # define ntg_min_val(T) ntg::type_traits< T >::min()
00112 
00113 # define ntg_sup_val(T) ntg::type_traits< T >::sup()
00114 
00115 # define ntg_inf_val(T) ntg::type_traits< T >::inf()
00116 
00117 # define ntg_inf_val(T) ntg::type_traits< T >::inf()
00118 
00119 # define ntg_sup_val(T) ntg::type_traits< T >::sup()
00120 
00121 # define ntg_max_print_width(T) ntg::type_traits< T >::max_print_width()
00122 
00123 # define ntg_nb_comp(T) ntg::type_traits< T >::nb_comp
00124 
00125 /*--------------------------.
00126 | operator traits accessors |
00127 `--------------------------*/
00128 
00129 # define ntg_return_type(Op, T1, T2) \
00130   typename ntg::internal::deduce_from_traits<ntg::internal::operator_##Op , T1, T2 >::ret
00131 # define ntg_return_type_(Op, T1, T2) \
00132   ntg::internal::deduce_from_traits<ntg::internal::operator_##Op, T1, T2 >::ret
00133 
00134 # define ntg_deduced_traits_type(Op, T1, T2) \
00135   typename ntg::internal::deduce_from_traits<ntg::internal::operator_##Op, T1, T2 >
00136 # define ntg_deduced_traits_type_(Op, T1, T2) \
00137   ntg::internal::deduce_from_traits<ntg::internal::operator_##Op, T1, T2 >
00138 
00139 # define ntg_impl_type(Op, T1, T2) \
00140   typename ntg::internal::deduce_from_traits<ntg::internal::operator_##Op, T1, T2 >::impl
00141 # define ntg_impl_type_(Op, T1, T2) \
00142   ntg::internal::deduce_from_traits<ntg::internal::operator_##Op, T1, T2 >::impl
00143 
00144 /*----------.
00145 | utilities |
00146 `----------*/
00147 
00148 # define ntg_name(T) ntg::type_traits< T >::name()
00149 
00150 // FIXME: reimplement when variadic macros will be allowed.
00151 # define ntg_build_value_type(Type)             \
00152   template <class E>                            \
00153   struct build_value_type                       \
00154     {                                           \
00155       typedef Type ret;                         \
00156     }
00157 
00158 // FIXME: reimplement when variadic macros will be allowed.
00159 # define ntg_get_value_type(T, E) ntg::type_traits< T >::build_value_type<E >
00160 
00161 
00162 /* ----.
00163 | Misc |
00164 `-----*/
00165 #define ntg_nbits(T)            ntg::internal::typetraits< T >::size
00166 
00167 
00172 #define ntg_if_vectorial_nb_comp(T)                                     \
00173    ntg::type_traits<typename mlc::if_<ntg_is_a(T, ntg::vectorial)::ret, \
00174                                       T,                                \
00175                                       ntg::vec<42, bool> >::ret>::nb_comp
00176 
00181 #define ntg_if_vectorial_nb_comp_(T)                                    \
00182    ntg::type_traits<mlc::if_<ntg_is_a_(T, ntg::vectorial)::ret,         \
00183                                       T,                                \
00184                                       ntg::vec<42, bool> >::ret>::nb_comp
00185 
00194 #define ntg_compare_nb_comp(A, B)                                       \
00195         mlc::if_<                                                       \
00196           ntg_is_a(A, ntg::non_vectorial)::ret,                         \
00197           ntg_is_a(B, ntg::non_vectorial),                              \
00198           mlc::eq<ntg_if_vectorial_nb_comp(A),                          \
00199           ntg_if_vectorial_nb_comp(B) > >::ret
00200 
00205 #define ntg_compare_nb_comp_(A, B)                                      \
00206         mlc::if_<                                                       \
00207           ntg_is_a_(A, ntg::non_vectorial)::ret,                        \
00208           ntg_is_a_(B, ntg::non_vectorial),                             \
00209           mlc::eq<ntg_if_vectorial_nb_comp_(A),                         \
00210           ntg_if_vectorial_nb_comp_(B) > >::ret
00211 
00212 #endif // !NTG_CORE_MACROS_HH

Generated on Tue Feb 20 20:20:07 2007 for Olena by  doxygen 1.5.1