libs/bimap/test/test_mutant_relation.cpp

   1 // Boost.Bimap
   2 //
   3 // Copyright (c) 2006-2007 Matias Capeletto
   4 //
   5 // Distributed under the Boost Software License, Version 1.0.
   6 // (See accompanying file LICENSE_1_0.txt or copy at
   7 // http://www.boost.org/LICENSE_1_0.txt)
   8
   9 //  VC++ 8.0 warns on usage of certain Standard Library and API functions that
  10 //  can be cause buffer overruns or other possible security issues if misused.
  11 //  See https://web.archive.org/web/20071014014301/http://msdn.microsoft.com/msdnmag/issues/05/05/SafeCandC/default.aspx
  12 //  But the wording of the warning is misleading and unsettling, there are no
  13 //  portable alternative functions, and VC++ 8.0's own libraries use the
  14 //  functions in question. So turn off the warnings.
  15 #define _CRT_SECURE_NO_DEPRECATE
  16 #define _SCL_SECURE_NO_DEPRECATE
  17
  18 #include <boost/config.hpp>
  19
  20 // std
  21 #include <string>
  22
  23 // Boost.Test
  24 #include <boost/test/minimal.hpp>
  25
  26 // Boost.MPL
  27 #include <boost/mpl/assert.hpp>
  28 #include <boost/type_traits/is_same.hpp>
  29
  30 // Boost.Bimap
  31 #include <boost/bimap/detail/test/check_metadata.hpp>
  32 #include <boost/bimap/tags/tagged.hpp>
  33
  34 // Boost.Bimap.Relation
  35 #include <boost/bimap/relation/mutant_relation.hpp>
  36 #include <boost/bimap/relation/member_at.hpp>
  37 #include <boost/bimap/relation/support/get.hpp>
  38 #include <boost/bimap/relation/support/pair_by.hpp>
  39 #include <boost/bimap/relation/support/pair_type_by.hpp>
  40 #include <boost/bimap/relation/support/value_type_of.hpp>
  41 #include <boost/bimap/relation/support/member_with_tag.hpp>
  42 #include <boost/bimap/relation/support/is_tag_of_member_at.hpp>
  43
  44 // Bimap Test Utilities
  45 #include "test_relation.hpp"
  46
  47 BOOST_BIMAP_TEST_STATIC_FUNCTION( untagged_static_test )
  48 {
  49     using namespace boost::bimaps::relation::member_at;
  50     using namespace boost::bimaps::relation;
  51     using namespace boost::bimaps::tags;
  52
  53     struct left_data  {};
  54     struct right_data {};
  55
  56     typedef mutant_relation< left_data, right_data > rel;
  57
  58     BOOST_BIMAP_CHECK_METADATA(rel,left_value_type ,left_data);
  59     BOOST_BIMAP_CHECK_METADATA(rel,right_value_type,right_data);
  60
  61     BOOST_BIMAP_CHECK_METADATA(rel,left_tag ,left );
  62     BOOST_BIMAP_CHECK_METADATA(rel,right_tag,right);
  63
  64     typedef tagged<left_data ,left > desired_tagged_left_type;
  65     BOOST_BIMAP_CHECK_METADATA(rel,tagged_left_type,desired_tagged_left_type);
  66
  67     typedef tagged<right_data,right> desired_tagged_right_type;
  68     BOOST_BIMAP_CHECK_METADATA(rel,tagged_right_type,desired_tagged_right_type);
  69
  70 }
  71
  72 BOOST_BIMAP_TEST_STATIC_FUNCTION( tagged_static_test)
  73 {
  74     using namespace boost::bimaps::relation::member_at;
  75     using namespace boost::bimaps::relation;
  76     using namespace boost::bimaps::tags;
  77
  78     struct left_data  {};
  79     struct right_data {};
  80
  81     struct left_tag   {};
  82     struct right_tag  {};
  83
  84     typedef mutant_relation<
  85         tagged<left_data,left_tag>, tagged<right_data,right_tag> > rel;
  86
  87     BOOST_BIMAP_CHECK_METADATA(rel,left_value_type ,left_data);
  88     BOOST_BIMAP_CHECK_METADATA(rel,right_value_type,right_data);
  89
  90     BOOST_BIMAP_CHECK_METADATA(rel,left_tag ,left_tag  );
  91     BOOST_BIMAP_CHECK_METADATA(rel,right_tag,right_tag );
  92
  93     typedef tagged<left_data ,left_tag > desired_tagged_left_type;
  94     BOOST_BIMAP_CHECK_METADATA(rel,tagged_left_type,desired_tagged_left_type);
  95
  96     typedef tagged<right_data,right_tag> desired_tagged_right_type;
  97     BOOST_BIMAP_CHECK_METADATA(rel,tagged_right_type,desired_tagged_right_type);
  98 }
  99
 100 struct mutant_relation_builder
 101 {
 102     template< class LeftType, class RightType >
 103     struct build
 104     {
 105         typedef boost::bimaps::relation::
 106             mutant_relation<LeftType,RightType,::boost::mpl::na,true> type;
 107     };
 108 };
 109
 110 // Complex classes
 111
 112 class cc1
 113 {
 114     public:
 115     cc1(int s = 0) : a(s+100), b(s+101) {}
 116     static int sd;
 117     int a;
 118     const int b;
 119 };
 120
 121 bool operator==(const cc1 & da, const cc1 & db)
 122 {
 123     return da.a == db.a && da.b == db.b;
 124 }
 125
 126 int cc1::sd = 102;
 127
 128 class cc2_base
 129 {
 130     public:
 131     cc2_base(int s) : a(s+200) {}
 132     int a;
 133 };
 134
 135 class cc2 : public cc2_base
 136 {
 137     public:
 138     cc2(int s = 0) : cc2_base(s), b(s+201) {}
 139     int b;
 140 };
 141
 142 bool operator==(const cc2 & da, const cc2 & db)
 143 {
 144     return da.a == db.a && da.b == db.b;
 145 }
 146
 147 class cc3_base
 148 {
 149     public:
 150     cc3_base(int s = 0) : a(s+300) {}
 151     const int a;
 152 };
 153
 154 class cc3 : virtual public cc3_base
 155 {
 156    public:
 157    cc3(int s = 0) : cc3_base(s), b(s+301) {}
 158    int b;
 159 };
 160
 161 bool operator==(const cc3 & da, const cc3 & db)
 162 {
 163     return da.a == db.a && da.b == db.b;
 164 }
 165
 166 class cc4_base
 167 {
 168     public:
 169     cc4_base(int s) : a(s+400) {}
 170     virtual ~cc4_base() {}
 171     const int a;
 172 };
 173
 174 class cc4 : public cc4_base
 175 {
 176    public:
 177    cc4(int s = 0) : cc4_base(s), b(s+401) {}
 178    int b;
 179 };
 180
 181 bool operator==(const cc4 & da, const cc4 & db)
 182 {
 183     return da.a == db.a && da.b == db.b;
 184 }
 185
 186 class cc5 : public cc1, public cc3, public cc4
 187 {
 188     public:
 189     cc5(int s = 0) : cc1(s), cc3(s), cc4(s) {}
 190 };
 191
 192 bool operator==(const cc5 & da, const cc5 & db)
 193 {
 194     return da.cc1::a == db.cc1::a && da.cc1::b == db.cc1::b &&
 195            da.cc3::a == db.cc3::a && da.cc3::b == db.cc3::b &&
 196            da.cc4::a == db.cc4::a && da.cc4::b == db.cc4::b;
 197 }
 198
 199 class cc6
 200 {
 201     public:
 202     cc6(int s = 0) : a(s+600), b(a) {}
 203     int a;
 204     int & b;
 205 };
 206
 207 bool operator==(const cc6 & da, const cc6 & db)
 208 {
 209     return da.a == db.a && da.b == db.b;
 210 }
 211
 212 void test_mutant_relation()
 213 {
 214     test_relation< mutant_relation_builder, char  , double >( 'l', 2.5 );
 215     test_relation< mutant_relation_builder, double, char   >( 2.5, 'r' );
 216
 217     test_relation<mutant_relation_builder, int   , int    >(  1 ,   2 );
 218
 219     test_relation<mutant_relation_builder, std::string, int* >("left value",0);
 220
 221     test_relation<mutant_relation_builder, cc1, cc2>(0,0);
 222     test_relation<mutant_relation_builder, cc2, cc3>(0,0);
 223     test_relation<mutant_relation_builder, cc3, cc4>(0,0);
 224     test_relation<mutant_relation_builder, cc4, cc5>(0,0);
 225 }
 226
 227 int test_main( int, char* [] )
 228 {
 229
 230     // Test metadata correctness with untagged relation version
 231     BOOST_BIMAP_CALL_TEST_STATIC_FUNCTION( tagged_static_test   );
 232
 233     // Test metadata correctness with tagged relation version
 234     BOOST_BIMAP_CALL_TEST_STATIC_FUNCTION( untagged_static_test );
 235
 236     // Test basic
 237     test_mutant_relation();
 238
 239     return 0;
 240 }
 241