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_SCALED_BASE_UNIT_HPP_INCLUDED
Chris@16: #define BOOST_UNITS_SCALED_BASE_UNIT_HPP_INCLUDED
Chris@16: 
Chris@16: #include <string>
Chris@16: 
Chris@16: #include <boost/mpl/bool.hpp>
Chris@16: #include <boost/mpl/less.hpp>
Chris@16: #include <boost/type_traits/is_same.hpp>
Chris@16: #include <boost/type_traits/detail/ice_and.hpp>
Chris@16: #include <boost/type_traits/detail/ice_or.hpp>
Chris@16: 
Chris@16: #include <boost/units/config.hpp>
Chris@16: #include <boost/units/dimension.hpp>
Chris@16: #include <boost/units/static_rational.hpp>
Chris@16: #include <boost/units/units_fwd.hpp>
Chris@16: 
Chris@16: namespace boost {
Chris@16: 
Chris@16: namespace units {
Chris@16: 
Chris@16: template<class T>
Chris@16: struct heterogeneous_system;
Chris@16: 
Chris@16: template<class T, class D, class Scale>
Chris@16: struct heterogeneous_system_impl;
Chris@16: 
Chris@16: template<class T, class E>
Chris@16: struct heterogeneous_system_dim;
Chris@16: 
Chris@16: template<class T>
Chris@16: struct base_unit_info;
Chris@16: 
Chris@16: /// INTERNAL ONLY
Chris@16: struct scaled_base_unit_tag {};
Chris@16: 
Chris@16: template<class S, class Scale>
Chris@16: struct scaled_base_unit
Chris@16: {
Chris@16:     /// INTERNAL ONLY
Chris@16:     typedef void boost_units_is_base_unit_type;
Chris@16:     typedef scaled_base_unit type;
Chris@16:     typedef scaled_base_unit_tag tag;
Chris@16:     typedef S system_type;
Chris@16:     typedef Scale scale_type;
Chris@16:     typedef typename S::dimension_type dimension_type;
Chris@16: 
Chris@16: #ifdef BOOST_UNITS_DOXYGEN
Chris@16: 
Chris@16:     typedef detail::unspecified unit_type;
Chris@16: 
Chris@16: #else
Chris@16: 
Chris@16:     typedef unit<
Chris@16:         dimension_type,
Chris@16:         heterogeneous_system<
Chris@16:             heterogeneous_system_impl<
Chris@16:                 list<
Chris@16:                     heterogeneous_system_dim<scaled_base_unit,static_rational<1> >,
Chris@16:                     dimensionless_type
Chris@16:                 >,
Chris@16:                 dimension_type,
Chris@16:                 dimensionless_type
Chris@16:             >
Chris@16:         >
Chris@16:     > unit_type;
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16:     static std::string symbol()
Chris@16:     {
Chris@16:         return(Scale::symbol() + base_unit_info<S>::symbol());
Chris@16:     }
Chris@16:     static std::string name()
Chris@16:     {
Chris@16:         return(Scale::name() + base_unit_info<S>::name());
Chris@16:     }
Chris@16: };
Chris@16: 
Chris@16: } // namespace units
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::scaled_base_unit, (class)(class))
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: namespace boost {
Chris@16: 
Chris@16: #ifndef BOOST_UNITS_DOXYGEN
Chris@16: 
Chris@16: namespace mpl {
Chris@16: 
Chris@16: /// INTERNAL ONLY
Chris@16: template<class Tag>
Chris@16: struct less_impl<boost::units::scaled_base_unit_tag, Tag>
Chris@16: {
Chris@16:     template<class T0, class T1>
Chris@16:     struct apply : mpl::bool_<
Chris@16:         boost::type_traits::ice_or<(mpl::less<typename T0::system_type, T1>::value),
Chris@16:         (boost::type_traits::ice_and<boost::is_same<typename T0::system_type, T1>::value, (T0::scale_type::exponent::Numerator) < 0>::value)>::value> {};
Chris@16: };
Chris@16: 
Chris@16: /// INTERNAL ONLY
Chris@16: template<class Tag>
Chris@16: struct less_impl<Tag, boost::units::scaled_base_unit_tag>
Chris@16: {
Chris@16:     template<class T0, class T1>
Chris@16:     struct apply : mpl::bool_<
Chris@16:         boost::type_traits::ice_or<(mpl::less<T0, typename T1::system_type>::value),
Chris@16:         boost::type_traits::ice_and<(boost::is_same<T0, typename T1::system_type>::value), ((T1::scale_type::exponent::Numerator) > 0)>::value>::value> {};
Chris@16: };
Chris@16: 
Chris@16: /// INTERNAL ONLY
Chris@16: template<>
Chris@16: struct less_impl<boost::units::scaled_base_unit_tag, boost::units::scaled_base_unit_tag>
Chris@16: {
Chris@16:     template<class T0, class T1>
Chris@16:     struct apply : mpl::bool_<
Chris@16:         boost::type_traits::ice_or<(mpl::less<typename T0::system_type, typename T1::system_type>::value),
Chris@16:         boost::type_traits::ice_and<(boost::is_same<typename T0::system_type, typename T1::system_type>::value),
Chris@16:         boost::type_traits::ice_or<((T0::scale_type::base) < (T1::scale_type::base)),
Chris@16:         boost::type_traits::ice_and<((T0::scale_type::base) == (T1::scale_type::base)),
Chris@16:         (mpl::less<typename T0::scale_type::exponent,typename T1::scale_type::exponent>::value)>::value>::value>::value>::value> {};
Chris@16: };
Chris@16: 
Chris@16: } // namespace mpl
Chris@16: 
Chris@16: #endif
Chris@16: 
Chris@16: } // namespace boost
Chris@16: 
Chris@16: #endif