From 7faa51c10ed53e91169f48a7e5fd3cb3018fac5b Mon Sep 17 00:00:00 2001
From: Martchus <martchus@gmx.net>
Date: Mon, 8 May 2017 19:59:29 +0200
Subject: [PATCH] Test traits

---
 CMakeLists.txt        |  1 +
 tests/traitstests.cpp | 33 +++++++++++++++++++++++++++++++++
 2 files changed, 34 insertions(+)
 create mode 100644 tests/traitstests.cpp

diff --git a/CMakeLists.txt b/CMakeLists.txt
index db020f5..f48945b 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -69,6 +69,7 @@ set(TEST_SRC_FILES
     tests/iotests.cpp
     tests/chronotests.cpp
     tests/argumentparsertests.cpp
+    tests/traitstests.cpp
 )
 
 set(CMAKE_MODULE_FILES
diff --git a/tests/traitstests.cpp b/tests/traitstests.cpp
new file mode 100644
index 0000000..7111e08
--- /dev/null
+++ b/tests/traitstests.cpp
@@ -0,0 +1,33 @@
+#include "../misc/traits.h"
+
+#include <list>
+#include <map>
+#include <string>
+#include <vector>
+
+using namespace std;
+using namespace Traits;
+
+struct SomeStruct {
+    string foo;
+    int bar;
+};
+
+static_assert(!Bool<false>::value, "Bool<false>");
+static_assert(Bool<true>::value, "Bool<true>");
+static_assert(!Not<Bool<true>>::value, "Not");
+static_assert(!Any<Bool<false>, Bool<false>>::value, "Any: negative case");
+static_assert(Any<Bool<true>, Bool<false>>::value, "Any: positive case");
+static_assert(!All<Bool<true>, Bool<false>>::value, "All: negative case");
+static_assert(All<Bool<true>, Bool<true>>::value, "All: positive case");
+
+static_assert(!IsSpecializationOf<string, basic_stringbuf>::value, "IsSpecializationOf: negative case");
+static_assert(IsSpecializationOf<string, basic_string>::value, "IsSpecializationOf: positive case");
+
+static_assert(!IsIteratable<int>::value, "IsIterator: negative case");
+static_assert(!IsIteratable<SomeStruct>::value, "IsIterator: negative case");
+static_assert(IsIteratable<string>::value, "IsIterator: positive case");
+static_assert(IsIteratable<vector<int>>::value, "IsIterator: positive case");
+static_assert(IsIteratable<list<string>>::value, "IsIterator: positive case");
+static_assert(IsIteratable<map<string, string>>::value, "IsIterator: positive case");
+static_assert(IsIteratable<initializer_list<double>>::value, "IsIterator: positive case");