1#include <test/jtx/AMM.h>
2#include <test/jtx/Env.h>
4#include <xrpld/app/misc/AMMHelpers.h>
5#include <xrpld/app/misc/AMMUtils.h>
7#include <xrpl/protocol/AMMCore.h>
8#include <xrpl/protocol/AmountConversions.h>
9#include <xrpl/protocol/ApiVersion.h>
10#include <xrpl/protocol/jss.h>
49 , creatorAccount_(account)
52 , ammID_(keylet::amm(asset1_.issue(), asset2_.issue()).key)
55 , lastPurchasePrice_(0)
61 , lptIssue_(
xrpl::
ammLPTIssue(asset1_.issue().currency, asset2_.issue().currency, ammAccount_))
62 , initialLPTokens_(initialTokens())
74 :
AMM(env, account, asset1, asset2, log, 0, 0,
std::nullopt,
std::nullopt,
std::nullopt,
ter, close)
79 :
AMM(env, account, asset1, asset2, arg.log, arg.tfee, arg.
fee, arg.
flags, arg.
seq, arg.ms, arg.err, arg.close)
94 jv[jss::TradingFee] = tfee;
95 jv[jss::TransactionType] = jss::AMMCreate;
97 jv[jss::Flags] = *
flags;
108 return amm->getAccountID(sfAccount);
122 unsigned apiVersion)
const
128 jv[jss::ledger_index] = *ledgerIndex;
131 if (issue1 || issue2)
149 if (jr.isObject() && jr.isMember(jss::result) && jr[jss::result].isMember(jss::status))
150 return jr[jss::result];
159 auto const ammAccountID = amm->getAccountID(sfAccount);
160 auto const [asset1Balance, asset2Balance] =
162 auto const lptAMMBalance =
164 return {asset1Balance, asset2Balance, lptAMMBalance};
176 auto const [asset1Balance, asset2Balance, lptAMMBalance] =
balances(asset1.
issue(), asset2.
issue(), account);
177 return asset1 == asset1Balance && asset2 == asset2Balance && lptAMMBalance ==
STAmount{lpt,
lptIssue_};
186 return amm->getFieldAmount(sfLPTokenBalance).iou();
206 return slotFee ==
fee &&
209 ((!timeSlot && slotInterval == 0) || slotInterval == timeSlot) && slotPrice == expectedPrice;
218 for (
auto const& account : accounts)
220 if (
std::find(authAccounts.
cbegin(), authAccounts.
cend(), account.getAccountID(sfAccount)) ==
232 return amm && (*amm)[sfTradingFee] ==
fee;
261 auto const& jv = jvres[jss::amm];
262 if (!jv.isMember(jss::amount) || !jv.isMember(jss::amount2) || !jv.isMember(jss::lp_token))
304 jv[jss::Account] = acct.human();
306 jv[jss::TransactionType] = jss::AMMDeposit;
334 assert(!(asset2In && maxEP));
356 asset1In->setJson(jv[jss::Amount]);
358 asset2In->setJson(jv[jss::Amount2]);
360 maxEP->setJson(jv[jss::EPrice]);
362 jv[jss::TradingFee] = *tfee;
373 else if (
tokens && asset1In)
375 else if (asset1In && asset2In)
377 else if (maxEP && asset1In)
382 jv[jss::Flags] = jvflags;
412 jv[jss::Account] = acct.human();
414 jv[jss::TransactionType] = jss::AMMWithdraw;
440 assert(!(asset2Out && maxEP));
460 asset1Out->setJson(jv[jss::Amount]);
462 asset2Out->setJson(jv[jss::Amount2]);
466 saMaxEP.
setJson(jv[jss::EPrice]);
475 else if (asset1Out && asset2Out)
477 else if (
tokens && asset1Out)
479 else if (asset1Out && maxEP)
484 jv[jss::Flags] = jvflags;
507 jv[jss::TradingFee] = feeVal;
508 jv[jss::TransactionType] = jss::AMMVote;
510 jv[jss::Flags] = *
flags;
527 assert(!
env_.
current()->rules().enabled(fixInnerObjTemplate) || amm->isFieldPresent(sfAuctionSlot));
528 if (amm->isFieldPresent(sfAuctionSlot))
530 auto const& auctionSlot =
static_cast<STObject const&
>(amm->peekAtField(sfAuctionSlot));
540 auto getBid = [&](
auto const&
bid) {
551 saTokens.
setJson(jv[jss::BidMin]);
557 saTokens.
setJson(jv[jss::BidMax]);
567 acct[jss::Account] = account.human();
568 authAcct[jss::AuthAccount] = acct;
569 accounts.
append(authAcct);
571 jv[jss::AuthAccounts] = accounts;
574 jv[jss::Flags] = *arg.
flags;
575 jv[jss::TransactionType] = jss::AMMBid;
614 assert(!
env_.
current()->rules().enabled(fixInnerObjTemplate) || amm->isFieldPresent(sfAuctionSlot));
615 if (amm->isFieldPresent(sfAuctionSlot))
617 auto const& auctionSlot =
static_cast<STObject const&
>(amm->peekAtField(sfAuctionSlot));
618 if (auctionSlot.isFieldPresent(sfAccount))
624 auto const slotFee = auctionSlot[~sfDiscountedFee].value_or(0);
625 auto const slotInterval =
627 auto const slotPrice = auctionSlot[sfPrice].iou();
628 auto const authAccounts = auctionSlot.getFieldArray(sfAuthAccounts);
629 return cb(slotFee, slotInterval, slotPrice, authAccounts);
642 jv[jss::TransactionType] = jss::AMMDelete;
653 Throw<std::runtime_error>(
"trust() requires IOU");
657 jv[jss::TransactionType] = jss::TrustSet;
658 jv[jss::Flags] =
flags;
665 jv[jss::Account] = account.human();
668 jv[jss::TransactionType] = jss::Payment;
681 jv[jss::TransactionType] = jss::AMMClawback;
682 jv[jss::Account] = issuer.
human();
683 jv[jss::Holder] = holder.
human();
684 jv[jss::Asset] =
to_json(asset);
685 jv[jss::Asset2] =
to_json(asset2);
Value & append(Value const &value)
Append value to array at the end.
std::string toStyledString() const
bool isMember(char const *key) const
Return true if the object has a member named key.
virtual TimeKeeper & timeKeeper()=0
Floating point representation of amounts with high dynamic range.
A currency issued by an account.
void setJson(Json::Value &jv) const
Json::Value getJson(JsonOptions=JsonOptions::none) const override
Issue const & issue() const
void setJson(Json::Value &) const
Json::Value getJson(JsonOptions) const override
time_point now() const override
Returns the current time, using the server's clock.
Convenience class to test AMM functionality.
bool expectTradingFee(std::uint16_t fee) const
IOUAmount getLPTokensBalance(std::optional< AccountID > const &account=std::nullopt) const
std::optional< IOUAmount > bidMax_
AccountID const ammAccount_
void setTokens(Json::Value &jv, std::optional< std::pair< Issue, Issue > > const &assets=std::nullopt)
IOUAmount lastPurchasePrice_
void vote(std::optional< Account > const &account, std::uint32_t feeVal, std::optional< std::uint32_t > const &flags=std::nullopt, std::optional< jtx::seq > const &seq=std::nullopt, std::optional< std::pair< Issue, Issue > > const &assets=std::nullopt, std::optional< ter > const &ter=std::nullopt)
bool expectAuctionSlot(std::uint32_t fee, std::optional< std::uint8_t > timeSlot, IOUAmount expectedPrice) const
void submit(Json::Value const &jv, std::optional< jtx::seq > const &seq, std::optional< ter > const &ter)
void ammDelete(AccountID const &deleter, std::optional< ter > const &ter=std::nullopt)
AMM(Env &env, Account const &account, STAmount const &asset1, STAmount const &asset2, bool log=false, std::uint16_t tfee=0, std::uint32_t fee=0, std::optional< std::uint32_t > flags=std::nullopt, std::optional< jtx::seq > seq=std::nullopt, std::optional< jtx::msig > ms=std::nullopt, std::optional< ter > const &ter=std::nullopt, bool close=true)
std::tuple< STAmount, STAmount, STAmount > balances(Issue const &issue1, Issue const &issue2, std::optional< AccountID > const &account=std::nullopt) const
Get AMM balances for the token pair.
bool expectAmmRpcInfo(STAmount const &asset1, STAmount const &asset2, IOUAmount const &balance, std::optional< AccountID > const &account=std::nullopt, std::optional< std::string > const &ledger_index=std::nullopt, std::optional< AccountID > const &ammAccount=std::nullopt) const
Account const creatorAccount_
std::optional< msig > const msig_
IOUAmount withdraw(std::optional< Account > const &account, std::optional< LPToken > const &tokens, std::optional< STAmount > const &asset1OutDetails=std::nullopt, std::optional< std::uint32_t > const &flags=std::nullopt, std::optional< ter > const &ter=std::nullopt)
IOUAmount deposit(std::optional< Account > const &account, LPToken tokens, std::optional< STAmount > const &asset1InDetails=std::nullopt, std::optional< std::uint32_t > const &flags=std::nullopt, std::optional< ter > const &ter=std::nullopt)
AccountID const & ammAccount() const
Json::Value ammRpcInfo(std::optional< AccountID > const &account=std::nullopt, std::optional< std::string > const &ledgerIndex=std::nullopt, std::optional< Issue > issue1=std::nullopt, std::optional< Issue > issue2=std::nullopt, std::optional< AccountID > const &ammAccount=std::nullopt, bool ignoreParams=false, unsigned apiVersion=RPC::apiInvalidVersion) const
Send amm_info RPC command.
Json::Value bid(BidArg const &arg)
AccountID create(std::uint32_t tfee=0, std::optional< std::uint32_t > const &flags=std::nullopt, std::optional< jtx::seq > const &seq=std::nullopt, std::optional< ter > const &ter=std::nullopt)
std::optional< IOUAmount > bidMin_
bool expectLPTokens(AccountID const &account, IOUAmount const &tokens) const
bool expectAmmInfo(STAmount const &asset1, STAmount const &asset2, IOUAmount const &balance, Json::Value const &jv) const
IOUAmount initialTokens()
bool expectBalances(STAmount const &asset1, STAmount const &asset2, IOUAmount const &lpt, std::optional< AccountID > const &account=std::nullopt) const
Verify the AMM balances.
Immutable cryptographic account descriptor.
std::string const & human() const
Returns the human readable public key.
A transaction testing environment.
bool close(NetClock::time_point closeTime, std::optional< std::chrono::milliseconds > consensusDelay=std::nullopt)
Close and advance the ledger.
TER ter() const
Return the TER for the last JTx.
Json::Value rpc(unsigned apiVersion, std::unordered_map< std::string, std::string > const &headers, std::string const &cmd, Args &&... args)
Execute an RPC command.
bool enabled(uint256 feature) const
beast::Journal const journal
std::shared_ptr< OpenView const > current() const
Returns the current ledger.
Set the expected result code for a JTx The test will fail if the code doesn't match.
@ arrayValue
array value (ordered list)
static constexpr auto apiInvalidVersion
Keylet amm(Asset const &issue1, Asset const &issue2) noexcept
AMM entry.
Keylet account(AccountID const &id) noexcept
AccountID root.
Json::Value trust(AccountID const &account, STAmount const &amount, std::uint32_t flags=0)
Json::Value pay(Account const &account, AccountID const &to, STAmount const &amount)
Json::Value ammClawback(Account const &issuer, Account const &holder, Issue const &asset, Issue const &asset2, std::optional< STAmount > const &amount)
Json::Value create(AccountID const &account, AccountID const &to, STAmount const &amount, NetClock::duration const &settleDelay, PublicKey const &pk, std::optional< NetClock::time_point > const &cancelAfter, std::optional< std::uint32_t > const &dstTag)
static Number number(STAmount const &a)
Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.
bool isXRP(AccountID const &c)
constexpr std::uint32_t tfSingleAsset
std::string to_string(base_uint< Bits, Tag > const &a)
STAmount toSTAmount(IOUAmount const &iou, Issue const &iss)
STAmount accountHolds(ReadView const &view, AccountID const &account, Currency const ¤cy, AccountID const &issuer, FreezeHandling zeroIfFrozen, beast::Journal j, SpendableHandling includeFullBalance=shSIMPLE_BALANCE)
constexpr std::uint32_t tfTwoAsset
constexpr std::uint32_t tfOneAssetLPToken
constexpr std::uint32_t tfDepositSubTx
bool amountFromJsonNoThrow(STAmount &result, Json::Value const &jvSource)
constexpr std::uint32_t tfWithdrawSubTx
Json::Value to_json(Asset const &asset)
std::pair< STAmount, STAmount > ammPoolHolds(ReadView const &view, AccountID const &ammAccountID, Issue const &issue1, Issue const &issue2, FreezeHandling freezeHandling, beast::Journal const j)
Get AMM pool balances.
constexpr std::uint32_t tfLimitLPToken
constexpr std::uint32_t tfLPToken
std::optional< std::uint8_t > ammAuctionTimeSlot(std::uint64_t current, STObject const &auctionSlot)
Get time slot of the auction slot.
Issue ammLPTIssue(Currency const &cur1, Currency const &cur2, AccountID const &ammAccountID)
Calculate LPT Issue from AMM asset pair.
STAmount ammLPHolds(ReadView const &view, Currency const &cur1, Currency const &cur2, AccountID const &ammAccount, AccountID const &lpAccount, beast::Journal const j)
Get the balance of LP tokens.
std::optional< Account > account
std::optional< std::variant< int, IOUAmount, STAmount > > bidMin
std::vector< Account > authAccounts
std::optional< std::variant< int, IOUAmount, STAmount > > bidMax
std::optional< std::pair< Issue, Issue > > assets
std::optional< std::uint32_t > flags
std::optional< std::uint32_t > flags
std::optional< std::uint16_t > tfee
std::optional< LPToken > tokens
std::optional< STAmount > maxEP
std::optional< jtx::seq > seq
std::optional< std::pair< Issue, Issue > > assets
std::optional< Account > account
std::optional< STAmount > asset2In
std::optional< STAmount > asset1In
std::optional< std::pair< Issue, Issue > > assets
std::optional< jtx::seq > seq
std::optional< Account > account
std::optional< std::uint32_t > flags
std::optional< STAmount > asset2Out
std::optional< std::pair< Issue, Issue > > assets
std::optional< IOUAmount > maxEP
std::optional< STAmount > asset1Out
std::optional< std::uint32_t > flags
std::optional< Account > account
std::optional< LPToken > tokens
std::optional< jtx::seq > seq
Set the sequence number on a JTx.