1 | // Copyright 2002 The Trustees of Indiana University. |
---|
2 | |
---|
3 | // Use, modification and distribution is subject to the Boost Software |
---|
4 | // License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at |
---|
5 | // http://www.boost.org/LICENSE_1_0.txt) |
---|
6 | |
---|
7 | // Boost.MultiArray Library |
---|
8 | // Authors: Ronald Garcia |
---|
9 | // Jeremy Siek |
---|
10 | // Andrew Lumsdaine |
---|
11 | // See http://www.boost.org/libs/multi_array for documentation. |
---|
12 | |
---|
13 | #ifndef COLLECTION_CONCEPT_RG103101_HPP |
---|
14 | #define COLLECTION_CONCEPT_RG103101_HPP |
---|
15 | |
---|
16 | #include "boost/concept_check.hpp" |
---|
17 | |
---|
18 | namespace boost { |
---|
19 | namespace detail { |
---|
20 | namespace multi_array { |
---|
21 | |
---|
22 | //=========================================================================== |
---|
23 | // Collection Concept |
---|
24 | |
---|
25 | template <class Collection> |
---|
26 | struct CollectionConcept |
---|
27 | { |
---|
28 | typedef typename Collection::value_type value_type; |
---|
29 | typedef typename Collection::iterator iterator; |
---|
30 | typedef typename Collection::const_iterator const_iterator; |
---|
31 | typedef typename Collection::reference reference; |
---|
32 | typedef typename Collection::const_reference const_reference; |
---|
33 | // typedef typename Collection::pointer pointer; |
---|
34 | typedef typename Collection::difference_type difference_type; |
---|
35 | typedef typename Collection::size_type size_type; |
---|
36 | |
---|
37 | void constraints() { |
---|
38 | boost::function_requires<boost::InputIteratorConcept<iterator> >(); |
---|
39 | boost::function_requires<boost::InputIteratorConcept<const_iterator> >(); |
---|
40 | boost::function_requires<boost::CopyConstructibleConcept<value_type> >(); |
---|
41 | const_constraints(c); |
---|
42 | i = c.begin(); |
---|
43 | i = c.end(); |
---|
44 | c.swap(c); |
---|
45 | } |
---|
46 | void const_constraints(const Collection& c) { |
---|
47 | ci = c.begin(); |
---|
48 | ci = c.end(); |
---|
49 | n = c.size(); |
---|
50 | b = c.empty(); |
---|
51 | } |
---|
52 | Collection c; |
---|
53 | bool b; |
---|
54 | iterator i; |
---|
55 | const_iterator ci; |
---|
56 | size_type n; |
---|
57 | }; |
---|
58 | |
---|
59 | } |
---|
60 | } |
---|
61 | } |
---|
62 | #endif // COLLECTION_CONCEPT_RG103101_HPP |
---|