1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
|
// Boost.Geometry (aka GGL, Generic Geometry Library)
// Copyright (c) 2014-2015, 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>
static inline bool apply(Box const& box, VisitPolicy& visitor)
{
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
|
