1 files changed, 61 insertions, 4 deletions

diff --git a/nihil.ucl/tests/integer.cc b/nihil.ucl/tests/integer.cc
index ad513ca..811a864 100644
--- a/nihil.ucl/tests/integer.cc
+++ b/nihil.ucl/tests/integer.cc
@@ -2,16 +2,30 @@
  * This source code is released into the public domain.
  */
 
+#include <concepts>
+#include <cstdint>
 #include <string>
 
 #include <catch2/catch_test_macros.hpp>
+#include <ucl.h>
 
 import nihil.ucl;
 
-TEST_CASE("ucl: integer: construct", "[ucl]")
+TEST_CASE("ucl: integer: invariants", "[ucl]")
 {
-	auto i = nihil::ucl::integer(42);
-	REQUIRE(i == 42);
+	using namespace nihil::ucl;
+
+	static_assert(std::same_as<std::int64_t, integer::contained_type>);
+	REQUIRE(integer::ucl_type == object_type::integer);
+	REQUIRE(static_cast<::ucl_type>(integer::ucl_type) == UCL_INT);
+
+	static_assert(std::destructible<integer>);
+	static_assert(std::default_initializable<integer>);
+	static_assert(std::move_constructible<integer>);
+	static_assert(std::copy_constructible<integer>);
+	static_assert(std::equality_comparable<integer>);
+	static_assert(std::totally_ordered<integer>);
+	static_assert(std::swappable<integer>);
 }
 
 TEST_CASE("ucl: integer: default construct", "[ucl]")
@@ -20,6 +34,42 @@ TEST_CASE("ucl: integer: default construct", "[ucl]")
 	REQUIRE(i == 0);
 }
 
+TEST_CASE("ucl: integer: construct", "[ucl]")
+{
+	auto i = nihil::ucl::integer(42);
+	REQUIRE(i == 42);
+}
+
+TEST_CASE("ucl: integer: swap", "[ucl]")
+{
+	// do not add using namespace nihil::ucl
+	
+	auto i1 = nihil::ucl::integer(1);
+	auto i2 = nihil::ucl::integer(2);
+
+	swap(i1, i2);
+
+	REQUIRE(i1 == 2);
+	REQUIRE(i2 == 1);
+}
+
+TEST_CASE("ucl: integer: value()", "[ucl]")
+{
+	auto i = nihil::ucl::integer(42);
+	REQUIRE(i.value() == 42);
+}
+
+TEST_CASE("ucl: integer: key()", "[ucl]")
+{
+	using namespace nihil::ucl;
+
+	auto obj = parse("an_int = 42");
+	REQUIRE(object_cast<integer>(obj["an_int"]).key() == "an_int");
+
+	auto i = nihil::ucl::integer(42);
+	REQUIRE(i.key() == "");
+}
+
 TEST_CASE("ucl: integer: operator==", "[ucl]")
 {
 	auto i = nihil::ucl::integer(42);
@@ -42,7 +92,7 @@ TEST_CASE("ucl: integer: operator<=>", "[ucl]")
 	REQUIRE(i > nihil::ucl::integer(1));
 }
 
-TEST_CASE("ucl: parse: integer", "[ucl]")
+TEST_CASE("ucl: integer: parse", "[ucl]")
 {
 	using namespace std::literals;
 
@@ -54,6 +104,13 @@ TEST_CASE("ucl: parse: integer", "[ucl]")
 
 TEST_CASE("ucl: integer: emit", "[ucl]")
 {
+	auto i = nihil::ucl::integer(42);
+	auto str = std::format("{}", i);
+	REQUIRE(str == "42");
+}
+
+TEST_CASE("ucl: integer: parse and emit", "[ucl]")
+{
 	auto ucl = nihil::ucl::parse("int = 42;");
 
 	auto output = std::string();