based

0 #define CATCH_CONFIG_RUNTIME_STATIC_REQUIRE

1

2 #include "based/concept/is_base_of.hpp"

3

4 #include <catch2/catch_test_macros.hpp>

5

6 TEST_CASE("IsBaseOf", "[concept/IsBaseOf]")

7 {

8 // clang-format off

9 class A {};

10 class B : A {};

11 class C : B {};

12 class D {};

13 union e {};

14 using I = int;

15

16 STATIC_REQUIRE(based::trait::IsBaseOf<A, A>);

17 STATIC_REQUIRE(based::trait::IsBaseOf<A, B>);

18 STATIC_REQUIRE(based::trait::IsBaseOf<A, C>);

19 STATIC_REQUIRE(not based::trait::IsBaseOf<A, D>);

20 STATIC_REQUIRE(not based::trait::IsBaseOf<B, A>);

21 STATIC_REQUIRE(not based::trait::IsBaseOf<e, e>);

22 STATIC_REQUIRE(not based::trait::IsBaseOf<I, I>);

23 // clang-format on

24 }