1//
2//=======================================================================
3// Author: Jeremiah Willcock
4//
5// Copyright 2012, Trustees of Indiana University
6//
7// Distributed under the Boost Software License, Version 1.0. (See
8// accompanying file LICENSE_1_0.txt or copy at
9// http://www.boost.org/LICENSE_1_0.txt)
10//=======================================================================
11//
12
13#include <boost/property_map/function_property_map.hpp>
14#include <boost/concept/assert.hpp>
15#include <boost/property_map/property_map.hpp>
16#include <boost/core/lightweight_test.hpp>
17#include <boost/static_assert.hpp>
18
19template <typename T>
20struct add1 {typedef T result_type; T operator()(const T& x) const {return x + 1;}};
21
22template <typename T>
23struct add1_val {typedef T result_type; T operator()(T x) const {return x + 1;}};
24
25template <typename T>
26struct return_fixed_ref {
27 int* ptr;
28 return_fixed_ref(int* ptr): ptr(ptr) {}
29 typedef int& result_type;
30 int& operator()(const T&) const {return *ptr;}
31};
32
33int main() {
34 using namespace boost;
35 BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<function_property_map<add1<int>, int>, int>));
36 BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<function_property_map<add1<int>, int, double>, int>));
37 BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<function_property_map<add1_val<int>, int>, int>));
38 BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<function_property_map<add1_val<int>, int, double>, int>));
39 BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept<function_property_map<return_fixed_ref<int>, int>, int>));
40 BOOST_CONCEPT_ASSERT((WritablePropertyMapConcept<function_property_map<return_fixed_ref<int>, int>, int>));
41 BOOST_CONCEPT_ASSERT((ReadWritePropertyMapConcept<function_property_map<return_fixed_ref<int>, int>, int>));
42 BOOST_CONCEPT_ASSERT((LvaluePropertyMapConcept<function_property_map<return_fixed_ref<int>, int>, int>));
43
44 BOOST_STATIC_ASSERT((boost::is_same<boost::property_traits<function_property_map<add1<int>, int> >::category, boost::readable_property_map_tag>::value));
45 BOOST_STATIC_ASSERT((boost::is_same<boost::property_traits<function_property_map<add1_val<int>, int> >::category, boost::readable_property_map_tag>::value));
46 BOOST_STATIC_ASSERT((boost::is_same<boost::property_traits<function_property_map<return_fixed_ref<int>, int> >::category, boost::lvalue_property_map_tag>::value));
47
48 BOOST_TEST(get(function_property_map<add1<int>, int>(), 3) == 4);
49 BOOST_TEST(get(function_property_map<add1<int>, int>(add1<int>()), 4) == 5);
50 BOOST_TEST(get(make_function_property_map<int>(add1<int>()), 5) == 6);
51 BOOST_TEST(get(function_property_map<add1_val<int>, int>(), 3) == 4);
52 BOOST_TEST(get(function_property_map<add1_val<int>, int>(add1_val<int>()), 4) == 5);
53 BOOST_TEST(get(make_function_property_map<int>(add1_val<int>()), 5) == 6);
54 int val;
55 const function_property_map<return_fixed_ref<int>, int> pm = return_fixed_ref<int>((&val));
56 put(pa: pm, k: 1, v: 6);
57 BOOST_TEST(get(pm, 2) == 6);
58 BOOST_TEST((get(pm, 3) = 7) == 7);
59 BOOST_TEST(get(pm, 4) == 7);
60 const function_property_map<return_fixed_ref<int>, int> pm2 = pm; // Check shallow copying
61 BOOST_TEST(get(pm2, 5) == 7);
62 put(pa: pm2, k: 3, v: 1);
63 BOOST_TEST(get(pm, 1) == 1);
64
65 return boost::report_errors();
66}
67

source code of boost/libs/property_map/test/function_property_map_test.cpp