From 33660d770ea070e29ed61785bb45f954f0739e0e Mon Sep 17 00:00:00 2001
From: Thomas Witt <witt@acm.org>
Date: Thu, 2 Jan 2003 17:54:12 +0000
Subject: [PATCH] Readded concept_tests

[SVN r830]
---
 test/Jamfile           |  1 +
 test/concept_tests.cpp | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)

diff --git a/test/Jamfile b/test/Jamfile
index d01213c..120db87 100644
--- a/test/Jamfile
+++ b/test/Jamfile
@@ -1,5 +1,6 @@
 SEARCH on testing.jam = $(BOOST_BUILD_PATH) ;
 include testing.jam ;
+run concept_tests.cpp ;
 run iterator_adaptor_cc.cpp ;
 run transform_iterator_test.cpp ;
 run indirect_iterator_test.cpp ;
diff --git a/test/concept_tests.cpp b/test/concept_tests.cpp
index 92e9162..e3a2ef2 100644
--- a/test/concept_tests.cpp
+++ b/test/concept_tests.cpp
@@ -53,6 +53,27 @@ old_iterator operator+(std::ptrdiff_t, old_iterator x) { return x; }
 int
 main()
 {
+  BOOST_STATIC_ASSERT( boost::detail::is_random_access_traversal_iterator<boost::random_access_traversal_tag>::value );
+
+  typedef boost::iterator_tag< boost::mutable_lvalue_iterator_tag, boost::random_access_traversal_tag > tag;
+
+  // BOOST_STATIC_ASSERT((boost::detail::is_random_access_iterator<tag>::value));
+  BOOST_STATIC_ASSERT((boost::is_same<tag::returns, boost::mutable_lvalue_iterator_tag>::value));
+  BOOST_STATIC_ASSERT((boost::is_same<tag::traversal, boost::random_access_traversal_tag>::value));
+
+  // BOOST_STATIC_ASSERT((boost::detail::is_random_access_iterator<new_iterator::iterator_category>::value));
+  BOOST_STATIC_ASSERT((boost::is_same<new_iterator::iterator_category::returns, boost::mutable_lvalue_iterator_tag>::value));
+  BOOST_STATIC_ASSERT((boost::is_same<new_iterator::iterator_category::traversal, boost::random_access_traversal_tag>::value));
+
+  typedef boost::traversal_category<new_iterator>::type traversal_category;
+
+  //  BOOST_STATIC_ASSERT(boost::detail::has_traversal<new_iterator::iterator_category>::value);
+  BOOST_STATIC_ASSERT(boost::detail::is_new_iterator_tag<new_iterator::iterator_category>::value);
+
+
+  BOOST_STATIC_ASSERT((boost::is_same<traversal_category, boost::random_access_traversal_tag>::value));
+
+
 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
   boost::function_requires<
     boost_concepts::MutableLvalueIteratorConcept<int*> >();