1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
// (C) Copyright Jeremy Siek 2001.
// 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.hpp>
#include <map>
// This file checks the property map concepts against the property map
// archetypes to make sure they are consistent and that they compile.
// This also checks all the property map classes defined in
// property_map.hpp against the concept checking classes.
int
main()
{
using namespace boost;
{
typedef null_archetype<> Key;
typedef assignable_archetype<copy_constructible_archetype<> > Value;
typedef readable_property_map_archetype<Key, Value> PMap;
function_requires<ReadablePropertyMapConcept<PMap, Key> >();
}
{
typedef null_archetype<> Key;
typedef assignable_archetype<copy_constructible_archetype<> > Value;
typedef writable_property_map_archetype<Key, Value> PMap;
function_requires<WritablePropertyMapConcept<PMap, Key> >();
}
{
typedef null_archetype<> Key;
typedef assignable_archetype<copy_constructible_archetype<> > Value;
typedef read_write_property_map_archetype<Key, Value> PMap;
function_requires<ReadWritePropertyMapConcept<PMap, Key> >();
}
{
typedef null_archetype<> Key;
typedef assignable_archetype<copy_constructible_archetype<> > Value;
typedef lvalue_property_map_archetype<Key, Value> PMap;
function_requires<LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef null_archetype<> Key;
typedef assignable_archetype<copy_constructible_archetype<> > Value;
typedef mutable_lvalue_property_map_archetype<Key, Value> PMap;
function_requires<Mutable_LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef std::ptrdiff_t Key;
typedef int* PMap;
function_requires<Mutable_LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef std::ptrdiff_t Key;
typedef const int* PMap;
function_requires<LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef sgi_assignable_archetype<> Key; // ?
typedef sgi_assignable_archetype<> Value;
typedef random_access_iterator_archetype<Value> Iterator;
typedef readable_property_map_archetype<Key, std::ptrdiff_t> IndexMap;
typedef iterator_property_map<Iterator, IndexMap
#ifdef BOOST_NO_STD_ITERATOR_TRAITS
, Value, const Value&
#endif
> PMap;
function_requires<LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef sgi_assignable_archetype<> Key;
typedef sgi_assignable_archetype<> Value;
typedef mutable_random_access_iterator_archetype<Value> Iterator;
typedef readable_property_map_archetype<Key, std::ptrdiff_t> IndexMap;
typedef iterator_property_map<Iterator, IndexMap
#ifdef BOOST_NO_STD_ITERATOR_TRAITS
, Value, Value&
#endif
> PMap;
function_requires<Mutable_LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef sgi_assignable_archetype< less_than_comparable_archetype<> > Key;
typedef default_constructible_archetype< sgi_assignable_archetype<> >
Value;
typedef std::map<Key, Value> Container;
typedef associative_property_map<Container> PMap;
function_requires<Mutable_LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef sgi_assignable_archetype< less_than_comparable_archetype<> > Key;
typedef default_constructible_archetype< sgi_assignable_archetype<> >
Value;
typedef std::map<Key, Value> Container;
typedef const_associative_property_map<Container> PMap;
function_requires<LvaluePropertyMapConcept<PMap, Key> >();
}
{
typedef identity_property_map PMap;
function_requires<ReadablePropertyMapConcept<PMap, int> >();
}
{
typedef dummy_property_map PMap;
function_requires<ReadWritePropertyMapConcept<PMap, int> >();
}
return 0;
}
|
