From 0fa623093366351ad47583f47add6e51f56a56d8 Mon Sep 17 00:00:00 2001
From: Lexi Winter <lexi@le-fay.org>
Date: Mon, 23 Jun 2025 00:32:38 +0100
Subject: nihil.ucl: improve tests

---
 nihil.ucl/tests/boolean.cc | 62 +++++++++++++++++++++++++++++++++++++++++++---
 1 file changed, 59 insertions(+), 3 deletions(-)

(limited to 'nihil.ucl/tests/boolean.cc')

diff --git a/nihil.ucl/tests/boolean.cc b/nihil.ucl/tests/boolean.cc
index ed5e1d7..49dc408 100644
--- a/nihil.ucl/tests/boolean.cc
+++ b/nihil.ucl/tests/boolean.cc
@@ -2,16 +2,29 @@
  * This source code is released into the public domain.
  */
 
+#include <concepts>
 #include <string>
 
 #include <catch2/catch_test_macros.hpp>
+#include <ucl.h>
 
 import nihil.ucl;
 
-TEST_CASE("ucl: boolean: construct", "[ucl]")
+TEST_CASE("ucl: boolean: invariants", "[ucl]")
 {
-	auto b = nihil::ucl::boolean(true);
-	REQUIRE(b == true);
+	using namespace nihil::ucl;
+
+	static_assert(std::same_as<bool, boolean::contained_type>);
+	REQUIRE(boolean::ucl_type == object_type::boolean);
+	REQUIRE(static_cast<::ucl_type>(boolean::ucl_type) == UCL_BOOLEAN);
+
+	static_assert(std::destructible<boolean>);
+	static_assert(std::default_initializable<boolean>);
+	static_assert(std::move_constructible<boolean>);
+	static_assert(std::copy_constructible<boolean>);
+	static_assert(std::equality_comparable<boolean>);
+	static_assert(std::totally_ordered<boolean>);
+	static_assert(std::swappable<boolean>);
 }
 
 TEST_CASE("ucl: boolean: default construct", "[ucl]")
@@ -20,6 +33,42 @@ TEST_CASE("ucl: boolean: default construct", "[ucl]")
 	REQUIRE(b == false);
 }
 
+TEST_CASE("ucl: boolean: construct from value", "[ucl]")
+{
+	auto b = nihil::ucl::boolean(true);
+	REQUIRE(b == true);
+}
+
+TEST_CASE("ucl: boolean: swap", "[ucl]")
+{
+	// do not add using namespace nihil::ucl
+	
+	auto b1 = nihil::ucl::boolean(true);
+	auto b2 = nihil::ucl::boolean(false);
+
+	swap(b1, b2);
+
+	REQUIRE(b1 == false);
+	REQUIRE(b2 == true);
+}
+
+TEST_CASE("ucl: boolean: value()", "[ucl]")
+{
+	auto b = nihil::ucl::boolean(true);
+	REQUIRE(b.value() == true);
+}
+
+TEST_CASE("ucl: boolean: key()", "[ucl]")
+{
+	using namespace nihil::ucl;
+
+	auto obj = parse("a_bool = true");
+	REQUIRE(object_cast<boolean>(obj["a_bool"]).key() == "a_bool");
+
+	auto b = nihil::ucl::boolean(true);
+	REQUIRE(b.key() == "");
+}
+
 TEST_CASE("ucl: boolean: operator==", "[ucl]")
 {
 	auto b = nihil::ucl::boolean(true);
@@ -53,6 +102,13 @@ TEST_CASE("ucl: boolean: parse", "[ucl]")
 }
 
 TEST_CASE("ucl: boolean: emit", "[ucl]")
+{
+	auto b = nihil::ucl::boolean(true);
+	auto str = std::format("{}", b);
+	REQUIRE(str == "true");
+}
+
+TEST_CASE("ucl: boolean: parse and emit", "[ucl]")
 {
 	auto ucl = nihil::ucl::parse("bool = true;");
 
-- 
cgit v1.2.3