From ef69c73e899b3f53578449129bd1d4db78a8495c Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jeremy.siek@gmail.com>
Date: Sun, 11 Jan 2004 15:45:16 +0000
Subject: [PATCH] added some concept checks

[SVN r21593]
---
 test/filter_iterator_test.cpp | 102 ++++++++++++++++++++++++++++++++++
 1 file changed, 102 insertions(+)

diff --git a/test/filter_iterator_test.cpp b/test/filter_iterator_test.cpp
index edf3ccf..95f7fb0 100644
--- a/test/filter_iterator_test.cpp
+++ b/test/filter_iterator_test.cpp
@@ -8,6 +8,10 @@
 #include <boost/iterator/reverse_iterator.hpp>
 #include <boost/iterator/new_iterator_tests.hpp>
 #include <boost/type_traits/is_convertible.hpp>
+#include <boost/concept_check.hpp>
+#include <boost/concept_archetype.hpp>
+#include <boost/iterator/iterator_concepts.hpp>
+#include <boost/iterator/iterator_archetypes.hpp>
 
 #include <deque>
 #include <iostream>
@@ -24,9 +28,106 @@ struct one_or_four
 
 template <class T> struct undefined;
 
+template <class T> struct see_type;
+
 // Test filter iterator
 int main()
 {
+    // Concept checks
+    // Adapting old-style iterators
+    {
+      typedef boost::filter_iterator<one_or_four, boost::input_iterator_archetype<dummyT> > Iter;
+      boost::function_requires< boost::InputIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::SinglePassIteratorConcept<Iter> >();
+    }
+    {
+      typedef boost::filter_iterator<one_or_four, boost::input_output_iterator_archetype<dummyT> > Iter;
+      boost::function_requires< boost::InputIteratorConcept<Iter> >();
+      boost::function_requires< boost::OutputIteratorConcept<Iter, dummyT> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::WritableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::SinglePassIteratorConcept<Iter> >();
+    }
+    {
+      typedef boost::filter_iterator<one_or_four, boost::forward_iterator_archetype<dummyT> > Iter;
+      boost::function_requires< boost::ForwardIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+    {
+      typedef boost::filter_iterator<one_or_four, boost::mutable_forward_iterator_archetype<dummyT> > Iter;
+      boost::function_requires< boost::Mutable_ForwardIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::WritableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+    // Adapting new-style iterators
+    {
+      typedef boost::iterator_archetype<
+	  const dummyT
+	, boost::iterator_archetypes::readable_iterator_t
+	, boost::single_pass_traversal_tag
+      > Iter;      
+      boost::function_requires< boost::InputIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::SinglePassIteratorConcept<Iter> >();
+    }
+    {
+      typedef boost::iterator_archetype<
+	  dummyT
+	, boost::iterator_archetypes::readable_writable_iterator_t
+	, boost::single_pass_traversal_tag
+      > Iter;      
+      boost::function_requires< boost::InputIteratorConcept<Iter> >();
+      boost::function_requires< boost::OutputIteratorConcept<Iter, dummyT> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::WritableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::SinglePassIteratorConcept<Iter> >();
+    }
+    {
+      typedef boost::iterator_archetype<
+	  const dummyT
+	, boost::iterator_archetypes::readable_iterator_t
+	, boost::forward_traversal_tag
+      > Iter;      
+      boost::function_requires< boost::InputIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+    {
+      typedef boost::iterator_archetype<
+	  dummyT
+	, boost::iterator_archetypes::readable_writable_iterator_t
+	, boost::forward_traversal_tag
+      > Iter;      
+      boost::function_requires< boost_concepts::ReadableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::WritableIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+    {
+      typedef boost::iterator_archetype<
+	  dummyT
+	, boost::iterator_archetypes::readable_lvalue_iterator_t
+	, boost::forward_traversal_tag
+      > Iter;      
+      boost::function_requires< boost::ForwardIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ReadableLvalueIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+    {
+      typedef boost::iterator_archetype<
+	  dummyT
+	, boost::iterator_archetypes::writable_lvalue_iterator_t
+	, boost::forward_traversal_tag
+      > Iter;
+      boost::function_requires< boost::Mutable_ForwardIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::WritableLvalueIteratorConcept<Iter> >();
+      boost::function_requires< boost_concepts::ForwardTraversalConcept<Iter> >();
+    }
+
+    // Run-time tests
+
     dummyT array[] = { dummyT(0), dummyT(1), dummyT(2), 
                        dummyT(3), dummyT(4), dummyT(5) };
     const int N = sizeof(array)/sizeof(dummyT);
@@ -75,6 +176,7 @@ int main()
         filter_iter(one_or_four(), array, array + N),
         dummyT(1), dummyT(4));
 
+
   std::cout << "test successful " << std::endl;
   return 0;
 }