mirror of
https://github.com/mat007/turtle.git
synced 2026-06-22 12:13:43 +00:00
b802c51c2d
Combine result_type, function_arity, parameter_types into 1 trait. This reduces the amount of template classes instantiated by a factor of 3 which should improve compile times and memory consumption. Also improve tests and documentation of touched classes/traits.
92 lines
4.5 KiB
C++
92 lines
4.5 KiB
C++
// http://turtle.sourceforge.net
|
|
//
|
|
// Copyright Mathieu Champlon 2012
|
|
//
|
|
// 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)
|
|
|
|
#include <turtle/mock.hpp>
|
|
#include <boost/test/unit_test.hpp>
|
|
#include <map>
|
|
#include <type_traits>
|
|
|
|
namespace {
|
|
struct base
|
|
{
|
|
void method_1();
|
|
float method_2(int);
|
|
// Using templates in result and argument types
|
|
std::map<int, float> method_3(std::map<int, int>, short);
|
|
|
|
// Qualified methods
|
|
float qual_1(int) &;
|
|
float qual_2(int) &&;
|
|
float qual_3(int) const;
|
|
float qual_4(int) const&;
|
|
float qual_5(int) const&&;
|
|
float qual_6(int) volatile;
|
|
float qual_7(int) volatile&;
|
|
float qual_8(int) volatile&&;
|
|
float qual_9(int) const volatile;
|
|
float qual_10(int) const volatile&;
|
|
float qual_11(int) const volatile&&;
|
|
};
|
|
} // namespace
|
|
|
|
BOOST_AUTO_TEST_CASE(signature_traits_return_correct_values)
|
|
{
|
|
using function1 = void();
|
|
static_assert(std::is_same<mock::detail::result_type_t<function1>, void>::value, "!");
|
|
static_assert(mock::detail::function_arity_t<function1>::value == 0, "!");
|
|
|
|
using function2 = float(int);
|
|
static_assert(std::is_same<mock::detail::result_type_t<function2>, float>::value, "!");
|
|
static_assert(mock::detail::function_arity_t<function2>::value == 1, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function2, 0>, int>::value, "!");
|
|
|
|
using function3 = unsigned(short&, int, const char*, float, double, char, unsigned char, std::map<int, char>);
|
|
static_assert(std::is_same<mock::detail::result_type_t<function3>, unsigned>::value, "!");
|
|
static_assert(mock::detail::function_arity_t<function3>::value == 8, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 0>, short&>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 1>, int>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 2>, const char*>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 3>, float>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 4>, double>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 5>, char>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 6>, unsigned char>::value, "!");
|
|
static_assert(std::is_same<mock::detail::parameter_t<function3, 7>, std::map<int, char>>::value, "!");
|
|
}
|
|
|
|
BOOST_AUTO_TEST_CASE(MOCK_SIGNATURE_generates_signature)
|
|
{
|
|
using base_type = base; // MOCK_SIGNATURE requires a visible base_type typedef in the current scope
|
|
static_assert(std::is_same<void(), MOCK_SIGNATURE(method_1)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(method_2)>::value, "!");
|
|
static_assert(std::is_same<std::map<int, float>(std::map<int, int>, short), MOCK_SIGNATURE(method_3)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_1)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_2)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_3)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_4)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_5)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_6)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_7)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_8)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_9)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_10)>::value, "!");
|
|
static_assert(std::is_same<float(int), MOCK_SIGNATURE(qual_11)>::value, "!");
|
|
}
|
|
|
|
BOOST_AUTO_TEST_CASE(MOCK_PROTECT_SIGNATURE_keeps_signature)
|
|
{
|
|
// MOCK_PROTECT_SIGNATURE is basically a no-op regarding its argument
|
|
// and only required to get it through a VAR_ARGS macro
|
|
// clang-format off
|
|
static_assert(std::is_same<void(), MOCK_PROTECT_SIGNATURE(
|
|
void())>::value, "!");
|
|
static_assert(std::is_same<float*(int*), MOCK_PROTECT_SIGNATURE(
|
|
float*(int*))>::value, "!");
|
|
static_assert(std::is_same<std::map<int, float>(std::map<int, int>, short), MOCK_PROTECT_SIGNATURE(
|
|
std::map<int, float>(std::map<int, int>, short))>::value, "!");
|
|
// clang-format on
|
|
}
|