Line data    Source code

       1           0 : // Distributed under the MIT License.
       2             : // See LICENSE.txt for details.
       3             : 
       4             : #pragma once
       5             : 
       6             : #include <type_traits>
       7             : 
       8             : #include "Utilities/TypeTraits/CreateIsCallable.hpp"
       9             : 
      10             : namespace db::detail {
      11             : CREATE_IS_CALLABLE(apply)
      12             : CREATE_IS_CALLABLE_V(apply)
      13             : 
      14             : template <typename Func, typename... Args>
      15             : constexpr void error_function_not_callable() {
      16             :   static_assert(
      17             :       std::is_same_v<Func, void>,
      18             :       "The function is not callable with the expected arguments.  "
      19             :       "See the first template parameter of "
      20             :       "error_function_not_callable for the function or object type and "
      21             :       "the remaining arguments for the parameters that cannot be "
      22             :       "passed. If all the argument types match, it could be that you "
      23             :       "have a template parameter that cannot be deduced."
      24             :       "Note that for most DataBox functions, you must pass either "
      25             :       "a function pointer, a lambda, or a class with a call operator "
      26             :       "or static apply function, and this error will also arise if "
      27             :       "the provided entity does not satisfy that requirement (e.g. "
      28             :       "if the provided class defines a function with the incorrect name).");
      29             : }
      30             : }  // namespace db::detail