123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191 |
- // Boost.Bimap
- //
- // Copyright (c) 2006-2007 Matias Capeletto
- //
- // 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)
- #ifndef BOOST_BIMAP_TEST_TEST_RELATION_HPP
- #define BOOST_BIMAP_TEST_TEST_RELATION_HPP
- #if defined(_MSC_VER)
- #pragma once
- #endif
- #include <boost/config.hpp>
- // Boost.Test
- #include <boost/test/minimal.hpp>
- // Boost.MPL
- #include <boost/mpl/assert.hpp>
- #include <boost/type_traits/is_same.hpp>
- // Boost.Bimap
- #include <boost/bimap/detail/test/check_metadata.hpp>
- #include <boost/bimap/tags/tagged.hpp>
- // Boost.Bimap.Relation
- #include <boost/bimap/relation/member_at.hpp>
- #include <boost/bimap/relation/support/get.hpp>
- #include <boost/bimap/relation/support/pair_by.hpp>
- #include <boost/bimap/relation/support/pair_type_by.hpp>
- #include <boost/bimap/relation/support/value_type_of.hpp>
- #include <boost/bimap/relation/support/member_with_tag.hpp>
- #include <boost/bimap/relation/support/is_tag_of_member_at.hpp>
- template< class Relation >
- void test_relation_with_default_tags(Relation & rel,
- const typename Relation::left_value_type & lv,
- const typename Relation::right_value_type & rv)
- {
- using namespace boost::bimaps::relation::support;
- using namespace boost::bimaps::relation;
- using namespace boost::bimaps::tags;
- // It must work with normal tags
- BOOST_CHECK( pair_by<member_at::left >(rel).first == lv );
- BOOST_CHECK( pair_by<member_at::left >(rel).second == rv );
- BOOST_CHECK( pair_by<member_at::right>(rel).first == rv );
- BOOST_CHECK( pair_by<member_at::right>(rel).second == lv );
- BOOST_CHECK( get<member_at::left >(rel) == rel.left );
- BOOST_CHECK( get<member_at::right>(rel) == rel.right );
- BOOST_CHECK(
- get<member_at::left >(pair_by<member_at::left >(rel)) == rel.left
- );
- BOOST_CHECK(
- get<member_at::right>(pair_by<member_at::left >(rel)) == rel.right
- );
- BOOST_CHECK(
- get<member_at::left >(pair_by<member_at::right>(rel)) == rel.left
- );
- BOOST_CHECK(
- get<member_at::right>(pair_by<member_at::right>(rel)) == rel.right
- );
- }
- template< class Relation, class LeftTag, class RightTag >
- void test_relation_with_user_tags(Relation & rel,
- const typename Relation::left_value_type & lv,
- const typename Relation::right_value_type & rv)
- {
- using namespace boost::bimaps::relation::support;
- using namespace boost::bimaps::relation;
- using namespace boost::bimaps::tags;
- // And with users ones
- BOOST_CHECK( pair_by<LeftTag >(rel).first == lv );
- BOOST_CHECK( pair_by<LeftTag >(rel).second == rv );
- BOOST_CHECK( pair_by<RightTag>(rel).first == rv );
- BOOST_CHECK( pair_by<RightTag>(rel).second == lv );
- BOOST_CHECK( get<LeftTag >(rel) == rel.left );
- BOOST_CHECK( get<RightTag>(rel) == rel.right );
- BOOST_CHECK( get<LeftTag >(pair_by<LeftTag >(rel)) == rel.left );
- BOOST_CHECK( get<RightTag>(pair_by<LeftTag >(rel)) == rel.right );
- BOOST_CHECK( get<LeftTag >(pair_by<RightTag>(rel)) == rel.left );
- BOOST_CHECK( get<RightTag>(pair_by<RightTag>(rel)) == rel.right );
- //----------------------------------------------------------------
- BOOST_CHECK( rel.template get<LeftTag >() == rel.left );
- BOOST_CHECK( rel.template get<RightTag>() == rel.right );
- BOOST_CHECK( pair_by<LeftTag >(rel).template get<LeftTag >()== rel.left );
- BOOST_CHECK( pair_by<LeftTag >(rel).template get<RightTag>()== rel.right);
- BOOST_CHECK( pair_by<RightTag>(rel).template get<LeftTag >()== rel.left );
- BOOST_CHECK( pair_by<RightTag>(rel).template get<RightTag>()== rel.right);
- }
- struct left_user_tag {};
- struct right_user_tag {};
- template< class RelationBuilder, class LeftData, class RightData >
- void test_relation(const LeftData & lv, const RightData & rv)
- {
- using namespace boost::bimaps::relation::support;
- using namespace boost::bimaps::relation;
- using boost::bimaps::tags::tagged;
- // Untagged test
- {
- typedef typename RelationBuilder::template build
- <
- LeftData,
- RightData
- >::type rel_type;
- rel_type rel( lv, rv );
- test_relation_with_default_tags( rel, lv, rv);
- }
- // Tagged test
- {
- typedef typename RelationBuilder::template build
- <
- tagged<LeftData , left_user_tag >,
- tagged<RightData, right_user_tag >
- >::type rel_type;
- rel_type rel( lv, rv );
- test_relation_with_default_tags(rel, lv, rv );
- test_relation_with_user_tags
- <
- rel_type,
- left_user_tag,right_user_tag
- >(rel,lv,rv);
- }
- // Default Constructor, Constructor from views and some operators
- {
- /*
- typedef typename RelationBuilder::template build
- <
- tagged<LeftData , left_user_tag >,
- tagged<RightData, right_user_tag >
- >::type rel_type;
- typedef typename pair_type_by< left_user_tag,rel_type>::type left_pair;
- typedef typename pair_type_by<right_user_tag,rel_type>::type right_pair;
- rel_type rel_from_left ( left_pair(lv,rv) );
- rel_type rel_from_right( right_pair(rv,lv) );
- BOOST_CHECK( rel_from_left == rel_from_right );
- BOOST_CHECK( rel_from_left == rel_type(lv,rv) );
- rel_type rel;
- rel = rel_from_left;
- BOOST_CHECK( rel == rel_from_left );
- */
- }
- }
- #endif // BOOST_BIMAP_TEST_TEST_RELATION_HPP
|