boostorg/iterator
1
0
Fork 1
mirror of https://github.com/boostorg/iterator.git synced 2025-07-30 12:57:23 +02:00
Code Issues Packages Projects Releases Wiki Activity

use idiomatic convertibility assertions.

Browse Source 
[SVN r33869]
This commit is contained in:
Dave Abrahams
2006-04-30 03:33:33 +00:00
parent f5b644e765
commit e2957cfb0c
1 changed files with 13 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
include/boost/iterator/iterator_concepts.hpp
View File

@ -20,7 +20,6 @@
#include <boost/type_traits/is_same.hpp> #include <boost/type_traits/is_same.hpp>
#include <boost/type_traits/is_integral.hpp> #include <boost/type_traits/is_integral.hpp>
#include <boost/type_traits/is_convertible.hpp>
#include <boost/mpl/bool.hpp> #include <boost/mpl/bool.hpp>
#include <boost/mpl/if.hpp> #include <boost/mpl/if.hpp>
@ -118,11 +117,11 @@ namespace boost_concepts
~IncrementableIteratorConcept() ~IncrementableIteratorConcept()
{ {
BOOST_MPL_ASSERT(( BOOST_CONCEPT_ASSERT((
boost::is_convertible< boost::ConvertibleConcept<
traversal_category traversal_category
, boost::incrementable_traversal_tag , boost::incrementable_traversal_tag
> )); >));
++i; ++i;
(void)i++; (void)i++;
@ -139,8 +138,8 @@ namespace boost_concepts
{ {
~SinglePassIteratorConcept() ~SinglePassIteratorConcept()
{ {
BOOST_MPL_ASSERT(( BOOST_CONCEPT_ASSERT((
boost::is_convertible< boost::ConvertibleConcept<
BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept::traversal_category BOOST_DEDUCED_TYPENAME SinglePassIteratorConcept::traversal_category
, boost::single_pass_traversal_tag , boost::single_pass_traversal_tag
> )); > ));
@ -159,8 +158,8 @@ namespace boost_concepts
BOOST_MPL_ASSERT((boost::is_integral<difference_type>)); BOOST_MPL_ASSERT((boost::is_integral<difference_type>));
BOOST_MPL_ASSERT_RELATION(std::numeric_limits<difference_type>::is_signed, ==, true); BOOST_MPL_ASSERT_RELATION(std::numeric_limits<difference_type>::is_signed, ==, true);
BOOST_MPL_ASSERT(( BOOST_CONCEPT_ASSERT((
boost::is_convertible< boost::ConvertibleConcept<
BOOST_DEDUCED_TYPENAME ForwardTraversalConcept::traversal_category BOOST_DEDUCED_TYPENAME ForwardTraversalConcept::traversal_category
, boost::forward_traversal_tag , boost::forward_traversal_tag
> )); > ));
@ -173,8 +172,8 @@ namespace boost_concepts
{ {
~BidirectionalTraversalConcept() ~BidirectionalTraversalConcept()
{ {
BOOST_MPL_ASSERT(( BOOST_CONCEPT_ASSERT((
boost::is_convertible< boost::ConvertibleConcept<
BOOST_DEDUCED_TYPENAME BidirectionalTraversalConcept::traversal_category BOOST_DEDUCED_TYPENAME BidirectionalTraversalConcept::traversal_category
, boost::bidirectional_traversal_tag , boost::bidirectional_traversal_tag
> )); > ));
@ -193,8 +192,8 @@ namespace boost_concepts
public: public:
~RandomAccessTraversalConcept() ~RandomAccessTraversalConcept()
{ {
BOOST_MPL_ASSERT(( BOOST_CONCEPT_ASSERT((
boost::is_convertible< boost::ConvertibleConcept<
BOOST_DEDUCED_TYPENAME RandomAccessTraversalConcept::traversal_category BOOST_DEDUCED_TYPENAME RandomAccessTraversalConcept::traversal_category
, boost::random_access_traversal_tag , boost::random_access_traversal_tag
> )); > ));