annotate DEPENDENCIES/generic/include/boost/variant/visitor_ptr.hpp @ 133:4acb5d8d80b6 tip

Don't fail environmental check if README.md exists (but .txt and no-suffix don't)
author Chris Cannam
date Tue, 30 Jul 2019 12:25:44 +0100
parents c530137014c0
children
rev   line source
Chris@16 1 //-----------------------------------------------------------------------------
Chris@16 2 // boost variant/visitor_ptr.hpp header file
Chris@16 3 // See http://www.boost.org for updates, documentation, and revision history.
Chris@16 4 //-----------------------------------------------------------------------------
Chris@16 5 //
Chris@16 6 // Copyright (c) 2002-2003
Chris@16 7 // Eric Friedman
Chris@16 8 //
Chris@16 9 // Distributed under the Boost Software License, Version 1.0. (See
Chris@16 10 // accompanying file LICENSE_1_0.txt or copy at
Chris@16 11 // http://www.boost.org/LICENSE_1_0.txt)
Chris@16 12
Chris@16 13 #ifndef BOOST_VARIANT_VISITOR_PTR_HPP
Chris@16 14 #define BOOST_VARIANT_VISITOR_PTR_HPP
Chris@16 15
Chris@16 16 #include "boost/variant/bad_visit.hpp"
Chris@16 17 #include "boost/variant/static_visitor.hpp"
Chris@16 18
Chris@16 19 #include "boost/mpl/eval_if.hpp"
Chris@16 20 #include "boost/mpl/identity.hpp"
Chris@16 21 #include "boost/throw_exception.hpp"
Chris@16 22 #include "boost/type_traits/add_reference.hpp"
Chris@16 23 #include "boost/type_traits/is_reference.hpp"
Chris@16 24 #include "boost/type_traits/is_void.hpp"
Chris@16 25
Chris@16 26 namespace boost {
Chris@16 27
Chris@16 28 //////////////////////////////////////////////////////////////////////////
Chris@16 29 // function template visitor_ptr
Chris@16 30 //
Chris@16 31 // Adapts a function pointer for use as visitor capable of handling
Chris@16 32 // values of a single type. Throws bad_visit if inappropriately applied.
Chris@16 33 //
Chris@16 34 template <typename T, typename R>
Chris@16 35 class visitor_ptr_t
Chris@16 36 : public static_visitor<R>
Chris@16 37 {
Chris@16 38 private: // representation
Chris@16 39
Chris@16 40 typedef R (*visitor_t)(T);
Chris@16 41
Chris@16 42 visitor_t visitor_;
Chris@16 43
Chris@16 44 public: // typedefs
Chris@16 45
Chris@16 46 typedef R result_type;
Chris@16 47
Chris@16 48 private: // private typedefs
Chris@16 49
Chris@16 50 typedef typename mpl::eval_if<
Chris@16 51 is_reference<T>
Chris@16 52 , mpl::identity<T>
Chris@16 53 , add_reference<const T>
Chris@16 54 >::type argument_fwd_type;
Chris@16 55
Chris@16 56 public: // structors
Chris@16 57
Chris@101 58 explicit visitor_ptr_t(visitor_t visitor) BOOST_NOEXCEPT
Chris@16 59 : visitor_(visitor)
Chris@16 60 {
Chris@16 61 }
Chris@16 62
Chris@16 63 public: // static visitor interfaces
Chris@16 64
Chris@16 65 template <typename U>
Chris@16 66 result_type operator()(const U&) const
Chris@16 67 {
Chris@16 68 boost::throw_exception(bad_visit());
Chris@16 69 }
Chris@16 70
Chris@16 71 #if !defined(BOOST_NO_VOID_RETURNS)
Chris@16 72
Chris@16 73 public: // static visitor interfaces, cont.
Chris@16 74
Chris@16 75 result_type operator()(argument_fwd_type operand) const
Chris@16 76 {
Chris@16 77 return visitor_(operand);
Chris@16 78 }
Chris@16 79
Chris@16 80 #else // defined(BOOST_NO_VOID_RETURNS)
Chris@16 81
Chris@16 82 private: // helpers, for static visitor interfaces (below)
Chris@16 83
Chris@16 84 result_type execute_impl(argument_fwd_type operand, mpl::false_) const
Chris@16 85 {
Chris@16 86 return visitor_(operand);
Chris@16 87 }
Chris@16 88
Chris@16 89 BOOST_VARIANT_AUX_RETURN_VOID_TYPE
Chris@16 90 execute_impl(argument_fwd_type operand, mpl::true_) const
Chris@16 91 {
Chris@16 92 visitor_(operand);
Chris@16 93 BOOST_VARIANT_AUX_RETURN_VOID;
Chris@16 94 }
Chris@16 95
Chris@16 96 public: // static visitor interfaces, cont.
Chris@16 97
Chris@16 98 BOOST_VARIANT_AUX_GENERIC_RESULT_TYPE(result_type)
Chris@16 99 operator()(argument_fwd_type operand) const
Chris@16 100 {
Chris@16 101 typedef typename is_void<result_type>::type has_void_result;
Chris@16 102 return execute_impl(operand, has_void_result());
Chris@16 103 }
Chris@16 104
Chris@16 105 #endif // BOOST_NO_VOID_RETURNS workaround
Chris@16 106
Chris@16 107 };
Chris@16 108
Chris@16 109 template <typename R, typename T>
Chris@16 110 inline visitor_ptr_t<T,R> visitor_ptr(R (*visitor)(T))
Chris@16 111 {
Chris@16 112 return visitor_ptr_t<T,R>(visitor);
Chris@16 113 }
Chris@16 114
Chris@16 115 } // namespace boost
Chris@16 116
Chris@16 117 #endif// BOOST_VISITOR_VISITOR_PTR_HPP