]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
1 | // Boost.Geometry (aka GGL, Generic Geometry Library) |
2 | ||
3 | // Copyright (c) 2008-2012 Bruno Lalande, Paris, France. | |
4 | // Copyright (c) 2008-2012 Barend Gehrels, Amsterdam, the Netherlands. | |
5 | // Copyright (c) 2009-2012 Mateusz Loskot, London, UK. | |
6 | ||
7 | // Parts of Boost.Geometry are redesigned from Geodan's Geographic Library | |
8 | // (geolib/GGL), copyright (c) 1995-2010 Geodan, Amsterdam, the Netherlands. | |
9 | ||
10 | // Use, modification and distribution is subject to the Boost Software License, | |
11 | // Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at | |
12 | // http://www.boost.org/LICENSE_1_0.txt) | |
13 | ||
14 | #ifndef BOOST_GEOMETRY_CORE_COORDINATE_DIMENSION_HPP | |
15 | #define BOOST_GEOMETRY_CORE_COORDINATE_DIMENSION_HPP | |
16 | ||
17 | ||
18 | #include <cstddef> | |
19 | ||
20 | #include <boost/mpl/assert.hpp> | |
21 | #include <boost/static_assert.hpp> | |
22 | ||
23 | #include <boost/geometry/core/point_type.hpp> | |
24 | #include <boost/geometry/util/bare_type.hpp> | |
25 | ||
26 | namespace boost { namespace geometry | |
27 | { | |
28 | ||
29 | namespace traits | |
30 | { | |
31 | ||
32 | /*! | |
33 | \brief Traits class indicating the number of dimensions of a point | |
34 | \par Geometries: | |
35 | - point | |
36 | \par Specializations should provide: | |
37 | - value (should be derived from boost::mpl::int_<D> | |
38 | \ingroup traits | |
39 | */ | |
40 | template <typename Point, typename Enable = void> | |
41 | struct dimension | |
42 | { | |
43 | BOOST_MPL_ASSERT_MSG | |
44 | ( | |
45 | false, NOT_IMPLEMENTED_FOR_THIS_POINT_TYPE, (types<Point>) | |
46 | ); | |
47 | }; | |
48 | ||
49 | } // namespace traits | |
50 | ||
51 | #ifndef DOXYGEN_NO_DISPATCH | |
52 | namespace core_dispatch | |
53 | { | |
54 | ||
55 | // Base class derive from its own specialization of point-tag | |
56 | template <typename T, typename G> | |
57 | struct dimension : dimension<point_tag, typename point_type<T, G>::type> {}; | |
58 | ||
59 | template <typename P> | |
60 | struct dimension<point_tag, P> | |
61 | : traits::dimension<typename geometry::util::bare_type<P>::type> | |
62 | { | |
63 | BOOST_MPL_ASSERT_MSG( | |
64 | (traits::dimension<typename geometry::util::bare_type<P>::type>::value > 0), | |
65 | INVALID_DIMENSION_VALUE, | |
66 | (traits::dimension<typename geometry::util::bare_type<P>::type>) | |
67 | ); | |
68 | }; | |
69 | ||
70 | } // namespace core_dispatch | |
71 | #endif | |
72 | ||
73 | /*! | |
74 | \brief \brief_meta{value, number of coordinates (the number of axes of any geometry), \meta_point_type} | |
75 | \tparam Geometry \tparam_geometry | |
76 | \ingroup core | |
77 | ||
78 | \qbk{[include reference/core/coordinate_dimension.qbk]} | |
79 | */ | |
80 | template <typename Geometry> | |
81 | struct dimension | |
82 | : core_dispatch::dimension | |
83 | < | |
84 | typename tag<Geometry>::type, | |
85 | typename geometry::util::bare_type<Geometry>::type | |
86 | > | |
87 | {}; | |
88 | ||
89 | /*! | |
90 | \brief assert_dimension, enables compile-time checking if coordinate dimensions are as expected | |
91 | \ingroup utility | |
92 | */ | |
93 | template <typename Geometry, int Dimensions> | |
94 | inline void assert_dimension() | |
95 | { | |
96 | BOOST_STATIC_ASSERT(( static_cast<int>(dimension<Geometry>::value) == Dimensions )); | |
97 | } | |
98 | ||
99 | /*! | |
100 | \brief assert_dimension, enables compile-time checking if coordinate dimensions are as expected | |
101 | \ingroup utility | |
102 | */ | |
103 | template <typename Geometry, int Dimensions> | |
104 | inline void assert_dimension_less_equal() | |
105 | { | |
106 | BOOST_STATIC_ASSERT(( static_cast<int>(dimension<Geometry>::type::value) <= Dimensions )); | |
107 | } | |
108 | ||
109 | template <typename Geometry, int Dimensions> | |
110 | inline void assert_dimension_greater_equal() | |
111 | { | |
112 | BOOST_STATIC_ASSERT(( static_cast<int>(dimension<Geometry>::type::value) >= Dimensions )); | |
113 | } | |
114 | ||
115 | /*! | |
116 | \brief assert_dimension_equal, enables compile-time checking if coordinate dimensions of two geometries are equal | |
117 | \ingroup utility | |
118 | */ | |
119 | template <typename G1, typename G2> | |
120 | inline void assert_dimension_equal() | |
121 | { | |
122 | BOOST_STATIC_ASSERT(( static_cast<size_t>(dimension<G1>::type::value) == static_cast<size_t>(dimension<G2>::type::value) )); | |
123 | } | |
124 | ||
125 | }} // namespace boost::geometry | |
126 | ||
127 | #endif // BOOST_GEOMETRY_CORE_COORDINATE_DIMENSION_HPP |