123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100 |
- // Boost.Units - A C++ library for zero-overhead dimensional analysis and
- // unit/quantity manipulation and conversion
- //
- // Copyright (C) 2003-2008 Matthias Christian Schabel
- // Copyright (C) 2008 Steven Watanabe
- //
- // Distributed under the Boost Software License, Version 1.0. (See
- // accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- /**
- \file
-
- \brief test_predicates.cpp
- \details
- Test metafunctions is_unit, is_quantity, is_dimension_list ....
- Output:
- @verbatim
- @endverbatim
- **/
- #include <boost/mpl/assert.hpp>
- #include <boost/mpl/list/list0.hpp>
- #include <boost/units/base_dimension.hpp>
- #include <boost/units/base_unit.hpp>
- #include <boost/units/dimension.hpp>
- #include <boost/units/is_dimension_list.hpp>
- #include <boost/units/is_quantity.hpp>
- #include <boost/units/is_quantity_of_dimension.hpp>
- #include <boost/units/is_quantity_of_system.hpp>
- #include <boost/units/is_unit.hpp>
- #include <boost/units/is_unit_of_dimension.hpp>
- #include <boost/units/is_unit_of_system.hpp>
- #include <boost/units/make_system.hpp>
- #include <boost/units/quantity.hpp>
- #include <boost/units/unit.hpp>
- namespace bu = boost::units;
- struct dimension_tag : boost::units::base_dimension<dimension_tag,0> { };
- typedef dimension_tag::dimension_type dimension;
- struct base_unit1 : bu::base_unit<base_unit1, dimension, 100> {};
- struct base_unit2 : bu::base_unit<base_unit2, dimension, 101> {};
- typedef bu::make_system<base_unit1>::type system1;
- typedef bu::make_system<base_unit2>::type system2;
- int main(int,char *[])
- {
- BOOST_MPL_ASSERT((bu::is_dimension_list<bu::dimensionless_type>));
- BOOST_MPL_ASSERT((bu::is_dimension_list<dimension>));
- BOOST_MPL_ASSERT_NOT((bu::is_dimension_list<boost::mpl::list0<> >));
- BOOST_MPL_ASSERT_NOT((bu::is_dimension_list<int>));
- BOOST_MPL_ASSERT((bu::is_unit<bu::unit<bu::dimensionless_type, system1> >));
- BOOST_MPL_ASSERT((bu::is_unit<bu::unit<dimension, system1> >));
- BOOST_MPL_ASSERT_NOT((bu::is_unit<int>));
- BOOST_MPL_ASSERT((bu::is_unit_of_system<bu::unit<bu::dimensionless_type, system1>, system1>));
- BOOST_MPL_ASSERT((bu::is_unit_of_system<bu::unit<dimension, system1>, system1>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_system<bu::unit<bu::dimensionless_type, system1>, system2>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_system<bu::unit<dimension, system1>, system2>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_system<int, system1>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_system<int, system2>));
- BOOST_MPL_ASSERT((bu::is_unit_of_dimension<bu::unit<bu::dimensionless_type, system1>, bu::dimensionless_type>));
- BOOST_MPL_ASSERT((bu::is_unit_of_dimension<bu::unit<dimension, system1>, dimension>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_dimension<bu::unit<bu::dimensionless_type, system1>, dimension>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_dimension<bu::unit<dimension, system1>, bu::dimensionless_type>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_dimension<int, bu::dimensionless_type>));
- BOOST_MPL_ASSERT_NOT((bu::is_unit_of_dimension<int, dimension>));
- BOOST_MPL_ASSERT((bu::is_quantity<bu::quantity<bu::unit<bu::dimensionless_type, system1> > >));
- BOOST_MPL_ASSERT((bu::is_quantity<bu::quantity<bu::unit<dimension, system1> > >));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity<int>));
- BOOST_MPL_ASSERT((bu::is_quantity<bu::quantity<bu::unit<bu::dimensionless_type, system1>, int> >));
- BOOST_MPL_ASSERT((bu::is_quantity<bu::quantity<bu::unit<dimension, system1>, int> >));
- BOOST_MPL_ASSERT((bu::is_quantity_of_system<bu::quantity<bu::unit<bu::dimensionless_type, system1> >, system1>));
- BOOST_MPL_ASSERT((bu::is_quantity_of_system<bu::quantity<bu::unit<dimension, system1> >, system1>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_system<bu::quantity<bu::unit<bu::dimensionless_type, system1> >, system2>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_system<bu::quantity<bu::unit<dimension, system1> >, system2>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_system<int, system1>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_system<int, system2>));
- BOOST_MPL_ASSERT((bu::is_quantity_of_dimension<bu::quantity<bu::unit<bu::dimensionless_type, system1> >, bu::dimensionless_type>));
- BOOST_MPL_ASSERT((bu::is_quantity_of_dimension<bu::quantity<bu::unit<dimension, system1> >, dimension>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_dimension<bu::quantity<bu::unit<bu::dimensionless_type, system1> >, dimension>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_dimension<bu::quantity<bu::unit<dimension, system1> >, bu::dimensionless_type>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_dimension<int, bu::dimensionless_type>));
- BOOST_MPL_ASSERT_NOT((bu::is_quantity_of_dimension<int, dimension>));
- return 0;
- }
|