20#include <xrpl/basics/random.h>
21#include <xrpl/ledger/BookDirs.h>
22#include <xrpl/ledger/Sandbox.h>
23#include <xrpl/protocol/Feature.h>
24#include <xrpl/protocol/Protocol.h>
25#include <xrpl/protocol/TER.h>
26#include <xrpl/protocol/jss.h>
41 BEAST_EXPECT(i < 17577);
45 for (
int j = 0; j != 3; ++j)
66 p->setFieldU64(sfIndexNext, 0);
68 p->setFieldU64(sfIndexNext, i + 1);
71 p->setFieldU64(sfIndexPrevious, n - 1);
73 p->setFieldU64(sfIndexPrevious, i - 1);
89 testcase(
"Directory Ordering (with 'SortedDirectories' amendment)");
92 env.
fund(
XRP(10000000), alice, gw);
103 auto const view = env.
closed();
113 auto const& v = p->getFieldV256(sfIndexes);
122 for (
auto const& e : v)
126 BEAST_EXPECT(c->getFieldU32(sfSequence) >= minSeq);
127 BEAST_EXPECT(c->getFieldU32(sfSequence) < maxSeq);
130 page = p->getFieldU64(sfIndexNext);
140 for (
auto const&
offer : book)
143 BEAST_EXPECT(
offer->getFieldAmount(sfTakerPays) == USD(count));
144 BEAST_EXPECT(
offer->getFieldAmount(sfTakerGets) ==
XRP(count));
154 auto const alice =
Account(
"alice");
155 auto const bob =
Account(
"bob");
156 auto const charlie =
Account(
"charlie");
161 env.
fund(
XRP(1000000), alice, charlie, gw);
168 env(
signers(alice, 1, {{bob, 1}}));
190 auto cl = currencies;
192 for (
auto const& c : cl)
194 env(
trust(alice, c(50)));
202 for (
auto const& c : cl)
204 env(
trust(alice, c(0)));
214 auto cl = currencies;
218 for (
auto c : currencies)
220 env(
trust(charlie, c(50)));
222 env(
pay(gw, charlie, c(50)));
235 for (
auto const& c : cl)
237 env(
offer(charlie,
XRP(50), c(50)));
246 for (
auto const& c : cl)
248 env(
pay(alice, charlie, c(50)));
259 testcase(
"RIPD-1353 Empty Offer Directories");
264 auto const gw =
Account{
"gateway"};
265 auto const alice =
Account{
"alice"};
266 auto const USD = gw[
"USD"];
268 env.
fund(
XRP(10000), alice, gw);
270 env.
trust(USD(1000), alice);
271 env(
pay(gw, alice, USD(1000)));
273 auto const firstOfferSeq = env.
seq(alice);
276 for (
int i = 0; i < 3; ++i)
282 for (
auto page : {0, 2, 1})
307 env.
trust(USD(0), alice);
308 env(
pay(alice, gw, alice[
"USD"](1000)));
322 auto const gw =
Account{
"gateway"};
323 auto const alice =
Account{
"alice"};
324 auto const USD = gw[
"USD"];
330 "fb71c9aa3310141da4b01d6c744a98286af2d72ab5448d5adc0910ca0c910880");
333 "bad0f021aa3b2f6754a8fe82a5779730aa0bbbab82f17201ef24900efc2c7312");
347 p->setFieldV256(sfIndexes, v);
372 p1->setFieldV256(sfIndexes, v1);
380 p2->setFieldV256(sfIndexes, v2);
394 BEAST_EXPECT(p1->getFieldU64(sfIndexNext) == 0);
395 BEAST_EXPECT(p1->getFieldU64(sfIndexPrevious) == 0);
399 BEAST_EXPECT(p0->getFieldU64(sfIndexNext) == 1);
400 BEAST_EXPECT(p0->getFieldU64(sfIndexPrevious) == 1);
410 auto const gw =
Account{
"gateway"};
411 auto const alice =
Account{
"alice"};
412 auto const USD = gw[
"USD"];
414 auto ledger_data = [
this](
Env& env) {
416 params[jss::type] = jss::directory;
417 params[jss::ledger_index] =
"validated";
419 env.rpc(
"json",
"ledger_data",
to_string(params))[jss::result];
420 BEAST_EXPECT(!result.isMember(jss::marker));
426 env.
fund(
XRP(10000), alice, gw);
428 env.
trust(USD(1000), alice);
429 env(
pay(gw, alice, USD(1000)));
433 auto const jrr = ledger_data(env);
434 auto const& jstate = jrr[jss::state];
436 for (
auto const& directory : jstate)
439 directory[
"LedgerEntryType"] ==
443 BEAST_EXPECT(!directory.isMember(
"PreviousTxnID"));
444 BEAST_EXPECT(!directory.isMember(
"PreviousTxnLgrSeq"));
455 auto const txID =
to_string(env.
tx()->getTransactionID());
456 auto const ledgerSeq = env.
current()->info().seq;
463 auto const jrr = ledger_data(env);
464 auto const& jstate = jrr[jss::state];
466 for (
auto const& directory : jstate)
469 directory[
"LedgerEntryType"] ==
471 if (directory[jss::Owner] == gw.human())
475 BEAST_EXPECT(!directory.isMember(
"PreviousTxnID"));
476 BEAST_EXPECT(!directory.isMember(
"PreviousTxnLgrSeq"));
484 directory.isMember(
"PreviousTxnID") &&
485 directory[
"PreviousTxnID"].asString() == txID);
487 directory.isMember(
"PreviousTxnLgrSeq") &&
488 directory[
"PreviousTxnLgrSeq"].asUInt() == ledgerSeq);
497 using namespace test::jtx;
500 auto const testCase = [&,
this](
FeatureBitset features,
auto setup) {
501 using namespace test::jtx;
503 Env env(*
this, features);
507 auto const [lastPage, full] = setup(env);
510 for (
int i = 0; i < 63; ++i)
524 auto sle = view.peek({ltCREDENTIAL, key});
525 if (!BEAST_EXPECT(sle))
528 BEAST_EXPECT(page == lastPage);
529 sle->setFieldU64(sfIssuerNode, page);
544 for (
int i = 0; i < 64; ++i)
553 BEAST_EXPECT(sle ==
nullptr);
562 testcase(
"directory full without fixDirectoryLimit");
568 testcase(
"directory not full with fixDirectoryLimit");
574 testcase(
"directory full with fixDirectoryLimit");
582 testDirectoryOrdering();
testcase_t testcase
Memberspace for declaring test cases.
Writeable view to a ledger, for applying a transaction.
virtual void update(std::shared_ptr< SLE > const &sle)=0
Indicate changes to a peeked SLE.
bool dirRemove(Keylet const &directory, std::uint64_t page, uint256 const &key, bool keepRoot)
Remove an entry from a directory.
void push_back(uint256 const &v)
Discardable, editable view to a ledger.
void update(std::shared_ptr< SLE > const &sle) override
Indicate changes to a peeked SLE.
void insert(std::shared_ptr< SLE > const &sle) override
Insert a new state SLE.
std::optional< key_type > succ(key_type const &key, std::optional< key_type > const &last=std::nullopt) const override
Return the key of the next state item.
std::shared_ptr< SLE > peek(Keylet const &k) override
Prepare to modify the SLE associated with key.
Immutable cryptographic account descriptor.
AccountID id() const
Returns the Account ID.
A transaction testing environment.
std::shared_ptr< ReadView const > closed()
Returns the last closed ledger.
std::uint32_t seq(Account const &account) const
Returns the next sequence number on account.
std::shared_ptr< STTx const > tx() const
Return the tx data for the last JTx.
std::shared_ptr< OpenView const > current() const
Returns the current ledger.
bool close(NetClock::time_point closeTime, std::optional< std::chrono::milliseconds > consensusDelay=std::nullopt)
Close and advance the ledger.
void trust(STAmount const &amount, Account const &account)
Establish trust lines.
void enableFeature(uint256 const feature)
void fund(bool setDefaultRipple, STAmount const &amount, Account const &account)
Set the expected result code for a JTx The test will fail if the code doesn't match.
Keylet child(uint256 const &key) noexcept
Any item that can be in an owner dir.
Keylet page(uint256 const &root, std::uint64_t index=0) noexcept
A page in a directory.
Keylet unchecked(uint256 const &key) noexcept
Any ledger entry.
Keylet ownerDir(AccountID const &id) noexcept
The root page of an account's directory.
Json::Value create(jtx::Account const &subject, jtx::Account const &issuer, std::string_view credType)
Json::Value deleteCred(jtx::Account const &acc, jtx::Account const &subject, jtx::Account const &issuer, std::string_view credType)
auto bumpLastPage(Env &env, std::uint64_t newLastPage, Keylet directory, std::function< bool(ApplyView &, uint256, std::uint64_t)> adjust) -> Expected< void, Error >
Move the position of the last page in the user's directory on open ledger to newLastPage.
bool checkArraySize(Json::Value const &val, unsigned int size)
Json::Value signers(Account const &account, std::uint32_t quorum, std::vector< signer > const &v)
Json::Value trust(Account const &account, STAmount const &amount, std::uint32_t flags)
Modify a trust line.
Json::Value pay(AccountID const &account, AccountID const &to, AnyAmount amount)
Create a payment.
FeatureBitset testable_amendments()
Json::Value offer(Account const &account, STAmount const &takerPays, STAmount const &takerGets, std::uint32_t flags)
Create an offer.
XRP_t const XRP
Converts to XRP Issue or STAmount.
Json::Value offer_cancel(Account const &account, std::uint32_t offerSeq)
Cancel an offer.
Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.
Issue const & xrpIssue()
Returns an asset specifier that represents XRP.
std::uint64_t constexpr dirNodeMaxPages
The maximum number of pages allowed in a directory.
bool dirIsEmpty(ReadView const &view, Keylet const &k)
Returns true if the directory is empty.
std::size_t constexpr dirNodeMaxEntries
The maximum number of entries per directory page.
uint256 getQualityNext(uint256 const &uBase)
std::string to_string(base_uint< Bits, Tag > const &a)
uint256 getBookBase(Book const &book)
beast::xor_shift_engine & default_prng()
Return the default random engine.
std::string currcode(std::size_t i)
void makePages(Sandbox &sb, uint256 const &base, std::uint64_t n)
void testDirectoryOrdering()
void run() override
Runs the suite.