101 lines
4.7 KiB
C++
101 lines
4.7 KiB
C++
// 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;
|
|
}
|