From d5530745faa31a241ec5d9db2b8d01cf3cdf6c23 Mon Sep 17 00:00:00 2001
From: Jeremy Siek <jeremy.siek@gmail.com>
Date: Fri, 19 Jan 2001 18:20:10 +0000
Subject: [PATCH] added property map checks for vertex_index and edge_index
 into concept_checks.cpp

[SVN r8647]
---
 example/boost_web.dat      |  1 +
 example/concept_checks.cpp | 11 +++++++++++
 2 files changed, 12 insertions(+)

diff --git a/example/boost_web.dat b/example/boost_web.dat
index 6846be2a..b52a0319 100644
--- a/example/boost_web.dat
+++ b/example/boost_web.dat
@@ -24,6 +24,7 @@ Boost People|More|More Information
 Boost People|Home|www.boost.org
 Boost People|FAQ|Frequently Asked Questions
 Boost People|Libraries|Boost Libraries
+Boost People|People|Boost People
 Boost Libraries|call_traits|Call Traits
 Boost Libraries|compose|Compose Library
 Boost Libraries|graph|Boost Graph Library
diff --git a/example/concept_checks.cpp b/example/concept_checks.cpp
index 5fa86559..82766c70 100644
--- a/example/concept_checks.cpp
+++ b/example/concept_checks.cpp
@@ -57,6 +57,8 @@ main(int,char*[])
     function_requires< MutableIncidenceGraphConcept<Graph> >();
     function_requires< MutableEdgeListGraphConcept<Graph> >();
     function_requires< MutablePropertyGraphConcept<Graph> >();
+    function_requires< ReadablePropertyGraphConcept<Graph, 
+      Vertex, vertex_index_t> >();
     function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
     function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
     // the builtin id property is readable but not writable
@@ -76,6 +78,8 @@ main(int,char*[])
     function_requires< MutableBidirectionalGraphConcept<Graph> >();
     function_requires< MutableEdgeListGraphConcept<Graph> >();
     function_requires< MutablePropertyGraphConcept<Graph> >();
+    function_requires< ReadablePropertyGraphConcept<Graph, 
+      Vertex, vertex_index_t> >();
     function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
     function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
     // the builtin id property is readable but not writable
@@ -93,6 +97,8 @@ main(int,char*[])
     function_requires< MutableIncidenceGraphConcept<Graph> >();
     function_requires< MutableEdgeListGraphConcept<Graph> >();
     function_requires< MutablePropertyGraphConcept<Graph> >();
+    function_requires< ReadablePropertyGraphConcept<Graph, 
+      Vertex, vertex_index_t> >();
     function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
     function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
   }
@@ -107,13 +113,18 @@ main(int,char*[])
     function_requires< MutableBidirectionalGraphConcept<Graph> >();
     function_requires< MutableEdgeListGraphConcept<Graph> >();
     function_requires< MutablePropertyGraphConcept<Graph> >();
+    function_requires< ReadablePropertyGraphConcept<Graph, 
+      Vertex, vertex_index_t> >();
     function_requires< PropertyGraphConcept<Graph, Vertex, vertex_color_t> >();
     function_requires< PropertyGraphConcept<Graph, Edge, edge_weight_t> >();
   }
   {
     typedef std::pair<int,int> E;
     typedef edge_list<E*,E,ptrdiff_t> EdgeList;
+    typedef graph_traits<EdgeList>::edge_descriptor Edge;
     function_requires< EdgeListGraphConcept<EdgeList> >();
+    function_requires< ReadablePropertyGraphConcept<EdgeList, Edge, 
+      edge_index_t> >();
   }
 #ifdef BOOST_USE_STANFORD_GRAPH_BASE
   { // Stanford GraphBase Graph