123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140 |
- #ifndef BOOST_RANGE_CONCEPTS_HPP
- #define BOOST_RANGE_CONCEPTS_HPP
- #include <boost/concept_check.hpp>
- #include <boost/iterator/iterator_concepts.hpp>
- #include <boost/range/begin.hpp>
- #include <boost/range/end.hpp>
- namespace boost {
-
- template<typename T>
- struct SinglePassRangeConcept
- {
- typedef typename range_iterator<T const>::type range_const_iterator;
- typedef typename range_iterator<T>::type range_iterator;
- void constraints()
- {
- function_requires<
- boost_concepts::SinglePassIteratorConcept<
- range_iterator
- >
- >();
- i = boost::begin(a);
- i = boost::end(a);
- const_constraints(a);
- }
-
- void const_constraints(const T& a)
- {
- ci = boost::begin(a);
- ci = boost::end(a);
- }
- T a;
- range_iterator i;
- range_const_iterator ci;
- };
-
- template<typename T>
- struct ForwardRangeConcept
- {
- void constraints()
- {
- function_requires<
- SinglePassRangeConcept<T>
- >();
- function_requires<
- boost_concepts::ForwardTraversalConcept<
- typename range_iterator<T>::type
- >
- >();
- }
- };
-
- template<typename T>
- struct BidirectionalRangeConcept
- {
- void constraints()
- {
- function_requires<
- ForwardRangeConcept<T>
- >();
- function_requires<
- boost_concepts::BidirectionalTraversalConcept<
- typename range_iterator<T>::type
- >
- >();
- }
- };
-
- template<typename T>
- struct RandomAccessRangeConcept
- {
- void constraints()
- {
- function_requires<
- BidirectionalRangeConcept<T>
- >();
- function_requires<
- boost_concepts::RandomAccessTraversalConcept<
- typename range_iterator<T>::type
- >
- >();
- }
- };
- }
- #endif
|