add nihil.std

1 files changed, 0 insertions, 248 deletions

diff --git a/nihil.ucl/tests/real.cc b/nihil.ucl/tests/real.cc
deleted file mode 100644
index 421917e..0000000
--- a/nihil.ucl/tests/real.cc
+++ /dev/null
@@ -1,248 +0,0 @@
-/*
- * This source code is released into the public domain.
- */
-
-#include <concepts>
-#include <string>
-
-#include <catch2/catch_test_macros.hpp>
-#include <catch2/matchers/catch_matchers_floating_point.hpp>
-#include <ucl.h>
-
-import nihil.ucl;
-
-TEST_CASE("ucl: real: invariants", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	static_assert(std::same_as<double, real::contained_type>);
-	REQUIRE(real::ucl_type == object_type::real);
-	REQUIRE(static_cast<::ucl_type>(real::ucl_type) == UCL_FLOAT);
-
-	static_assert(std::destructible<real>);
-	static_assert(std::default_initializable<real>);
-	static_assert(std::move_constructible<real>);
-	static_assert(std::copy_constructible<real>);
-	static_assert(std::equality_comparable<real>);
-	static_assert(std::totally_ordered<real>);
-	static_assert(std::swappable<real>);
-}
-
-TEST_CASE("ucl: real: constructor", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("default") {
-		auto r = real();
-		REQUIRE(r == 0);
-	}
-
-	SECTION("with value") {
-		auto r = real(42.1);
-		REQUIRE_THAT(r.value(), Catch::Matchers::WithinRel(42.1));
-	}
-}
-
-TEST_CASE("ucl: real: literal", "[ucl]")
-{
-	SECTION("with namespace nihil::ucl::literals") {
-		using namespace nihil::ucl::literals;
-
-		auto r = 42.5_ucl;
-		REQUIRE(r.type() == nihil::ucl::object_type::real);
-		REQUIRE_THAT(r.value(), Catch::Matchers::WithinRel(42.5));
-	}
-
-	SECTION("with namespace nihil::literals") {
-		using namespace nihil::literals;
-
-		auto r = 42.5_ucl;
-		REQUIRE(r.type() == nihil::ucl::object_type::real);
-		REQUIRE_THAT(r.value(), Catch::Matchers::WithinRel(42.5));
-	}
-}
-
-TEST_CASE("ucl: real: construct from UCL object", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("ref, correct type") {
-		auto uobj = ::ucl_object_fromdouble(42);
-
-		auto r = real(ref, uobj);
-		REQUIRE(r == 42);
-
-		::ucl_object_unref(uobj);
-	}
-
-	SECTION("noref, correct type") {
-		auto uobj = ::ucl_object_fromdouble(42);
-
-		auto r = real(noref, uobj);
-		REQUIRE(r == 42);
-	}
-
-	SECTION("ref, wrong type") {
-		auto uobj = ::ucl_object_fromint(42);
-
-		REQUIRE_THROWS_AS(real(ref, uobj), type_mismatch);
-
-		::ucl_object_unref(uobj);
-	}
-
-	SECTION("noref, wrong type") {
-		auto uobj = ::ucl_object_fromint(42);
-
-		REQUIRE_THROWS_AS(real(noref, uobj), type_mismatch);
-
-		::ucl_object_unref(uobj);
-	}
-}
-
-TEST_CASE("ucl: real: make_real", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("default value") {
-		auto i = make_real().value();
-		REQUIRE(i == 0);
-	}
-
-	SECTION("explicit value") {
-		auto i = make_real(42).value();
-		REQUIRE(i == 42);
-	}
-}
-
-TEST_CASE("ucl: real: swap", "[ucl]")
-{
-	// do not add using namespace nihil::ucl
-	
-	auto r1 = nihil::ucl::real(1);
-	auto r2 = nihil::ucl::real(2);
-
-	swap(r1, r2);
-
-	REQUIRE(r1 == 2.);
-	REQUIRE(r2 == 1.);
-}
-
-TEST_CASE("ucl: real: value()", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	auto r = 42.5_ucl;
-	REQUIRE_THAT(r.value(), Catch::Matchers::WithinRel(42.5));
-}
-
-TEST_CASE("ucl: real: key()", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("parsed with key") {
-		auto obj = parse("a_real = 42.5").value();
-		auto r = object_cast<real>(obj["a_real"]).value();
-		REQUIRE(r.key() == "a_real");
-	}
-
-	SECTION("bare real, no key") {
-		auto i = 42.5_ucl;
-		REQUIRE(i.key() == "");
-	}
-}
-
-TEST_CASE("ucl: real: comparison", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	auto i = nihil::ucl::real(42.5);
-
-	SECTION("operator==") {
-		REQUIRE(i == 42.5);
-		REQUIRE(i == 42.5_ucl);
-	}
-
-	SECTION("operator!=") {
-		REQUIRE(i != 1);
-		REQUIRE(i != 1._ucl);
-	}
-
-	SECTION("operator<") {
-		REQUIRE(i < 43);
-		REQUIRE(i < 43._ucl);
-	}
-
-	SECTION("operator>") {
-		REQUIRE(i > 1);
-		REQUIRE(i > 1._ucl);
-	}
-}
-
-TEST_CASE("ucl: real: parse", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	auto obj = parse("value = 42.1").value();
-
-	auto v = obj["value"];
-	REQUIRE(v.key() == "value");
-	REQUIRE_THAT(object_cast<real>(v).value().value(),
-		     Catch::Matchers::WithinRel(42.1));
-}
-
-TEST_CASE("ucl: real: parse and emit", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	auto ucl = parse("real = 42.2").value();
-
-	auto output = std::string();
-	emit(ucl, emitter::configuration, std::back_inserter(output));
-
-	REQUIRE(output == "real = 42.2;\n");
-}
-
-TEST_CASE("ucl: real: format", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("bare real") {
-		auto str = std::format("{}", 42.5_ucl);
-		REQUIRE(str == "42.5");
-	}
-
-	SECTION("parsed real") {
-		auto obj = parse("real = 42.5;").value();
-		auto r = object_cast<real>(obj["real"]).value();
-
-		auto str = std::format("{}", r);
-		REQUIRE(str == "42.5");
-	}
-
-	SECTION("with format string") {
-		auto str = std::format("{:10.5f}", 42.5_ucl);
-		REQUIRE(str == "  42.50000");
-	}
-}
-
-TEST_CASE("ucl: real: print to ostream", "[ucl]")
-{
-	using namespace nihil::ucl;
-
-	SECTION("bare real") {
-		auto strm = std::ostringstream();
-		strm << 42.5_ucl;
-
-		REQUIRE(strm.str() == "42.5");
-	}
-
-	SECTION("parsed real") {
-		auto obj = parse("real = 42.5;").value();
-		auto i = object_cast<real>(obj["real"]).value();
-
-		auto strm = std::ostringstream();
-		strm << i;
-
-		REQUIRE(strm.str() == "42.5");
-	}
-}