Chris@16: // Boost.Units - A C++ library for zero-overhead dimensional analysis and 
Chris@16: // unit/quantity manipulation and conversion
Chris@16: //
Chris@16: // Copyright (C) 2003-2008 Matthias Christian Schabel
Chris@16: // Copyright (C) 2008 Steven Watanabe
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. (See
Chris@16: // accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: #ifndef BOOST_UNITS_DIMENSION_LIST_HPP
Chris@16: #define BOOST_UNITS_DIMENSION_LIST_HPP
Chris@16: 
Chris@16: #include <boost/mpl/next.hpp>
Chris@16: #include <boost/mpl/deref.hpp>
Chris@16: #include <boost/mpl/push_front_fwd.hpp>
Chris@16: #include <boost/mpl/pop_front_fwd.hpp>
Chris@16: #include <boost/mpl/size_fwd.hpp>
Chris@16: #include <boost/mpl/begin_end_fwd.hpp>
Chris@16: #include <boost/mpl/front_fwd.hpp>
Chris@16: 
Chris@16: #include <boost/units/config.hpp>
Chris@16: 
Chris@16: namespace boost {
Chris@16: 
Chris@16: namespace units {
Chris@16: 
Chris@16: struct dimensionless_type;
Chris@16: 
Chris@16: namespace detail {
Chris@16: 
Chris@16: struct dimension_list_tag { };
Chris@16: 
Chris@16: } // namespace detail
Chris@16: 
Chris@16: template<class Item, class Next>
Chris@16: struct list
Chris@16: {
Chris@16:     typedef detail::dimension_list_tag  tag;
Chris@16:     typedef list              type;
Chris@16:     typedef Item                        item;
Chris@16:     typedef Next                        next;
Chris@16:     typedef typename mpl::next<typename Next::size>::type size;
Chris@16: };
Chris@16: 
Chris@16: } // namespace units
Chris@16: 
Chris@16: namespace mpl {
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct size_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L> struct apply : public L::size { };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct begin_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L>
Chris@16:     struct apply 
Chris@16:     {
Chris@16:         typedef L type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct end_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L>
Chris@16:     struct apply 
Chris@16:     {
Chris@16:         typedef units::dimensionless_type type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct push_front_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L, class T>
Chris@16:     struct apply 
Chris@16:     {
Chris@16:         typedef units::list<T, L> type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct pop_front_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L>
Chris@16:     struct apply 
Chris@16:     {
Chris@16:         typedef typename L::next type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<>
Chris@16: struct front_impl<units::detail::dimension_list_tag>
Chris@16: {
Chris@16:     template<class L>
Chris@16:     struct apply 
Chris@16:     {
Chris@16:         typedef typename L::item type;
Chris@16:     };
Chris@16: };
Chris@16: 
Chris@16: // INTERNAL ONLY
Chris@16: template<class Item, class Next>
Chris@16: struct deref<units::list<Item, Next> >
Chris@16: {
Chris@16:     typedef Item type;
Chris@16: };
Chris@16: 
Chris@16: } // namespace mpl
Chris@16: 
Chris@16: } // namespace boost
Chris@16: 
Chris@16: #if BOOST_UNITS_HAS_BOOST_TYPEOF
Chris@16: 
Chris@16: #include BOOST_TYPEOF_INCREMENT_REGISTRATION_GROUP()
Chris@16: 
Chris@16: BOOST_TYPEOF_REGISTER_TEMPLATE(boost::units::list, 2)
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/units/dimensionless_type.hpp>
Chris@16: 
Chris@16: #endif // BOOST_UNITS_DIMENSION_LIST_HPP