sol2/test_large_integer.cpp

#define SOL_CHECK_ARGUMENTS
#include <sol.hpp>

#include <catch.hpp>
#include <cstdint>
#include <limits>

TEST_CASE("large_integer/bool", "pass bool integral value to and from lua") {
	sol::state lua;
	lua.open_libraries();
	lua.set_function("f", [&](bool num) {
		REQUIRE(num == true);
		return num;
	});
	lua.script("x = f(true)");
	lua.script("assert(x == true)");
	sol::object x = lua["x"];
	REQUIRE(x.is<bool>());
	REQUIRE(x.as<bool>() == true);
	REQUIRE_FALSE(x.is<std::int32_t>());
	REQUIRE_THROWS([&lua]() {
		lua.script("f(1)");
	}());
}

TEST_CASE("large_integers/unsigned32", "pass large unsigned 32bit values to and from lua") {
	using T = std::uint32_t;
	sol::state lua;
	lua.open_libraries();
	lua.set_function("f", [&](T num) -> T {
		REQUIRE(num == 0xFFFFFFFF);
		return num;
	});
	lua.script("x = f(0xFFFFFFFF)");
	lua.script("assert(x == 0xFFFFFFFF)");
	sol::object x = lua["x"];
	REQUIRE(x.is<T>());
	REQUIRE(x.as<T>() == 0xFFFFFFFF);
}

TEST_CASE("large_integer/unsigned53", "pass large unsigned 53bit value to and from lua") {
	using T = std::uint64_t;
	sol::state lua;
	lua.open_libraries();
	lua.set_function("f", [&](T num) -> T {
		REQUIRE(num == 0x1FFFFFFFFFFFFFull);
		return num;
	});
	lua.script("x = f(0x1FFFFFFFFFFFFF)");
	lua.script("assert(x == 0x1FFFFFFFFFFFFF)");
	sol::object x = lua["x"];
	REQUIRE(x.is<T>());
	REQUIRE(x.as<T>() == 0x1FFFFFFFFFFFFFull);
}

TEST_CASE("large_integer/unsigned64", "pass too large unsigned 64bit value to lua") {
	using T = std::int64_t;
	sol::state lua;
	lua.open_libraries();
	lua.set_function("f", [&](T num) -> T {
		return num;
	});
	REQUIRE_THROWS([&lua]() {
		lua["f"](0xFFFFFFFFFFFFFFFFull);
	}());
}

TEST_CASE("large_integer/double", "pass negative and large positive values as signed and unsigned from and to lua") {
	sol::state lua;
	lua.open_libraries();
	lua.set_function("s32", [&](std::int32_t num) {
		return num;
	});
    lua.set_function("s64", [&](std::int64_t num) {
		return num;
	});
	lua.set_function("u32", [&](std::uint32_t num) {
		return num;
	});
	lua.set_function("u64", [&](std::uint64_t num) {
		return num;
	});
	//signed 32bit
	REQUIRE_NOTHROW([&lua]() {
		lua.script("x = s32(-1)");
		lua.script("assert(x == -1)");
		lua.script("x = s32(0xFFFFFFFF)");
		lua.script("assert(x == -1)");
		sol::object x = lua["x"];
		REQUIRE(x.is<std::int32_t>());
		REQUIRE(x.as<std::int32_t>() == -1);
		REQUIRE(x.is<std::uint32_t>());
		REQUIRE(x.as<std::uint32_t>() == 0xFFFFFFFF);
	}());
	//unsigned 32bit
	REQUIRE_NOTHROW([&lua]() {
		lua.script("x = u32(0xFFFFFFFF)");
		lua.script("assert(x == 0xFFFFFFFF)");
		lua.script("x = u32(-1)");
		lua.script("assert(x == 0xFFFFFFFF)");
		sol::object x = lua["x"];
		REQUIRE(x.is<std::int32_t>());
		REQUIRE(x.as<std::int32_t>() == -1);
		REQUIRE(x.is<std::uint32_t>());
		REQUIRE(x.as<std::uint32_t>() == 0xFFFFFFFF);
	}());
	//signed 64bit
	REQUIRE_NOTHROW([&lua]() {
		lua.script("x = s64(-1)");
		lua.script("assert(x == -1)");
		sol::object x = lua["x"];
		REQUIRE(x.is<std::int64_t>());
		REQUIRE(x.as<std::int64_t>() == -1);
		REQUIRE(x.is<std::uint64_t>());
		REQUIRE(x.as<std::uint64_t>() == 0xFFFFFFFFFFFFFFFFull);
	}());
}