summaryrefslogtreecommitdiff
path: root/boost/spirit/home/x3/support/utility/is_callable.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/spirit/home/x3/support/utility/is_callable.hpp')
-rw-r--r--boost/spirit/home/x3/support/utility/is_callable.hpp45
1 files changed, 45 insertions, 0 deletions
diff --git a/boost/spirit/home/x3/support/utility/is_callable.hpp b/boost/spirit/home/x3/support/utility/is_callable.hpp
new file mode 100644
index 0000000000..17f86822b8
--- /dev/null
+++ b/boost/spirit/home/x3/support/utility/is_callable.hpp
@@ -0,0 +1,45 @@
+/*//////////////////////////////////////////////////////////////////////////////
+ Copyright (c) 2014 Jamboree
+
+ Distributed under 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_SPIRIT_X3_IS_CALLABLE_HPP_INCLUDED
+#define BOOST_SPIRIT_X3_IS_CALLABLE_HPP_INCLUDED
+
+#if defined(_MSC_VER)
+#pragma once
+#endif
+
+#include <boost/utility/result_of.hpp>
+#include <boost/mpl/bool.hpp>
+#include <boost/spirit/home/x3/support/utility/sfinae.hpp>
+
+
+namespace boost { namespace spirit { namespace x3 { namespace detail
+{
+ template <typename Sig, typename Enable = void>
+ struct is_callable_impl
+ : mpl::false_
+ {};
+
+ template <typename F, typename... A>
+ struct is_callable_impl<F(A...), typename disable_if_substitution_failure<
+ typename result_of<F(A...)>::type>::type>
+ : mpl::true_
+ {};
+}}}}
+
+namespace boost { namespace spirit { namespace x3
+{
+ template <typename Sig>
+ struct is_callable;
+
+ template <typename F, typename... A>
+ struct is_callable<F(A...)>
+ : detail::is_callable_impl<F(A...)>
+ {};
+}}}
+
+
+#endif