From 5292c22e2c3fc8d8d2a2ef0a1115fe5e9a16ea4c Mon Sep 17 00:00:00 2001
From: Bruno BELANYI <bruno@belanyi.fr>
Date: Fri, 23 Aug 2024 21:55:33 +0100
Subject: [PATCH] Add test for minimal 'interval_map' type interface

Add `KeyInterface` (respectively `ValueInterface`). Those classes
provide the minimum documented interface for `K` (respectively `V`) in
`interval_map<K, V>`.
---
 tests/unit/unit_test.cc | 65 +++++++++++++++++++++++++++++++++++++++--
 1 file changed, 63 insertions(+), 2 deletions(-)

diff --git a/tests/unit/unit_test.cc b/tests/unit/unit_test.cc
index e488c79..288c811 100644
--- a/tests/unit/unit_test.cc
+++ b/tests/unit/unit_test.cc
@@ -2,6 +2,67 @@
 
 #include <interval-map/interval-map.hh>
 
-TEST(misc, passing) {
-    ASSERT_EQ(1, 1);
+#include <type_traits>
+
+template <typename T> class KeyInterface {
+public:
+    explicit KeyInterface(T val) : underlying_(val) {}
+
+    KeyInterface(KeyInterface const&) = default;
+    KeyInterface& operator=(KeyInterface const&) = default;
+
+    bool operator<(KeyInterface const& other) const {
+        return underlying_ < other.underlying_;
+    }
+
+private:
+    T underlying_;
+};
+
+template <typename T> struct std::numeric_limits<KeyInterface<T>> {
+    static KeyInterface<T> lowest() {
+        return KeyInterface(std::numeric_limits<T>::lowest());
+    }
+};
+
+static_assert(std::is_copy_constructible_v<KeyInterface<int>>);
+static_assert(std::is_copy_assignable_v<KeyInterface<int>>);
+static_assert(
+    std::is_same_v<KeyInterface<int>,
+                   decltype(std::numeric_limits<KeyInterface<int>>::lowest())>);
+
+template <typename T> class ValueInterface {
+public:
+    explicit ValueInterface(T val) : underlying_(val) {}
+
+    ValueInterface(ValueInterface const&) = default;
+    ValueInterface& operator=(ValueInterface const&) = default;
+
+    bool operator==(ValueInterface const& other) const {
+        return underlying_ == other.underlying_;
+    }
+
+private:
+    T underlying_;
+};
+
+template <typename T> struct std::numeric_limits<ValueInterface<T>> {
+    static ValueInterface<T> lowest() {
+        return ValueInterface(std::numeric_limits<T>::lowest());
+    }
+};
+
+static_assert(std::is_copy_constructible_v<ValueInterface<int>>);
+static_assert(std::is_copy_assignable_v<ValueInterface<int>>);
+static_assert(std::is_same_v<
+              ValueInterface<int>,
+              decltype(std::numeric_limits<ValueInterface<int>>::lowest())>);
+
+TEST(interval_map, minimal_interface) {
+    using Key = KeyInterface<char>;
+    using Value = ValueInterface<int>;
+
+    auto map = amby::interval_map<Key, Value>{Value(0)};
+    ASSERT_EQ(map[Key(0)], Value(0));
+    map.assign(Key(0), Key(1), Value(1));
 }