From 46e028017b34f43d7aa8004ccef5a56fccf2826c Mon Sep 17 00:00:00 2001 From: Adrian Kummerlaender Date: Mon, 19 Jan 2015 18:19:44 +0100 Subject: Replaced Google-Test with `static_assert` based test cases * as everything this library does happens during compile time it can be checked using standard language features ** i.e. `static_assert` already offers everything needed for test cases in this situation --- CMakeLists.txt | 10 --- test.cc | 257 ++++++++++++++++++++++++++++++++++----------------------- 2 files changed, 154 insertions(+), 113 deletions(-) diff --git a/CMakeLists.txt b/CMakeLists.txt index ed284d4..289a4e7 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -14,13 +14,3 @@ add_executable( tests test.cc ) - -target_link_libraries( - tests - gtest -) - -add_custom_command( - TARGET tests - POST_BUILD COMMAND ./tests -) diff --git a/test.cc b/test.cc index aa98be9..5b4467a 100644 --- a/test.cc +++ b/test.cc @@ -1,5 +1,3 @@ -#include "gtest/gtest.h" - #include "type.h" #include "operation/math.h" #include "conditional/if.h" @@ -9,108 +7,161 @@ #include "list/operation/higher/fold.h" #include "list/operation/higher/misc.h" -class TypeAsValueTest : public ::testing::Test { }; +int main(int, char **) { } template using quadruple = tav::Multiply, Element>; -TEST_F(TypeAsValueTest, BasicMath) { - // (+ 1 2) - EXPECT_EQ(3, ( tav::Add, tav::Int<2>>::value )); - // (- 10 6) - EXPECT_EQ(4, ( tav::Substract, tav::Int<6>>::value )); - // (* 2 21) - EXPECT_EQ(42, ( tav::Multiply, tav::Int<21>>::value )); - // (/ 10 2) - EXPECT_EQ(5, ( tav::Divide, tav::Int<2>>::value )); -} - -TEST_F(TypeAsValueTest, Conditional) { - // (if #t 1 2) - EXPECT_EQ(1, ( tav::If, tav::Int<2>>::type::value )); - // (if #f 1 2) - EXPECT_EQ(2, ( tav::If, tav::Int<2>>::type::value )); -} - -TEST_F(TypeAsValueTest, Cons) { - // (car (cons 1 void)) - EXPECT_EQ(1, ( tav::Car, void>>::value )); - // (car (cons 1 2)) - EXPECT_EQ(1, ( tav::Car, tav::Int<2>>>::value )); - // (cdr (cons 1 2)) - EXPECT_EQ(2, ( tav::Cdr, tav::Int<2>>>::value )); - // (car (cdr (cons 1 (cons 2 3)))) - EXPECT_EQ(2, ( tav::Car, tav::Cons, tav::Int<3>>>>>::value )); -} - -TEST_F(TypeAsValueTest, List) { - // (length (list 1)) - EXPECT_EQ(1, ( tav::Length>::type>::type::value )); - // (length (list 1 2)) - EXPECT_EQ(2, ( tav::Length, tav::Int<2>>::type>::type::value )); - - // (head (list 1)) - EXPECT_EQ(1, ( tav::Head>::type>::value )); - // (head (list 1 2)) - EXPECT_EQ(1, ( tav::Head, tav::Int<2>>::type>::value )); - // (head (tail (list 1 2))) - EXPECT_EQ(2, ( tav::Head, tav::Int<2>>::type>>::value )); - // (head (tail (list 1 2 3))) - EXPECT_EQ(2, ( tav::Head, tav::Int<2>, tav::Int<3>>::type>>::value )); -} - -TEST_F(TypeAsValueTest, ListNth) { - // (nth 0 (list 1)) - EXPECT_EQ(1, ( tav::Nth, tav::List>::type>::type::value )); - // (nth 0 (list 1 2)) - EXPECT_EQ(1, ( tav::Nth, tav::List, tav::Int<2>>::type>::type::value )); - // (nth 1 (list 1 2)) - EXPECT_EQ(2, ( tav::Nth, tav::List, tav::Int<2>>::type>::type::value )); -} - -TEST_F(TypeAsValueTest, ListTake) { - // (length (take 1 (list 1 2))) - EXPECT_EQ(1, ( tav::Length, tav::List, tav::Int<2>>::type>::type>::type::value )); - // (length (take 2 (list 1 2))) - EXPECT_EQ(2, ( tav::Length, tav::List, tav::Int<2>>::type>::type>::type::value )); - // (length (take 3 (list 1 2))) - EXPECT_EQ(2, ( tav::Length, tav::List, tav::Int<2>>::type>::type>::type::value )); -} - -TEST_F(TypeAsValueTest, ListConcatenate) { - // (length (concatenate (list 1) (list 2))) - EXPECT_EQ(2, ( tav::Length>::type, tav::List>::type>::type>::type::value )); - // (length (concatenate (list 1 2) (list 3 4))) - EXPECT_EQ(4, ( tav::Length, tav::Int<2>>::type, tav::List, tav::Int<4>>::type>::type>::type::value )); - - // (head (concatenate (list 1) (list 2))) - EXPECT_EQ(1, ( tav::Head>::type, tav::List>::type>::type>::value )); - // (head (tail (concatenate (list 1) (list 2)))) - EXPECT_EQ(2, ( tav::Head>::type, tav::List>::type>::type>>::value )); -} - -TEST_F(TypeAsValueTest, ListFold) { - // (fold + 0 (list 1 2 3)) - EXPECT_EQ(6, ( tav::Fold, tav::List, tav::Int<2>, tav::Int<3>>::type>::type::value )); -} - -TEST_F(TypeAsValueTest, ListMap) { - // (map quadruple (list 1 2 3)) - EXPECT_TRUE(( std::is_same, tav::Int<8>, tav::Int<12>>::type, tav::Map, tav::Int<2>, tav::Int<3>>::type>::type>::value )); -} - -TEST_F(TypeAsValueTest, ListFilter) { - // (filter odd (list 1 2 3)) - EXPECT_TRUE(( std::is_same, tav::Int<3>>::type, tav::Filter, tav::Int<2>, tav::Int<3>>::type>::type>::value )); -} - -TEST_F(TypeAsValueTest, ListReverse) { - // (reverse (list 1 2 3)) - EXPECT_TRUE(( std::is_same, tav::Int<2>, tav::Int<1>>::type, tav::Reverse, tav::Int<2>, tav::Int<3>>::type>::type>::value )); -} - -int main(int argc, char **argv) { - testing::InitGoogleTest(&argc, argv); - - return RUN_ALL_TESTS(); -} +// basic math operations + +static_assert( + std::is_same, tav::Add, tav::Int<2>>>::value, + "(+ 1 2) != 3" +); + +static_assert( + std::is_same, tav::Substract, tav::Int<6>>>::value, + "(- 10 6) != 4" +); + +static_assert( + std::is_same, tav::Multiply, tav::Int<21>>>::value, + "(* 2 21) != 42" +); + +static_assert( + std::is_same, tav::Divide, tav::Int<2>>>::value, + "(/ 10 2) != 42" +); + +// conditionals + +static_assert( + std::is_same, tav::If, tav::Int<2>>::type>::value, + "(if #t 1 2) != 1" +); + +static_assert( + std::is_same, tav::If, tav::Int<2>>::type>::value, + "(if #f 1 2) != 2" +); + +// cons + +static_assert( + std::is_same, tav::Car, void>>>::value, + "(car (cons 1 void)) != 1" +); + +static_assert( + std::is_same, tav::Car, tav::Int<2>>>>::value, + "(car (cons 1 2)) != 1" +); + +static_assert( + std::is_same, tav::Cdr, tav::Int<2>>>>::value, + "(cdr (cons 1 2)) != 2" +); + +static_assert( + std::is_same, tav::Car, tav::Cons, tav::Int<3>>>>>>::value, + "(car (cdr (cons 1 (cons 2 3)))) != 2" +); + +// list + +static_assert( + std::is_same, void>, tav::List>::type>::value, + "(list 1) != (cons 1 void)" +); + +static_assert( + std::is_same, tav::Cons, void>>, tav::List, tav::Int<2>>::type>::value, + "(list 1 2) != (cons 1 (cons 2 void))" +); + +// list length + +static_assert( + std::is_same, tav::Length>::type>::type>::value, + "(length (list 1)) != 1" +); + +static_assert( + std::is_same, tav::Length, tav::Int<2>>::type>::type>::value, + "(length (list 1 2)) != 2" +); + +// list nth + +static_assert( + std::is_same, tav::Nth, tav::List>::type>::type>::value, + "(nth 0 (list 1)) != 1" +); + +static_assert( + std::is_same, tav::Nth, tav::List, tav::Int<2>>::type>::type>::value, + "(nth 0 (list 1 2)) != 1" +); + +static_assert( + std::is_same, tav::Nth, tav::List, tav::Int<2>>::type>::type>::value, + "(nth 1 (list 1 2)) != 2" +); + +// list take + +static_assert( + std::is_same, tav::Length, tav::List, tav::Int<2>>::type>::type>::type>::value, + "(length (take 1 (list 1 2))) != 1" +); + +static_assert( + std::is_same, tav::Length, tav::List, tav::Int<2>>::type>::type>::type>::value, + "(length (take 2 (list 1 2))) != 2" +); + +static_assert( + std::is_same, tav::Length, tav::List, tav::Int<2>>::type>::type>::type>::value, + "(length (take 3 (list 1 2))) != 2" +); + +// list concatenate + +static_assert( + std::is_same, tav::Length>::type, tav::List>::type>::type>::type>::value, + "(length (concatenate (list 1) (list 2))) != 2" +); + +static_assert( + std::is_same, tav::Length, tav::Int<2>>::type, tav::List, tav::Int<4>>::type>::type>::type>::value, + "(length (concatenate (list 1 2) (list 3 4))) != 4" +); + +// list fold + +static_assert( + std::is_same, tav::Fold, tav::List, tav::Int<2>, tav::Int<3>>::type>::type>::value, + "(fold + 0 (list 1 2 3)) != 6" +); + +// list map + +static_assert( + std::is_same, tav::Int<8>, tav::Int<12>>::type, tav::Map, tav::Int<2>, tav::Int<3>>::type>::type>::value, + "(map quadruple (list 1 2 3)) != (list 4 8 12)" +); + +// list filter + +static_assert( + std::is_same, tav::Int<3>>::type, tav::Filter, tav::Int<2>, tav::Int<3>>::type>::type>::value, + "(filter odd (list 1 2 3)) != (list 1 3)" +); + +// list reverse + +static_assert( + std::is_same, tav::Int<2>, tav::Int<1>>::type, tav::Reverse, tav::Int<2>, tav::Int<3>>::type>::type>::value, + "(reverse (list 1 2 3)) != (list 3 2 1)" +); -- cgit v1.2.3