From 83eae6f3280b237ff4fb080947658cc91fde9532 Mon Sep 17 00:00:00 2001
From: Lexi Winter <lexi@le-fay.org>
Date: Wed, 2 Jul 2025 02:17:11 +0100
Subject: error: add more tests

---
 nihil.error/test.cc | 164 ----------------------------------------------------
 1 file changed, 164 deletions(-)
 delete mode 100644 nihil.error/test.cc

(limited to 'nihil.error/test.cc')

diff --git a/nihil.error/test.cc b/nihil.error/test.cc
deleted file mode 100644
index 0f4f93f..0000000
--- a/nihil.error/test.cc
+++ /dev/null
@@ -1,164 +0,0 @@
-// This source code is released into the public domain.
-
-#include <catch2/catch_test_macros.hpp>
-
-import nihil.std;
-import nihil.error;
-
-TEST_CASE("error: invariants", "[nihil]")
-{
-	static_assert(std::destructible<nihil::error>);
-	static_assert(std::default_initializable<nihil::error>);
-	static_assert(std::move_constructible<nihil::error>);
-	static_assert(std::copy_constructible<nihil::error>);
-	static_assert(std::equality_comparable<nihil::error>);
-	static_assert(std::totally_ordered<nihil::error>);
-	static_assert(std::swappable<nihil::error>);
-	static_assert(std::regular<nihil::error>);
-}
-
-TEST_CASE("error: construct from string", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e = error("an error");
-	REQUIRE(e.full_str() == "an error");
-	REQUIRE(e.this_str() == e.full_str());
-	REQUIRE(std::format("{}", e) == e.full_str());
-}
-
-TEST_CASE("error: construct from std::error_condition", "[nihil]")
-{
-	using namespace nihil;
-
-	auto code = std::make_error_condition(std::errc::invalid_argument);
-	auto e = error(code);
-
-	REQUIRE(!e.cause());
-	REQUIRE(e.code().has_value() == false);
-	REQUIRE(e.condition().has_value() == true);
-
-	REQUIRE(e == std::errc::invalid_argument);
-	REQUIRE(e != std::errc::no_such_file_or_directory);
-
-	REQUIRE(e.full_str() == std::strerror(EINVAL));
-	REQUIRE(e.this_str() == e.full_str());
-	REQUIRE(std::format("{}", e) == e.full_str());
-}
-
-TEST_CASE("error: construct from std::errc", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e = error(std::errc::invalid_argument);
-
-	REQUIRE(!e.cause());
-	REQUIRE(e.code().has_value() == false);
-	REQUIRE(e.condition().has_value() == true);
-
-	REQUIRE(e == std::errc::invalid_argument);
-	REQUIRE(e != std::errc::no_such_file_or_directory);
-
-	REQUIRE(e.full_str() == std::strerror(EINVAL));
-	REQUIRE(e.this_str() == e.full_str());
-	REQUIRE(std::format("{}", e) == e.full_str());
-}
-
-TEST_CASE("error: compound error", "[nihil]")
-{
-	using namespace std::literals;
-	using namespace nihil;
-
-	auto e = error("cannot open file",
-			error(std::errc::no_such_file_or_directory));
-
-	REQUIRE(e.cause());
-	REQUIRE(e.code().has_value() == false);
-	REQUIRE(e.condition().has_value() == false);
-
-	REQUIRE(*e.cause() == std::errc::no_such_file_or_directory);
-
-	REQUIRE(e.full_str() == ("cannot open file: "s + std::strerror(ENOENT)));
-	REQUIRE(e.this_str() == "cannot open file");
-	REQUIRE(std::format("{}", e) == e.full_str());
-}
-
-TEST_CASE("error: operator== with strings", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e1 = error("error");
-	auto e2 = error("error");
-	auto e3 = error("an error");
-
-	REQUIRE(e1 == e2);
-	REQUIRE(e1 != e3);
-}
-
-TEST_CASE("error: operator< with strings", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e1 = error("aaa");
-	auto e2 = error("zzz");
-
-	REQUIRE(e1 < e2);
-}
-
-TEST_CASE("error: operator== with a cause", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e1 = error("error", error("cause 1"));
-	auto e2 = error("error", error("cause 2"));
-
-	REQUIRE(e1 == e2);
-}
-
-TEST_CASE("error: operator== with error_conditions", "[nihil]")
-{
-	using namespace nihil;
-
-	auto e1 = error(std::errc::invalid_argument);
-	auto e2 = error(std::errc::invalid_argument);
-	auto e3 = error(std::errc::permission_denied);
-
-	REQUIRE(e1 == e2);
-	REQUIRE(e1 != e3);
-}
-
-TEST_CASE("error: std::format with string", "[nihil]")
-{
-	using namespace nihil;
-
-	auto err = error("an error");
-	REQUIRE(std::format("{}", err) == "an error");
-}
-
-TEST_CASE("error: std::format with std::errc", "[nihil]")
-{
-	using namespace nihil;
-
-	auto err = error(std::errc::invalid_argument);
-	REQUIRE(std::format("{}", err) == std::strerror(EINVAL));
-}
-
-TEST_CASE("error: std::format with cause", "[nihil]")
-{
-	using namespace nihil;
-
-	auto err = error("an error", std::errc::invalid_argument);
-	REQUIRE(std::format("{}", err) == "an error: Invalid argument");
-}
-
-TEST_CASE("error: throw and catch", "[nihil]")
-{
-	using namespace std::literals;
-	using namespace nihil;
-
-	try {
-		throw error("oh no", error(std::errc::invalid_argument));
-	} catch (std::exception const &exc) {
-		REQUIRE(exc.what() == "oh no: Invalid argument"s);
-	}
-}
-- 
cgit v1.2.3