123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115 |
- // Boost.Geometry (aka GGL, Generic Geometry Library)
- // Copyright (c) 2014-2017, Oracle and/or its affiliates.
- // Contributed and/or modified by Menelaos Karavelas, on behalf of Oracle
- // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
- // Licensed under the Boost Software License version 1.0.
- // http://www.boost.org/users/license.html
- #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_BOX_HPP
- #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_BOX_HPP
- #include <cstddef>
- #include <boost/core/ignore_unused.hpp>
- #include <boost/geometry/core/access.hpp>
- #include <boost/geometry/core/tags.hpp>
- #include <boost/geometry/core/coordinate_dimension.hpp>
- #include <boost/geometry/algorithms/validity_failure_type.hpp>
- #include <boost/geometry/algorithms/detail/is_valid/has_invalid_coordinate.hpp>
- #include <boost/geometry/algorithms/dispatch/is_valid.hpp>
- namespace boost { namespace geometry
- {
- #ifndef DOXYGEN_NO_DETAIL
- namespace detail { namespace is_valid
- {
- template <typename Box, std::size_t I>
- struct has_valid_corners
- {
- template <typename VisitPolicy>
- static inline bool apply(Box const& box, VisitPolicy& visitor)
- {
- if (math::equals(geometry::get<geometry::min_corner, I-1>(box),
- geometry::get<geometry::max_corner, I-1>(box)))
- {
- return
- visitor.template apply<failure_wrong_topological_dimension>();
- }
- else if (geometry::get<geometry::min_corner, I-1>(box)
- >
- geometry::get<geometry::max_corner, I-1>(box))
- {
- return visitor.template apply<failure_wrong_corner_order>();
- }
- return has_valid_corners<Box, I-1>::apply(box, visitor);
- }
- };
- template <typename Box>
- struct has_valid_corners<Box, 0>
- {
- template <typename VisitPolicy>
- static inline bool apply(Box const&, VisitPolicy& visitor)
- {
- boost::ignore_unused(visitor);
- return visitor.template apply<no_failure>();
- }
- };
- template <typename Box>
- struct is_valid_box
- {
- template <typename VisitPolicy, typename Strategy>
- static inline bool apply(Box const& box, VisitPolicy& visitor, Strategy const&)
- {
- return
- ! has_invalid_coordinate<Box>::apply(box, visitor)
- &&
- has_valid_corners<Box, dimension<Box>::value>::apply(box, visitor);
- }
- };
- }} // namespace detail::is_valid
- #endif // DOXYGEN_NO_DETAIL
- #ifndef DOXYGEN_NO_DISPATCH
- namespace dispatch
- {
- // A box is always simple
- // A box is a Polygon, and it satisfies the conditions for Polygon validity.
- //
- // The only thing we have to check is whether the max corner lies in
- // the upper-right quadrant as defined by the min corner
- //
- // Reference (for polygon validity): OGC 06-103r4 (6.1.11.1)
- template <typename Box>
- struct is_valid<Box, box_tag>
- : detail::is_valid::is_valid_box<Box>
- {};
- } // namespace dispatch
- #endif // DOXYGEN_NO_DISPATCH
- }} // namespace boost::geometry
- #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_BOX_HPP
|