mirror of
https://github.com/XRPLF/rippled.git
synced 2026-01-18 21:55:23 +00:00
The codebase is filled with includes that are unused, and which thus can be removed. At the same time, the files often do not include all headers that contain the definitions used in those files. This change uses clang-format and clang-tidy to clean up the includes, with minor manual intervention to ensure the code compiles on all platforms.
421 lines
11 KiB
C++
421 lines
11 KiB
C++
//------------------------------------------------------------------------------
|
|
/*
|
|
This file is part of rippled: https://github.com/ripple/rippled
|
|
Copyright (c) 2012, 2013 Ripple Labs Inc.
|
|
|
|
Permission to use, copy, modify, and/or distribute this software for any
|
|
purpose with or without fee is hereby granted, provided that the above
|
|
copyright notice and this permission notice appear in all copies.
|
|
|
|
THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
|
|
WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
|
|
MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
|
|
ANY SPECIAL , DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
|
|
WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
|
|
ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
|
|
OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
|
|
*/
|
|
//==============================================================================
|
|
|
|
#include <xrpl/beast/unit_test.h>
|
|
#include <xrpl/protocol/Quality.h>
|
|
|
|
#include <type_traits>
|
|
|
|
namespace ripple {
|
|
|
|
class Quality_test : public beast::unit_test::suite
|
|
{
|
|
public:
|
|
// Create a raw, non-integral amount from mantissa and exponent
|
|
STAmount static raw(std::uint64_t mantissa, int exponent)
|
|
{
|
|
return STAmount(Issue{Currency(3), AccountID(3)}, mantissa, exponent);
|
|
}
|
|
|
|
template <class Integer>
|
|
static STAmount
|
|
amount(
|
|
Integer integer,
|
|
std::enable_if_t<std::is_signed<Integer>::value>* = 0)
|
|
{
|
|
static_assert(std::is_integral<Integer>::value, "");
|
|
return STAmount(integer, false);
|
|
}
|
|
|
|
template <class Integer>
|
|
static STAmount
|
|
amount(
|
|
Integer integer,
|
|
std::enable_if_t<!std::is_signed<Integer>::value>* = 0)
|
|
{
|
|
static_assert(std::is_integral<Integer>::value, "");
|
|
if (integer < 0)
|
|
return STAmount(-integer, true);
|
|
return STAmount(integer, false);
|
|
}
|
|
|
|
template <class In, class Out>
|
|
static Amounts
|
|
amounts(In in, Out out)
|
|
{
|
|
return Amounts(amount(in), amount(out));
|
|
}
|
|
|
|
template <class In1, class Out1, class Int, class In2, class Out2>
|
|
void
|
|
ceil_in(
|
|
Quality const& q,
|
|
In1 in,
|
|
Out1 out,
|
|
Int limit,
|
|
In2 in_expected,
|
|
Out2 out_expected)
|
|
{
|
|
auto expect_result(amounts(in_expected, out_expected));
|
|
auto actual_result(q.ceil_in(amounts(in, out), amount(limit)));
|
|
|
|
BEAST_EXPECT(actual_result == expect_result);
|
|
}
|
|
|
|
template <class In1, class Out1, class Int, class In2, class Out2>
|
|
void
|
|
ceil_out(
|
|
Quality const& q,
|
|
In1 in,
|
|
Out1 out,
|
|
Int limit,
|
|
In2 in_expected,
|
|
Out2 out_expected)
|
|
{
|
|
auto const expect_result(amounts(in_expected, out_expected));
|
|
auto const actual_result(q.ceil_out(amounts(in, out), amount(limit)));
|
|
|
|
BEAST_EXPECT(actual_result == expect_result);
|
|
}
|
|
|
|
void
|
|
test_ceil_in()
|
|
{
|
|
testcase("ceil_in");
|
|
|
|
{
|
|
// 1 in, 1 out:
|
|
Quality q(Amounts(amount(1), amount(1)));
|
|
|
|
ceil_in(
|
|
q,
|
|
1,
|
|
1, // 1 in, 1 out
|
|
1, // limit: 1
|
|
1,
|
|
1); // 1 in, 1 out
|
|
|
|
ceil_in(
|
|
q,
|
|
10,
|
|
10, // 10 in, 10 out
|
|
5, // limit: 5
|
|
5,
|
|
5); // 5 in, 5 out
|
|
|
|
ceil_in(
|
|
q,
|
|
5,
|
|
5, // 5 in, 5 out
|
|
10, // limit: 10
|
|
5,
|
|
5); // 5 in, 5 out
|
|
}
|
|
|
|
{
|
|
// 1 in, 2 out:
|
|
Quality q(Amounts(amount(1), amount(2)));
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
40, // limit: 40
|
|
40,
|
|
80); // 40 in, 20 out
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
20, // limit: 20
|
|
20,
|
|
40); // 20 in, 40 out
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
60, // limit: 60
|
|
40,
|
|
80); // 40 in, 80 out
|
|
}
|
|
|
|
{
|
|
// 2 in, 1 out:
|
|
Quality q(Amounts(amount(2), amount(1)));
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
20, // limit: 20
|
|
20,
|
|
10); // 20 in, 10 out
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
40, // limit: 40
|
|
40,
|
|
20); // 40 in, 20 out
|
|
|
|
ceil_in(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
50, // limit: 40
|
|
40,
|
|
20); // 40 in, 20 out
|
|
}
|
|
}
|
|
|
|
void
|
|
test_ceil_out()
|
|
{
|
|
testcase("ceil_out");
|
|
|
|
{
|
|
// 1 in, 1 out:
|
|
Quality q(Amounts(amount(1), amount(1)));
|
|
|
|
ceil_out(
|
|
q,
|
|
1,
|
|
1, // 1 in, 1 out
|
|
1, // limit 1
|
|
1,
|
|
1); // 1 in, 1 out
|
|
|
|
ceil_out(
|
|
q,
|
|
10,
|
|
10, // 10 in, 10 out
|
|
5, // limit 5
|
|
5,
|
|
5); // 5 in, 5 out
|
|
|
|
ceil_out(
|
|
q,
|
|
10,
|
|
10, // 10 in, 10 out
|
|
20, // limit 20
|
|
10,
|
|
10); // 10 in, 10 out
|
|
}
|
|
|
|
{
|
|
// 1 in, 2 out:
|
|
Quality q(Amounts(amount(1), amount(2)));
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
40, // limit 40
|
|
20,
|
|
40); // 20 in, 40 out
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
80, // limit 80
|
|
40,
|
|
80); // 40 in, 80 out
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
80, // 40 in, 80 out
|
|
100, // limit 100
|
|
40,
|
|
80); // 40 in, 80 out
|
|
}
|
|
|
|
{
|
|
// 2 in, 1 out:
|
|
Quality q(Amounts(amount(2), amount(1)));
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
20, // limit 20
|
|
40,
|
|
20); // 40 in, 20 out
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
40, // limit 40
|
|
40,
|
|
20); // 40 in, 20 out
|
|
|
|
ceil_out(
|
|
q,
|
|
40,
|
|
20, // 40 in, 20 out
|
|
10, // limit 10
|
|
20,
|
|
10); // 20 in, 10 out
|
|
}
|
|
}
|
|
|
|
void
|
|
test_raw()
|
|
{
|
|
testcase("raw");
|
|
|
|
{
|
|
Quality q(0x5d048191fb9130daull); // 126836389.7680090
|
|
Amounts const value(
|
|
amount(349469768), // 349.469768 XRP
|
|
raw(2755280000000000ull, -15)); // 2.75528
|
|
STAmount const limit(
|
|
raw(4131113916555555, -16)); // .4131113916555555
|
|
Amounts const result(q.ceil_out(value, limit));
|
|
BEAST_EXPECT(result.in != beast::zero);
|
|
}
|
|
}
|
|
|
|
void
|
|
test_round()
|
|
{
|
|
testcase("round");
|
|
|
|
Quality q(0x59148191fb913522ull); // 57719.63525051682
|
|
BEAST_EXPECT(q.round(3).rate().getText() == "57800");
|
|
BEAST_EXPECT(q.round(4).rate().getText() == "57720");
|
|
BEAST_EXPECT(q.round(5).rate().getText() == "57720");
|
|
BEAST_EXPECT(q.round(6).rate().getText() == "57719.7");
|
|
BEAST_EXPECT(q.round(7).rate().getText() == "57719.64");
|
|
BEAST_EXPECT(q.round(8).rate().getText() == "57719.636");
|
|
BEAST_EXPECT(q.round(9).rate().getText() == "57719.6353");
|
|
BEAST_EXPECT(q.round(10).rate().getText() == "57719.63526");
|
|
BEAST_EXPECT(q.round(11).rate().getText() == "57719.635251");
|
|
BEAST_EXPECT(q.round(12).rate().getText() == "57719.6352506");
|
|
BEAST_EXPECT(q.round(13).rate().getText() == "57719.63525052");
|
|
BEAST_EXPECT(q.round(14).rate().getText() == "57719.635250517");
|
|
BEAST_EXPECT(q.round(15).rate().getText() == "57719.6352505169");
|
|
BEAST_EXPECT(q.round(16).rate().getText() == "57719.63525051682");
|
|
}
|
|
|
|
void
|
|
test_comparisons()
|
|
{
|
|
testcase("comparisons");
|
|
|
|
STAmount const amount1(noIssue(), 231);
|
|
STAmount const amount2(noIssue(), 462);
|
|
STAmount const amount3(noIssue(), 924);
|
|
|
|
Quality const q11(Amounts(amount1, amount1));
|
|
Quality const q12(Amounts(amount1, amount2));
|
|
Quality const q13(Amounts(amount1, amount3));
|
|
Quality const q21(Amounts(amount2, amount1));
|
|
Quality const q31(Amounts(amount3, amount1));
|
|
|
|
BEAST_EXPECT(q11 == q11);
|
|
BEAST_EXPECT(q11 < q12);
|
|
BEAST_EXPECT(q12 < q13);
|
|
BEAST_EXPECT(q31 < q21);
|
|
BEAST_EXPECT(q21 < q11);
|
|
BEAST_EXPECT(q11 >= q11);
|
|
BEAST_EXPECT(q12 >= q11);
|
|
BEAST_EXPECT(q13 >= q12);
|
|
BEAST_EXPECT(q21 >= q31);
|
|
BEAST_EXPECT(q11 >= q21);
|
|
BEAST_EXPECT(q12 > q11);
|
|
BEAST_EXPECT(q13 > q12);
|
|
BEAST_EXPECT(q21 > q31);
|
|
BEAST_EXPECT(q11 > q21);
|
|
BEAST_EXPECT(q11 <= q11);
|
|
BEAST_EXPECT(q11 <= q12);
|
|
BEAST_EXPECT(q12 <= q13);
|
|
BEAST_EXPECT(q31 <= q21);
|
|
BEAST_EXPECT(q21 <= q11);
|
|
BEAST_EXPECT(q31 != q21);
|
|
}
|
|
|
|
void
|
|
test_composition()
|
|
{
|
|
testcase("composition");
|
|
|
|
STAmount const amount1(noIssue(), 231);
|
|
STAmount const amount2(noIssue(), 462);
|
|
STAmount const amount3(noIssue(), 924);
|
|
|
|
Quality const q11(Amounts(amount1, amount1));
|
|
Quality const q12(Amounts(amount1, amount2));
|
|
Quality const q13(Amounts(amount1, amount3));
|
|
Quality const q21(Amounts(amount2, amount1));
|
|
Quality const q31(Amounts(amount3, amount1));
|
|
|
|
BEAST_EXPECT(composed_quality(q12, q21) == q11);
|
|
|
|
Quality const q13_31(composed_quality(q13, q31));
|
|
Quality const q31_13(composed_quality(q31, q13));
|
|
|
|
BEAST_EXPECT(q13_31 == q31_13);
|
|
BEAST_EXPECT(q13_31 == q11);
|
|
}
|
|
|
|
void
|
|
test_operations()
|
|
{
|
|
testcase("operations");
|
|
|
|
Quality const q11(
|
|
Amounts(STAmount(noIssue(), 731), STAmount(noIssue(), 731)));
|
|
|
|
Quality qa(q11);
|
|
Quality qb(q11);
|
|
|
|
BEAST_EXPECT(qa == qb);
|
|
BEAST_EXPECT(++qa != q11);
|
|
BEAST_EXPECT(qa != qb);
|
|
BEAST_EXPECT(--qb != q11);
|
|
BEAST_EXPECT(qa != qb);
|
|
BEAST_EXPECT(qb < qa);
|
|
BEAST_EXPECT(qb++ < qa);
|
|
BEAST_EXPECT(qb++ < qa);
|
|
BEAST_EXPECT(qb++ == qa);
|
|
BEAST_EXPECT(qa < qb);
|
|
}
|
|
void
|
|
run() override
|
|
{
|
|
test_comparisons();
|
|
test_composition();
|
|
test_operations();
|
|
test_ceil_in();
|
|
test_ceil_out();
|
|
test_raw();
|
|
test_round();
|
|
}
|
|
};
|
|
|
|
BEAST_DEFINE_TESTSUITE(Quality, protocol, ripple);
|
|
|
|
} // namespace ripple
|