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
|
---|