123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180 |
- // Boost.Geometry
- // Copyright (c) 2017 Adam Wulkiewicz, Lodz, Poland.
- // This file was modified by Oracle on 2020.
- // Modifications copyright (c) 2020 Oracle and/or its affiliates.
- // Contributed and/or modified by Adam Wulkiewicz, on behalf of Oracle
- // 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_ALGORITHMS_AREA_RESULT_HPP
- #define BOOST_GEOMETRY_ALGORITHMS_AREA_RESULT_HPP
- #include <type_traits>
- #include <boost/geometry/core/coordinate_type.hpp>
- #include <boost/geometry/core/cs.hpp>
- #include <boost/geometry/strategies/area/services.hpp>
- #include <boost/geometry/strategies/default_strategy.hpp>
- #include <boost/geometry/strategies/detail.hpp>
- #include <boost/geometry/strategy/area.hpp>
- #include <boost/geometry/util/select_most_precise.hpp>
- #include <boost/geometry/util/sequence.hpp>
- #include <boost/geometry/util/type_traits.hpp>
- #include <boost/variant/variant_fwd.hpp>
- namespace boost { namespace geometry
- {
- #ifndef DOXYGEN_NO_DETAIL
- namespace detail { namespace area
- {
- template
- <
- typename Geometry,
- typename Strategy,
- bool IsUmbrella = strategies::detail::is_umbrella_strategy<Strategy>::value
- >
- struct area_result
- {
- typedef decltype(std::declval<Strategy>().area(std::declval<Geometry>())) strategy_type;
- typedef typename strategy_type::template result_type<Geometry>::type type;
- };
- template <typename Geometry, typename Strategy>
- struct area_result<Geometry, Strategy, false>
- {
- typedef typename Strategy::template result_type<Geometry>::type type;
- };
- template
- <
- typename Geometry,
- bool IsGeometry = util::is_geometry<Geometry>::value
- >
- struct default_area_result
- : area_result
- <
- Geometry,
- typename geometry::strategies::area::services::default_strategy
- <
- Geometry
- >::type
- >
- {};
- // Workaround for VS2015
- #if defined(_MSC_VER) && (_MSC_VER < 1910)
- template
- <
- typename Geometry,
- bool IsGeometry = util::is_geometry<Geometry>::value
- >
- struct coordinate_type
- : geometry::coordinate_type<Geometry>
- {};
- template <typename Geometry>
- struct coordinate_type<Geometry, false>
- {
- typedef int type;
- };
- template <typename Geometry>
- struct default_area_result<Geometry, false>
- {
- typedef int type;
- };
- #endif
- template <typename Curr, typename Next>
- struct more_precise_coordinate_type
- : std::is_same
- <
- typename coordinate_type<Curr>::type,
- typename geometry::select_most_precise
- <
- typename coordinate_type<Curr>::type,
- typename coordinate_type<Next>::type
- >::type
- >
- {};
- template <typename Curr, typename Next>
- struct more_precise_default_area_result
- : std::is_same
- <
- typename default_area_result<Curr>::type,
- typename geometry::select_most_precise
- <
- typename default_area_result<Curr>::type,
- typename default_area_result<Next>::type
- >::type
- >
- {};
- }} // namespace detail::area
- #endif //DOXYGEN_NO_DETAIL
- /*!
- \brief Meta-function defining return type of area function
- \ingroup area
- \note The return-type is defined by Geometry and Strategy
- */
- template
- <
- typename Geometry,
- typename Strategy = default_strategy
- >
- struct area_result
- : detail::area::area_result<Geometry, Strategy>
- {};
- template <BOOST_VARIANT_ENUM_PARAMS(typename T), typename Strategy>
- struct area_result<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>, Strategy>
- : geometry::area_result
- <
- typename util::select_pack_element
- <
- detail::area::more_precise_coordinate_type,
- BOOST_VARIANT_ENUM_PARAMS(T)
- >::type,
- Strategy
- >
- {};
- template <typename Geometry>
- struct area_result<Geometry, default_strategy>
- : detail::area::default_area_result<Geometry>
- {};
- template <BOOST_VARIANT_ENUM_PARAMS(typename T)>
- struct area_result<boost::variant<BOOST_VARIANT_ENUM_PARAMS(T)>, default_strategy>
- : detail::area::default_area_result
- <
- typename util::select_pack_element
- <
- detail::area::more_precise_default_area_result,
- BOOST_VARIANT_ENUM_PARAMS(T)
- >::type
- >
- {};
- }} // namespace boost::geometry
- #endif // BOOST_GEOMETRY_ALGORITHMS_AREA_RESULT_HPP
|