123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101 |
- // Copyright (C) 2013 Eurodecision
- // Authors: Guillaume Pinot
- //
- // 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)
- #include <boost/property_map/compose_property_map.hpp>
- #include <boost/property_map/function_property_map.hpp>
- #include <boost/test/minimal.hpp>
- void concept_checks()
- {
- using namespace boost;
- {
- typedef null_archetype<> Key;
- //typedef assignable_archetype<copy_constructible_archetype<> > Value;
- typedef copy_constructible_archetype<assignable_archetype<> > Value;
- typedef readable_property_map_archetype<Key, Key> GPMap;
- typedef readable_property_map_archetype<Key, Value> FPMap;
- typedef compose_property_map<FPMap, GPMap> CPM;
- BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<CPM, Key>));
- }
- {
- typedef null_archetype<> Key;
- typedef copy_constructible_archetype<assignable_archetype<> > Value;
- typedef readable_property_map_archetype<Key, Key> GPMap;
- typedef writable_property_map_archetype<Key, Value> FPMap;
- typedef compose_property_map<FPMap, GPMap> CPM;
- BOOST_CONCEPT_ASSERT((WritablePropertyMapConcept<CPM, Key>));
- }
- {
- typedef null_archetype<> Key;
- typedef copy_constructible_archetype<assignable_archetype<> > Value;
- typedef readable_property_map_archetype<Key, Key> GPMap;
- typedef read_write_property_map_archetype<Key, Value> FPMap;
- typedef compose_property_map<FPMap, GPMap> CPM;
- BOOST_CONCEPT_ASSERT((ReadWritePropertyMapConcept<CPM, Key>));
- }
- {
- typedef null_archetype<> Key;
- typedef copy_constructible_archetype<assignable_archetype<> > Value;
- typedef readable_property_map_archetype<Key, Key> GPMap;
- typedef lvalue_property_map_archetype<Key, Value> FPMap;
- typedef compose_property_map<FPMap, GPMap> CPM;
- BOOST_CONCEPT_ASSERT((LvaluePropertyMapConcept<CPM, Key>));
- }
- {
- typedef null_archetype<> Key;
- typedef copy_constructible_archetype<assignable_archetype<> > Value;
- typedef readable_property_map_archetype<Key, Key> GPMap;
- typedef mutable_lvalue_property_map_archetype<Key, Value> FPMap;
- typedef compose_property_map<FPMap, GPMap> CPM;
- BOOST_CONCEPT_ASSERT((Mutable_LvaluePropertyMapConcept<CPM, Key>));
- }
- }
- void pointer_pmap_check()
- {
- const int idx[] = {2, 0, 4, 1, 3};
- double v[] = {1., 3., 0., 4., 2.};
- boost::compose_property_map<double*, const int*> cpm(v, idx);
- for (int i = 0; i < 5; ++i) {
- BOOST_CHECK(get(cpm, i) == static_cast<double>(i));
- ++cpm[i];
- BOOST_CHECK(cpm[i] == static_cast<double>(i + 1));
- put(cpm, i, 42.);
- BOOST_CHECK(cpm[i] == 42.);
- }
- }
- struct modulo_add_one {
- typedef int result_type;
- modulo_add_one(int m): modulo(m) {}
- int operator()(int i) const {return (i + 1) % modulo;}
- int modulo;
- };
- void readable_pmap_checks()
- {
- using namespace boost;
- typedef function_property_map<modulo_add_one, int> modulo_add_one_pmap;
- compose_property_map<modulo_add_one_pmap, modulo_add_one_pmap>
- cpm(modulo_add_one(5), modulo_add_one(5));
- for (int i = 0; i < 10; ++i)
- BOOST_CHECK(get(cpm, i) == (i + 2) % 5);
- }
- int
- test_main(int, char**)
- {
- concept_checks();
- pointer_pmap_check();
- readable_pmap_checks();
- return 0;
- }
|