boost/geometry/geometries/concepts/check.hpp
// Boost.Geometry (aka GGL, Generic Geometry Library) // Copyright (c) 2008-2012 Bruno Lalande, Paris, France. // Copyright (c) 2008-2012 Barend Gehrels, Amsterdam, the Netherlands. // Copyright (c) 2009-2012 Mateusz Loskot, London, UK. // This file was modified by Oracle on 2020-2021. // Modifications copyright (c) 2020-2021 Oracle and/or its affiliates. // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands. // Use, modification and distribution is subject to the Boost Software License, // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at // http://www.boost.org/LICENSE_1_0.txt) #ifndef BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP #define BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP #include <boost/concept_check.hpp> #include <boost/concept/requires.hpp> #include <boost/geometry/algorithms/detail/select_geometry_type.hpp> #include <boost/geometry/geometries/concepts/concept_type.hpp> #include <boost/geometry/geometries/concepts/box_concept.hpp> #include <boost/geometry/geometries/concepts/dynamic_geometry_concept.hpp> #include <boost/geometry/geometries/concepts/geometry_collection_concept.hpp> #include <boost/geometry/geometries/concepts/linestring_concept.hpp> #include <boost/geometry/geometries/concepts/multi_point_concept.hpp> #include <boost/geometry/geometries/concepts/multi_linestring_concept.hpp> #include <boost/geometry/geometries/concepts/multi_polygon_concept.hpp> #include <boost/geometry/geometries/concepts/point_concept.hpp> #include <boost/geometry/geometries/concepts/polygon_concept.hpp> #include <boost/geometry/geometries/concepts/ring_concept.hpp> #include <boost/geometry/geometries/concepts/segment_concept.hpp> namespace boost { namespace geometry { namespace concepts { /*! \brief Checks, in compile-time, the concept of any geometry \ingroup concepts */ template <typename Geometry> // workaround for VS2015 #if !defined(_MSC_VER) || (_MSC_VER >= 1910) constexpr #endif inline void check() { BOOST_CONCEPT_ASSERT((typename concept_type<Geometry>::type)); } /*! \brief Checks, in compile-time, the concept of two geometries, and if they have equal dimensions \ingroup concepts */ template <typename Geometry1, typename Geometry2> // workaround for VS2015 #if !defined(_MSC_VER) || (_MSC_VER >= 1910) constexpr #endif inline void check_concepts_and_equal_dimensions() { check<Geometry1>(); check<Geometry2>(); assert_dimension_equal < typename geometry::detail::first_geometry_type<Geometry1>::type, typename geometry::detail::first_geometry_type<Geometry2>::type >(); } }}} // namespace boost::geometry::concepts #endif // BOOST_GEOMETRY_GEOMETRIES_CONCEPTS_CHECK_HPP