// (C) Copyright 2009 Dmitry Bufistov, Andrew Sutton
//
// Use, modification and distribution are subject to the
// Boost Software License, Version 1.0 (See accompanying file
// LICENSE_1_0.txt or http://www.boost.org/LICENSE_1_0.txt)

#include <boost/graph/graph_concepts.hpp>
#include <boost/graph/adjacency_list.hpp>
#include <boost/concept/assert.hpp>

// Test contributed by Dmitry that validates a read-only property map bug
// for bundled properties.
// TODO: Integrate this into a testing framework.

using namespace boost;

struct EdgeProp
{
    double weight;
};

typedef adjacency_list< vecS, vecS, directedS, no_property, EdgeProp > graph_t;
int main()
{
    typedef property_map< graph_t, double EdgeProp::* >::type WeightMap;
    typedef property_map< graph_t, double EdgeProp::* >::const_type cWeightMap;
    typedef graph_traits< graph_t >::edge_descriptor Edge;
    BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept< WeightMap, Edge >));
    BOOST_CONCEPT_ASSERT((ReadablePropertyMapConcept< cWeightMap, Edge >));
    return 0;
}