#include <_binary_function.hpp>
Public Member Functions | |
requirements () | |
Constructor. | |
Static Public Member Functions | |
static void | require_first_argument_type () |
static void | require_second_argument_type () |
static void | require_result_type () |
static void | require_method_invoke () |
static instigate::stl::binary_function::interface < T >::result_type | helper (const T &f, typename instigate::stl::binary_function::interface< T >::first_argument_type a, typename instigate::stl::binary_function::interface< T >::second_argument_type b) |
static void | check_signature_of_the_invoke () |
This code will compile if and only if T is a model of the Binary Function concept.
instigate::stl::binary_function::requirements< T >::requirements | ( | ) | [inline] |
Constructor.
Check the requirements of the Binary Function Concept
Reimplemented from instigate::generic::assignable::requirements< T >.
Reimplemented in instigate::stl::binary_predicate::requirements< T >.
static void instigate::stl::binary_function::requirements< T >::require_first_argument_type | ( | ) | [inline, static] |
Require associated type instigate::stl::binary_function::interface::first_argument_type "first_argument_type" as nested typedef in instigate::stl::binary_function::interface.
static void instigate::stl::binary_function::requirements< T >::require_second_argument_type | ( | ) | [inline, static] |
Require associated type instigate::stl::binary_function::interface::second_argument_type "second_argument_type" as nested typedef in instigate::stl::binary_function::interface.
static void instigate::stl::binary_function::requirements< T >::require_result_type | ( | ) | [inline, static] |
Require associated type instigate::stl::binary_function::interface::result_type "result_type" as nested typedef in instigate::stl::binary_function::interface.
static void instigate::stl::binary_function::requirements< T >::require_method_invoke | ( | ) | [inline, static] |
Require the method invoke(), which must be defined in the binary_function interface.
static instigate::stl::binary_function::interface<T>:: result_type instigate::stl::binary_function::requirements< T >::helper | ( | const T & | f, | |
typename instigate::stl::binary_function::interface< T >::first_argument_type | a, | |||
typename instigate::stl::binary_function::interface< T >::second_argument_type | b | |||
) | [inline, static] |
Helper function for check_signature_of_the_invoke() in the binary_function interface.
References instigate::stl::binary_function::interface< BF >::invoke().
static void instigate::stl::binary_function::requirements< T >::check_signature_of_the_invoke | ( | ) | [inline, static] |
Check signature of method invoke() in the instigate::stl::binary_function::interface