int main()
{
double z = 1.0;
cout << "Some inquiries into the nature of double:" << endl
<< "digits(z) = " << digits(z) << endl
<< "epsilon(z) = " << epsilon(z) << endl
<< "huge(z) = " << huge(z) << endl
<< "tiny(z) = " << tiny(z) << endl
<< "max_exponent(z) = " << max_exponent(z) << endl
<< "min_exponent(z) = " << min_exponent(z) << endl
<< "max_exponent10(z) = " << max_exponent10(z) << endl
<< "min_exponent10(z) = " << min_exponent10(z) << endl
<< "precision(z) = " << precision(z) << endl
<< "radix(z) = " << radix(z) << endl;
Range r = range(z);
cout << "range(z) = [ " << r.first() << ", " << r.last() << " ]"
<< endl;
cout << endl << "More obscure properties:" << endl
<< "is_signed(z) = " << is_signed(z) << endl
<< "is_integer(z) = " << is_integer(z) << endl
<< "is_exact(z) = " << is_exact(z) << endl
<< "round_error(z) = " << round_error(z) << endl
<< "has_infinity(z) = " << has_infinity(z) << endl
<< "has_quiet_NaN(z) = " << has_quiet_NaN(z) << endl
<< "has_signaling_NaN(z) = " << has_signaling_NaN(z) << endl
<< "has_denorm(z) = " << has_denorm(z) << endl
<< "has_denorm_loss(z) = " << has_denorm_loss(z) << endl
<< "infinity(z) = " << infinity(z) << endl
<< "quiet_NaN(z) = " << quiet_NaN(z) << endl
<< "signaling_NaN(z) = " << signaling_NaN(z) << endl
<< "denorm_min(z) = " << denorm_min(z) << endl
<< "is_iec559(z) = " << is_iec559(z) << endl
<< "is_bounded(z) = " << is_bounded(z) << endl
<< "is_modulo(z) = " << is_modulo(z) << endl
<< "traps(z) = " << traps(z) << endl
<< "tinyness_before(z) = " << tinyness_before(z) << endl;
return 0;
}
BOOST_DATA_TEST_CASE(
no_mask_create_success_test
, bdata::make(std::vector<std::uint8_t>{0x00, 0x01})
, value)
{
auto const sut = match::mpls_bos::create(value);
BOOST_TEST(sut.oxm_length() == sizeof(std::uint8_t));
BOOST_TEST(sut.oxm_value() == value);
BOOST_TEST(!sut.oxm_hasmask());
BOOST_TEST(sut.oxm_mask() == boost::none);
BOOST_TEST(sut.length()
== sizeof(std::uint32_t) + sizeof(std::uint8_t));
BOOST_TEST(!sut.is_wildcard());
BOOST_TEST(sut.is_exact());
}
BOOST_DATA_TEST_CASE(
has_mask_create_success_test
, bdata::make(std::vector<std::uint8_t>{0x00, 0x01})
^ bdata::make(std::vector<std::uint8_t>{0x01, 0x0f})
, value, mask)
{
auto const sut = match::mpls_bos::create(value, mask);
BOOST_TEST(sut.oxm_length() == 2 * sizeof(std::uint8_t));
BOOST_TEST(sut.oxm_value() == value);
BOOST_TEST_REQUIRE(sut.oxm_hasmask());
BOOST_TEST(*sut.oxm_mask() == mask);
BOOST_TEST(sut.length()
