mirror of
https://github.com/LadybirdBrowser/ladybird.git
synced 2024-11-13 01:59:14 +03:00
35c0a6c54d
As many macros as possible are moved to Macros.h, while the macros to create a test case are moved to TestCase.h. TestCase is now the only user-facing header for creating a test case. TestSuite and its helpers have moved into a .cpp file. Instead of requiring a TEST_MAIN macro to be instantiated into the test file, a TestMain.cpp file is provided instead that will be linked against each test. This has the side effect that, if we wanted to have test cases split across multiple files, it's as simple as adding them all to the same executable. The test main should be portable to kernel mode as well, so if there's a set of tests that should be run in self-test mode in kernel space, we can accomodate that. A new serenity_test CMake function streamlines adding a new test with arguments for the test source file, subdirectory under /usr/Tests to install the test application and an optional list of libraries to link against the test application. To accomodate future test where the provided TestMain.cpp is not suitable (e.g. test-js), a CUSTOM_MAIN parameter can be passed to the function to not link against the boilerplate main function.
108 lines
3.7 KiB
C++
108 lines
3.7 KiB
C++
/*
|
|
* Copyright (c) 2020, the SerenityOS developers.
|
|
*
|
|
* SPDX-License-Identifier: BSD-2-Clause
|
|
*/
|
|
|
|
#include <LibTest/TestCase.h>
|
|
|
|
#include <AK/StdLibExtras.h>
|
|
#include <AK/TypeList.h>
|
|
|
|
#define STATIC_EXPECT_EQ(lhs, rhs) \
|
|
static_assert(IsSame<lhs, rhs>, "");
|
|
|
|
#define STATIC_EXPECT_FALSE(Expression) \
|
|
static_assert(!Expression, "");
|
|
|
|
#define STATIC_EXPECT_TRUE(Expression) \
|
|
static_assert(Expression, "");
|
|
|
|
#define EXPECT_TRAIT_TRUE(trait, ...) \
|
|
for_each_type<TypeList<__VA_ARGS__>>([]<typename T>(TypeWrapper<T>) { \
|
|
STATIC_EXPECT_TRUE(trait<T>); \
|
|
})
|
|
|
|
#define EXPECT_TRAIT_FALSE(trait, ...) \
|
|
for_each_type<TypeList<__VA_ARGS__>>([]<typename T>(TypeWrapper<T>) { \
|
|
STATIC_EXPECT_FALSE(trait<T>); \
|
|
})
|
|
|
|
#define EXPECT_EQ_WITH_TRAIT(trait, ListA, ListB) \
|
|
for_each_type_zipped<ListA, ListB>([]<typename A, typename B>(TypeWrapper<A>, TypeWrapper<B>) { \
|
|
STATIC_EXPECT_EQ(trait<A>, B); \
|
|
})
|
|
|
|
struct Empty {
|
|
};
|
|
|
|
enum class Enummer : u8 {
|
|
Dummmy,
|
|
};
|
|
|
|
TEST_CASE(FundamentalTypeClassification)
|
|
{
|
|
EXPECT_TRAIT_TRUE(IsVoid, void);
|
|
EXPECT_TRAIT_FALSE(IsVoid, int, Empty, std::nullptr_t);
|
|
|
|
EXPECT_TRAIT_TRUE(IsNullPointer, std::nullptr_t);
|
|
EXPECT_TRAIT_FALSE(IsNullPointer, void, int, Empty, decltype(0));
|
|
|
|
EXPECT_TRAIT_TRUE(IsFloatingPoint, float, double, long double);
|
|
EXPECT_TRAIT_FALSE(IsFloatingPoint, int, Empty, std::nullptr_t, void);
|
|
|
|
EXPECT_TRAIT_TRUE(IsArithmetic, float, double, long double, bool, size_t);
|
|
EXPECT_TRAIT_TRUE(IsArithmetic, char, signed char, unsigned char, char8_t, char16_t, char32_t);
|
|
EXPECT_TRAIT_TRUE(IsArithmetic, short, int, long, long long);
|
|
EXPECT_TRAIT_TRUE(IsArithmetic, unsigned short, unsigned int, unsigned long, unsigned long long);
|
|
|
|
EXPECT_TRAIT_FALSE(IsArithmetic, void, std::nullptr_t, Empty);
|
|
|
|
EXPECT_TRAIT_TRUE(IsFundamental, void, std::nullptr_t);
|
|
EXPECT_TRAIT_TRUE(IsFundamental, float, double, long double, bool, size_t);
|
|
EXPECT_TRAIT_TRUE(IsFundamental, char, signed char, unsigned char, char8_t, char16_t, char32_t);
|
|
EXPECT_TRAIT_TRUE(IsFundamental, short, int, long, long long);
|
|
EXPECT_TRAIT_TRUE(IsFundamental, unsigned short, unsigned int, unsigned long, unsigned long long);
|
|
|
|
EXPECT_TRAIT_FALSE(IsFundamental, Empty, int*, int&);
|
|
|
|
EXPECT_TRAIT_FALSE(IsSigned, unsigned);
|
|
EXPECT_TRAIT_FALSE(IsSigned, unsigned short);
|
|
EXPECT_TRAIT_FALSE(IsSigned, unsigned char);
|
|
EXPECT_TRAIT_FALSE(IsSigned, unsigned long);
|
|
EXPECT_TRAIT_TRUE(IsSigned, int);
|
|
EXPECT_TRAIT_TRUE(IsSigned, short);
|
|
EXPECT_TRAIT_TRUE(IsSigned, long);
|
|
|
|
EXPECT_TRAIT_TRUE(IsUnsigned, unsigned);
|
|
EXPECT_TRAIT_TRUE(IsUnsigned, unsigned short);
|
|
EXPECT_TRAIT_TRUE(IsUnsigned, unsigned char);
|
|
EXPECT_TRAIT_TRUE(IsUnsigned, unsigned long);
|
|
EXPECT_TRAIT_FALSE(IsUnsigned, int);
|
|
EXPECT_TRAIT_FALSE(IsUnsigned, short);
|
|
EXPECT_TRAIT_FALSE(IsUnsigned, long);
|
|
|
|
EXPECT_TRAIT_TRUE(IsEnum, Enummer);
|
|
EXPECT_TRAIT_FALSE(IsEnum, Empty);
|
|
EXPECT_TRAIT_FALSE(IsEnum, int);
|
|
EXPECT_TRAIT_FALSE(IsEnum, void);
|
|
EXPECT_TRAIT_FALSE(IsEnum, std::nullptr_t);
|
|
}
|
|
|
|
TEST_CASE(AddConst)
|
|
{
|
|
// clang-format off
|
|
using NoConstList = TypeList<int, const int, Empty, const Empty>;
|
|
using YesConstList = TypeList<const int, const int, const Empty, const Empty>;
|
|
// clang-format on
|
|
|
|
EXPECT_EQ_WITH_TRAIT(AddConst, NoConstList, YesConstList);
|
|
}
|
|
|
|
TEST_CASE(UnderlyingType)
|
|
{
|
|
using Type = UnderlyingType<Enummer>;
|
|
|
|
STATIC_EXPECT_EQ(Type, u8);
|
|
}
|