has_invalid_coordinate.hpp 4.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153
  1. // Boost.Geometry (aka GGL, Generic Geometry Library)
  2. // Copyright (c) 2014-2018, Oracle and/or its affiliates.
  3. // Contributed and/or modified by Menelaos Karavelas, on behalf of Oracle
  4. // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
  5. // Licensed under the Boost Software License version 1.0.
  6. // http://www.boost.org/users/license.html
  7. #ifndef BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_HAS_INVALID_COORDINATE_HPP
  8. #define BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_HAS_INVALID_COORDINATE_HPP
  9. #include <cstddef>
  10. #include <boost/type_traits/is_floating_point.hpp>
  11. #include <boost/geometry/algorithms/detail/check_iterator_range.hpp>
  12. #include <boost/geometry/algorithms/validity_failure_type.hpp>
  13. #include <boost/geometry/core/coordinate_type.hpp>
  14. #include <boost/geometry/core/point_type.hpp>
  15. #include <boost/geometry/iterators/point_iterator.hpp>
  16. #include <boost/geometry/views/detail/indexed_point_view.hpp>
  17. #include <boost/geometry/util/has_non_finite_coordinate.hpp>
  18. namespace boost { namespace geometry
  19. {
  20. #ifndef DOXYGEN_NO_DETAIL
  21. namespace detail { namespace is_valid
  22. {
  23. struct always_valid
  24. {
  25. template <typename Geometry, typename VisitPolicy>
  26. static inline bool apply(Geometry const&, VisitPolicy& visitor)
  27. {
  28. return ! visitor.template apply<no_failure>();
  29. }
  30. };
  31. struct point_has_invalid_coordinate
  32. {
  33. template <typename Point, typename VisitPolicy>
  34. static inline bool apply(Point const& point, VisitPolicy& visitor)
  35. {
  36. boost::ignore_unused(visitor);
  37. return
  38. geometry::has_non_finite_coordinate(point)
  39. ?
  40. (! visitor.template apply<failure_invalid_coordinate>())
  41. :
  42. (! visitor.template apply<no_failure>());
  43. }
  44. template <typename Point>
  45. static inline bool apply(Point const& point)
  46. {
  47. return geometry::has_non_finite_coordinate(point);
  48. }
  49. };
  50. struct indexed_has_invalid_coordinate
  51. {
  52. template <typename Geometry, typename VisitPolicy>
  53. static inline bool apply(Geometry const& geometry, VisitPolicy& visitor)
  54. {
  55. geometry::detail::indexed_point_view<Geometry const, 0> p0(geometry);
  56. geometry::detail::indexed_point_view<Geometry const, 1> p1(geometry);
  57. return point_has_invalid_coordinate::apply(p0, visitor)
  58. || point_has_invalid_coordinate::apply(p1, visitor);
  59. }
  60. };
  61. struct range_has_invalid_coordinate
  62. {
  63. struct point_has_valid_coordinates
  64. {
  65. template <typename Point>
  66. static inline bool apply(Point const& point)
  67. {
  68. return ! point_has_invalid_coordinate::apply(point);
  69. }
  70. };
  71. template <typename Geometry, typename VisitPolicy>
  72. static inline bool apply(Geometry const& geometry, VisitPolicy& visitor)
  73. {
  74. boost::ignore_unused(visitor);
  75. bool const has_valid_coordinates = detail::check_iterator_range
  76. <
  77. point_has_valid_coordinates,
  78. true // do not consider an empty range as problematic
  79. >::apply(geometry::points_begin(geometry),
  80. geometry::points_end(geometry));
  81. return has_valid_coordinates
  82. ?
  83. (! visitor.template apply<no_failure>())
  84. :
  85. (! visitor.template apply<failure_invalid_coordinate>());
  86. }
  87. };
  88. template
  89. <
  90. typename Geometry,
  91. typename Tag = typename tag<Geometry>::type,
  92. bool HasFloatingPointCoordinates = boost::is_floating_point
  93. <
  94. typename coordinate_type<Geometry>::type
  95. >::value
  96. >
  97. struct has_invalid_coordinate
  98. : range_has_invalid_coordinate
  99. {};
  100. template <typename Geometry, typename Tag>
  101. struct has_invalid_coordinate<Geometry, Tag, false>
  102. : always_valid
  103. {};
  104. template <typename Point>
  105. struct has_invalid_coordinate<Point, point_tag, true>
  106. : point_has_invalid_coordinate
  107. {};
  108. template <typename Segment>
  109. struct has_invalid_coordinate<Segment, segment_tag, true>
  110. : indexed_has_invalid_coordinate
  111. {};
  112. template <typename Box>
  113. struct has_invalid_coordinate<Box, box_tag, true>
  114. : indexed_has_invalid_coordinate
  115. {};
  116. }} // namespace detail::is_valid
  117. #endif // DOXYGEN_NO_DETAIL
  118. }} // namespace boost::geometry
  119. #endif // BOOST_GEOMETRY_ALGORITHMS_DETAIL_IS_VALID_HAS_INVALID_COORDINATE_HPP