Chris@16: // Boost.Geometry (aka GGL, Generic Geometry Library)
Chris@16: 
Chris@16: // Copyright (c) 2008-2012 Bruno Lalande, Paris, France.
Chris@16: // Copyright (c) 2008-2012 Barend Gehrels, Amsterdam, the Netherlands.
Chris@16: // Copyright (c) 2009-2012 Mateusz Loskot, London, UK.
Chris@16: 
Chris@16: // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library
Chris@16: // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands.
Chris@16: 
Chris@16: // Use, modification and distribution is subject to the Boost Software License,
Chris@16: // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: 
Chris@16: 
Chris@16: #ifndef BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP
Chris@16: #define BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP
Chris@16: 
Chris@16: 
Chris@16: #include <boost/concept_check.hpp>
Chris@16: #include <boost/concept/requires.hpp>
Chris@16: #include <boost/type_traits/is_const.hpp>
Chris@101: #include <boost/variant/variant_fwd.hpp>
Chris@16: 
Chris@16: #include <boost/geometry/core/tag.hpp>
Chris@101: #include <boost/geometry/core/tags.hpp>
Chris@16: 
Chris@16: #include <boost/geometry/geometries/concepts/box_concept.hpp>
Chris@16: #include <boost/geometry/geometries/concepts/linestring_concept.hpp>
Chris@101: #include <boost/geometry/geometries/concepts/multi_point_concept.hpp>
Chris@101: #include <boost/geometry/geometries/concepts/multi_linestring_concept.hpp>
Chris@101: #include <boost/geometry/geometries/concepts/multi_polygon_concept.hpp>
Chris@16: #include <boost/geometry/geometries/concepts/point_concept.hpp>
Chris@16: #include <boost/geometry/geometries/concepts/polygon_concept.hpp>
Chris@16: #include <boost/geometry/geometries/concepts/ring_concept.hpp>
Chris@16: #include <boost/geometry/geometries/concepts/segment_concept.hpp>
Chris@16: 
Chris@16: #include <boost/geometry/algorithms/not_implemented.hpp>
Chris@16: 
Chris@16: namespace boost { namespace geometry
Chris@16: {
Chris@16: 
Chris@16: 
Chris@16: #ifndef DOXYGEN_NO_DETAIL
Chris@16: namespace detail { namespace concept_check
Chris@16: {
Chris@16: 
Chris@16: template <typename Concept>
Chris@16: class check
Chris@16: {
Chris@16:     BOOST_CONCEPT_ASSERT((Concept ));
Chris@16: };
Chris@16: 
Chris@16: }} // namespace detail::concept_check
Chris@16: #endif // DOXYGEN_NO_DETAIL
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: #ifndef DOXYGEN_NO_DISPATCH
Chris@16: namespace dispatch
Chris@16: {
Chris@16: 
Chris@101: template
Chris@16: <
Chris@16:     typename Geometry,
Chris@16:     typename GeometryTag = typename geometry::tag<Geometry>::type,
Chris@16:     bool IsConst = boost::is_const<Geometry>::type::value
Chris@16: >
Chris@16: struct check : not_implemented<GeometryTag>
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, point_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstPoint<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, point_tag, false>
Chris@16:     : detail::concept_check::check<concept::Point<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, linestring_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstLinestring<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, linestring_tag, false>
Chris@16:     : detail::concept_check::check<concept::Linestring<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, ring_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstRing<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, ring_tag, false>
Chris@16:     : detail::concept_check::check<concept::Ring<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, polygon_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstPolygon<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, polygon_tag, false>
Chris@16:     : detail::concept_check::check<concept::Polygon<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, box_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstBox<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, box_tag, false>
Chris@16:     : detail::concept_check::check<concept::Box<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, segment_tag, true>
Chris@16:     : detail::concept_check::check<concept::ConstSegment<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct check<Geometry, segment_tag, false>
Chris@16:     : detail::concept_check::check<concept::Segment<Geometry> >
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_point_tag, true>
Chris@101:     : detail::concept_check::check<concept::ConstMultiPoint<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_point_tag, false>
Chris@101:     : detail::concept_check::check<concept::MultiPoint<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_linestring_tag, true>
Chris@101:     : detail::concept_check::check<concept::ConstMultiLinestring<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_linestring_tag, false>
Chris@101:     : detail::concept_check::check<concept::MultiLinestring<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_polygon_tag, true>
Chris@101:     : detail::concept_check::check<concept::ConstMultiPolygon<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@101: template <typename Geometry>
Chris@101: struct check<Geometry, multi_polygon_tag, false>
Chris@101:     : detail::concept_check::check<concept::MultiPolygon<Geometry> >
Chris@101: {};
Chris@101: 
Chris@101: 
Chris@16: } // namespace dispatch
Chris@16: #endif
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: 
Chris@16: namespace concept
Chris@16: {
Chris@16: 
Chris@16: 
Chris@16: #ifndef DOXYGEN_NO_DETAIL
Chris@16: namespace detail
Chris@16: {
Chris@16: 
Chris@16: 
Chris@16: template <typename Geometry>
Chris@16: struct checker : dispatch::check<Geometry>
Chris@16: {};
Chris@16: 
Chris@16: template <BOOST_VARIANT_ENUM_PARAMS(typename T)>
Chris@16: struct checker<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> >
Chris@16: {};
Chris@16: 
Chris@16: template <BOOST_VARIANT_ENUM_PARAMS(typename T)>
Chris@16: struct checker<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)> const>
Chris@16: {};
Chris@16: 
Chris@16: 
Chris@16: }
Chris@16: #endif // DOXYGEN_NO_DETAIL
Chris@16: 
Chris@16: 
Chris@16: /*!
Chris@16:     \brief Checks, in compile-time, the concept of any geometry
Chris@16:     \ingroup concepts
Chris@16: */
Chris@16: template <typename Geometry>
Chris@16: inline void check()
Chris@16: {
Chris@16:     detail::checker<Geometry> c;
Chris@16:     boost::ignore_unused_variable_warning(c);
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: /*!
Chris@16:     \brief Checks, in compile-time, the concept of two geometries, and if they
Chris@16:         have equal dimensions
Chris@16:     \ingroup concepts
Chris@16: */
Chris@16: template <typename Geometry1, typename Geometry2>
Chris@16: inline void check_concepts_and_equal_dimensions()
Chris@16: {
Chris@16:     check<Geometry1>();
Chris@16:     check<Geometry2>();
Chris@16:     assert_dimension_equal<Geometry1, Geometry2>();
Chris@16: }
Chris@16: 
Chris@16: 
Chris@16: } // namespace concept
Chris@16: 
Chris@16: 
Chris@16: }} // namespace boost::geometry
Chris@16: 
Chris@16: 
Chris@16: #endif // BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP