ceph/src/boost/libs/icl/test/test_icl_discrete_interval.hpp

   1 /*-----------------------------------------------------------------------------+
   2 Copyright (c) 2008-2010: Joachim Faulhaber
   3 +------------------------------------------------------------------------------+
   4    Distributed under the Boost Software License, Version 1.0.
   5       (See accompanying file LICENCE.txt or copy at
   6            http://www.boost.org/LICENSE_1_0.txt)
   7 +-----------------------------------------------------------------------------*/
   8 #ifndef BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930
   9 #define BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930
  10
  11
  12 template <class T, class IntervalT>
  13 void discrete_interval_traits()
  14 {
  15     BOOST_CHECK( is_interval<IntervalT>::value                        );
  16     BOOST_CHECK( is_discrete_interval<IntervalT>::value               );
  17     BOOST_CHECK( is_discrete<typename IntervalT::domain_type>::value  );
  18     BOOST_CHECK(!is_continuous<typename IntervalT::domain_type>::value);
  19     BOOST_CHECK( has_dynamic_bounds<IntervalT>::value                 );
  20     BOOST_CHECK(!has_static_bounds<IntervalT>::value                  );
  21 }
  22
  23 template <class T, class IntervalT>
  24 void discrete_interval_ctor__dis_4_dyn_v_sta() // discrete && (dynamic or static)
  25 {
  26     BOOST_CHECK_EQUAL( IntervalT(MK_v(3)), IntervalT(MK_v(3)) );
  27     BOOST_CHECK_EQUAL( icl::contains(IntervalT(MK_v(1)), MK_v(1)), true );
  28 }
  29
  30 template <class T, ICL_COMPARE Compare>
  31 void distant_intervals_4_discrete_types()
  32 {
  33     typedef right_open_interval<T,Compare> L__D; // L__D for [..)
  34     typedef  left_open_interval<T,Compare> C__I; // C__I for (..]
  35     typedef    closed_interval<T,Compare> L__I; // L__I for [..]
  36     typedef      open_interval<T,Compare> C__D; // C__D for (..)
  37     typedef typename icl::interval<T,Compare>::type IntervalT;
  38
  39     BOOST_CHECK( is_interval<L__D>::value );
  40     BOOST_CHECK( has_difference<typename interval_traits<L__D>::domain_type>::value );
  41     BOOST_CHECK( is_discrete<typename interval_traits<L__D>::domain_type>::value    );
  42     BOOST_CHECK( (boost::is_same<typename interval_traits<L__D>::domain_type, T>::value)   );
  43
  44     typedef typename difference_type_of<T>::type DiffT;
  45
  46     test_inner_complement<T,Compare,L__D>(MK_I(L__D,0,4), MK_I(L__D,8,9));
  47     test_inner_complement<T,Compare,L__D>(MK_I(L__D,7,8), MK_I(L__D,2,3));
  48     test_inner_complement<T,Compare,L__D>(MK_I(L__D,2,4), MK_I(L__D,4,6));
  49     test_inner_complement<T,Compare,L__D>(MK_I(L__D,3,7), MK_I(L__D,5,8));
  50     test_inner_complement<T,Compare,L__D>(MK_I(L__D,7,9), MK_I(L__D,0,4));
  51     test_inner_complement<T,Compare,L__D>(MK_I(L__D,0,0), MK_I(L__D,0,0));
  52     test_inner_complement<T,Compare,L__D>(MK_I(L__D,1,0), MK_I(L__D,2,0));
  53
  54     test_inner_complement<T,Compare,C__I>(MK_I(C__I,1,5), MK_I(C__I,4,9));
  55     test_inner_complement<T,Compare,C__I>(MK_I(C__I,4,6), MK_I(C__I,1,3));
  56     test_inner_complement<T,Compare,C__I>(MK_I(C__I,0,2), MK_I(C__I,4,6));
  57     test_inner_complement<T,Compare,C__I>(MK_I(C__I,0,2), MK_I(C__I,0,6));
  58
  59     test_inner_complement<T,Compare,L__I>(MK_I(L__I,7,9), MK_I(L__I,0,5));
  60     test_inner_complement<T,Compare,L__I>(MK_I(L__I,0,9), MK_I(L__I,2,5));
  61
  62     test_inner_complement<T,Compare,C__D>(MK_I(C__D,6,9), MK_I(C__D,1,4));
  63     test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,3), MK_I(C__D,1,4));
  64     test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,3), MK_I(C__D,6,8));
  65     test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,7), MK_I(C__D,1,6));
  66     test_inner_complement<T,Compare,C__D>(MK_I(C__D,1,1), MK_I(C__D,1,1));
  67     test_inner_complement<T,Compare,C__D>(MK_I(C__D,3,0), MK_I(C__D,4,0));
  68     test_inner_complement<T,Compare,C__D>(MK_I(C__D,0,2), MK_I(C__D,4,6));
  69     test_inner_complement<T,Compare,C__D>(MK_I(C__D,0,2), MK_I(C__D,0,6));
  70
  71     //--------------------------------------------------------------------------
  72     test_inner_complement<T,Compare,IntervalT>(I_D(0,4), I_D(8,9));
  73     test_inner_complement<T,Compare,IntervalT>(I_D(7,8), I_D(2,3));
  74     test_inner_complement<T,Compare,IntervalT>(I_D(2,4), I_D(4,6));
  75     test_inner_complement<T,Compare,IntervalT>(I_D(3,7), I_D(5,8));
  76     test_inner_complement<T,Compare,IntervalT>(I_D(7,9), I_D(0,4));
  77     test_inner_complement<T,Compare,IntervalT>(I_D(0,0), I_D(0,0));
  78     test_inner_complement<T,Compare,IntervalT>(I_D(1,0), I_D(2,0));
  79
  80     test_inner_complement<T,Compare,IntervalT>(C_I(1,5), C_I(4,9));
  81     test_inner_complement<T,Compare,IntervalT>(C_I(4,6), C_I(1,3));
  82     test_inner_complement<T,Compare,IntervalT>(C_I(0,2), C_I(4,6));
  83     test_inner_complement<T,Compare,IntervalT>(C_I(0,2), C_I(0,6));
  84
  85     test_inner_complement<T,Compare,IntervalT>(I_I(7,9), I_I(0,5));
  86     test_inner_complement<T,Compare,IntervalT>(I_I(0,9), I_I(2,5));
  87
  88     test_inner_complement<T,Compare,IntervalT>(C_D(6,9), C_D(1,4));
  89     test_inner_complement<T,Compare,IntervalT>(C_D(1,3), C_D(1,4));
  90     test_inner_complement<T,Compare,IntervalT>(C_D(1,3), C_D(6,8));
  91     test_inner_complement<T,Compare,IntervalT>(C_D(1,7), C_D(1,6));
  92     test_inner_complement<T,Compare,IntervalT>(C_D(1,1), C_D(1,1));
  93     test_inner_complement<T,Compare,IntervalT>(C_D(3,0), C_D(4,0));
  94     test_inner_complement<T,Compare,IntervalT>(C_D(0,2), C_D(4,6));
  95     test_inner_complement<T,Compare,IntervalT>(C_D(0,2), C_D(0,6));
  96
  97 }
  98
  99
 100 #endif // BOOST_ICL_TEST_ICL_DISCRETE_INTERVAL_HPP_JOFA_100930