xrpld
Loading...
Searching...
No Matches
xrpl::Vault_test Class Reference
Inheritance diagram for xrpl::Vault_test:
Collaboration diagram for xrpl::Vault_test:

Classes

struct  StuckDepositorFixture

Public Member Functions

void run () override
 Runs the suite.
template<class = void>
void operator() (Runner &r)
 Invokes the test using the specified runner.
template<class = void>
void pass ()
 Record a successful test condition.
template<class F, class String>
bool except (F &&f, String const &reason)
template<class F>
bool except (F &&f)
template<class E, class F, class String>
bool except (F &&f, String const &reason)
template<class E, class F>
bool except (F &&f)
template<class F, class String>
bool unexcept (F &&f, String const &reason)
template<class F>
bool unexcept (F &&f)
std::string const & arg () const
 Return the argument associated with the runner.
template<class Condition, class String>
bool unexpected (Condition shouldBeFalse, String const &reason)
template<class Condition>
bool unexpected (Condition shouldBeFalse)
template<class String>
void fail (String const &reason, char const *file, int line)
 Record a failure.
template<class = void>
void fail (std::string const &reason="")
template<class Condition>
bool expect (Condition const &shouldBeTrue)
 Evaluate a test condition.
template<class Condition, class String>
bool expect (Condition const &shouldBeTrue, String const &reason)
template<class Condition>
bool expect (Condition const &shouldBeTrue, char const *file, int line)
template<class Condition, class String>
bool expect (Condition const &shouldBeTrue, String const &reason, char const *file, int line)

Static Public Member Functions

static SuitethisSuite ()
 Returns the "current" running suite.

Public Attributes

LogOs< char > log
 Logging output stream.
TestcaseT testcase
 Memberspace for declaring test cases.

Private Types

using PrettyAsset = xrpl::test::jtx::PrettyAsset
using PrettyAmount = xrpl::test::jtx::PrettyAmount

Private Member Functions

void testSequences ()
void testPreflight ()
void testCreateFailXRP ()
void testCreateFailIOU ()
void testCreateFailMPT ()
void testNonTransferableShares ()
void testWithMPT ()
void testWithIOU ()
void testWithDomainCheck ()
void testWithDomainChecXRP ()
void testFailedPseudoAccount ()
void testScaleIOU ()
void testRPC ()
void testVaultClawbackBurnShares ()
void testVaultClawbackAssets ()
void testAssetsMaximum ()
void testVaultEscrowedMPT ()
void testBug6LimitBypassWithShares ()
void testRemoveEmptyHoldingLockedAmount ()
void testRemoveEmptyHoldingConfidentialBalances ()
StuckDepositorFixture setupStuckDepositor (test::jtx::Env &env)
void testWithdrawSoleShareholderFixedAssetExit (FeatureBitset features)
void testWithdrawSoleShareholderFullSharesRejected (FeatureBitset features)
void testWithdrawSoleShareholderLoanRepaymentExit ()
void testWithdrawSoleShareholderCleanVaultUnaffected (FeatureBitset features)
void testWithdrawSoleShareholderPartialFixedSharesUsesFullPrice ()
void testBugMakeDeltaAnteriorScale ()
void testBugMakeDeltaPosteriorScale ()
void testVaultWithdrawCanonicalizeToZero ()
void testVaultWithdrawEqualityEnforced ()
void testVaultDepositCanonicalizeToZero ()
void testBugIssuerVaultDepositAtEdge ()
void testReferenceHolding ()
void testHoldingDeletionBlocked ()
void testVaultDepositNegativeBalanceFromOppositeLimit ()
void testVaultDepositFreeze ()
void testVaultSelfWithdrawWhileFrozen ()
void testVaultWithdrawFreeze ()
void propagateAbort () const

Static Private Member Functions

static Suite ** pThisSuite ()

Private Attributes

FeatureBitset const all_ {test::jtx::testableAmendments()}
std::string const iouCurrency_ {"IOU"}
bool abort_ = false
bool aborted_ = false
Runner * runner_ = nullptr

Static Private Attributes

static constexpr auto kNegativeAmount
static constexpr std::int64_t kStuckFunding = 1'000'000
static constexpr std::int64_t kStuckDepositorIOU = 1'000'000
static constexpr std::int64_t kStuckBorrowerIOU = 100'000
static constexpr std::int64_t kStuckDeposit = 5'000
static constexpr std::int64_t kStuckPrincipal = 3'333
static constexpr std::uint32_t kStuckPayInterval = 600
static constexpr std::uint32_t kStuckPayTotal = 2

Detailed Description

Definition at line 73 of file Vault_test.cpp.

Member Typedef Documentation

◆ PrettyAsset

Definition at line 75 of file Vault_test.cpp.

◆ PrettyAmount

Member Function Documentation

◆ testSequences()

void xrpl::Vault_test::testSequences ( )
private

Definition at line 83 of file Vault_test.cpp.

◆ testPreflight()

void xrpl::Vault_test::testPreflight ( )
private

Definition at line 592 of file Vault_test.cpp.

◆ testCreateFailXRP()

void xrpl::Vault_test::testCreateFailXRP ( )
private

Definition at line 1109 of file Vault_test.cpp.

◆ testCreateFailIOU()

void xrpl::Vault_test::testCreateFailIOU ( )
private

Definition at line 1280 of file Vault_test.cpp.

◆ testCreateFailMPT()

void xrpl::Vault_test::testCreateFailMPT ( )
private

Definition at line 1405 of file Vault_test.cpp.

◆ testNonTransferableShares()

void xrpl::Vault_test::testNonTransferableShares ( )
private

Definition at line 1472 of file Vault_test.cpp.

◆ testWithMPT()

void xrpl::Vault_test::testWithMPT ( )
private

Definition at line 1568 of file Vault_test.cpp.

◆ testWithIOU()

void xrpl::Vault_test::testWithIOU ( )
private

Definition at line 2309 of file Vault_test.cpp.

◆ testWithDomainCheck()

void xrpl::Vault_test::testWithDomainCheck ( )
private

Definition at line 2780 of file Vault_test.cpp.

◆ testWithDomainChecXRP()

void xrpl::Vault_test::testWithDomainChecXRP ( )
private

Definition at line 3028 of file Vault_test.cpp.

◆ testFailedPseudoAccount()

void xrpl::Vault_test::testFailedPseudoAccount ( )
private

Definition at line 3126 of file Vault_test.cpp.

◆ testScaleIOU()

void xrpl::Vault_test::testScaleIOU ( )
private

Definition at line 3153 of file Vault_test.cpp.

◆ testRPC()

void xrpl::Vault_test::testRPC ( )
private

Definition at line 4002 of file Vault_test.cpp.

◆ testVaultClawbackBurnShares()

void xrpl::Vault_test::testVaultClawbackBurnShares ( )
private

Definition at line 4415 of file Vault_test.cpp.

◆ testVaultClawbackAssets()

void xrpl::Vault_test::testVaultClawbackAssets ( )
private

Definition at line 4675 of file Vault_test.cpp.

◆ testAssetsMaximum()

void xrpl::Vault_test::testAssetsMaximum ( )
private

Definition at line 5238 of file Vault_test.cpp.

◆ testVaultEscrowedMPT()

void xrpl::Vault_test::testVaultEscrowedMPT ( )
private

Definition at line 5479 of file Vault_test.cpp.

◆ testBug6LimitBypassWithShares()

void xrpl::Vault_test::testBug6LimitBypassWithShares ( )
private

Definition at line 5715 of file Vault_test.cpp.

◆ testRemoveEmptyHoldingLockedAmount()

void xrpl::Vault_test::testRemoveEmptyHoldingLockedAmount ( )
private

Definition at line 5809 of file Vault_test.cpp.

◆ testRemoveEmptyHoldingConfidentialBalances()

void xrpl::Vault_test::testRemoveEmptyHoldingConfidentialBalances ( )
private

Definition at line 5907 of file Vault_test.cpp.

◆ setupStuckDepositor()

StuckDepositorFixture xrpl::Vault_test::setupStuckDepositor ( test::jtx::Env & env)
nodiscardprivate

Definition at line 5983 of file Vault_test.cpp.

◆ testWithdrawSoleShareholderFixedAssetExit()

void xrpl::Vault_test::testWithdrawSoleShareholderFixedAssetExit ( FeatureBitset features)
private

Definition at line 6109 of file Vault_test.cpp.

◆ testWithdrawSoleShareholderFullSharesRejected()

void xrpl::Vault_test::testWithdrawSoleShareholderFullSharesRejected ( FeatureBitset features)
private

Definition at line 6228 of file Vault_test.cpp.

◆ testWithdrawSoleShareholderLoanRepaymentExit()

void xrpl::Vault_test::testWithdrawSoleShareholderLoanRepaymentExit ( )
private

Definition at line 6285 of file Vault_test.cpp.

◆ testWithdrawSoleShareholderCleanVaultUnaffected()

void xrpl::Vault_test::testWithdrawSoleShareholderCleanVaultUnaffected ( FeatureBitset features)
private

Definition at line 6383 of file Vault_test.cpp.

◆ testWithdrawSoleShareholderPartialFixedSharesUsesFullPrice()

void xrpl::Vault_test::testWithdrawSoleShareholderPartialFixedSharesUsesFullPrice ( )
private

Definition at line 6466 of file Vault_test.cpp.

◆ testBugMakeDeltaAnteriorScale()

void xrpl::Vault_test::testBugMakeDeltaAnteriorScale ( )
private

Definition at line 6560 of file Vault_test.cpp.

◆ testBugMakeDeltaPosteriorScale()

void xrpl::Vault_test::testBugMakeDeltaPosteriorScale ( )
private

Definition at line 6637 of file Vault_test.cpp.

◆ testVaultWithdrawCanonicalizeToZero()

void xrpl::Vault_test::testVaultWithdrawCanonicalizeToZero ( )
private

Definition at line 6712 of file Vault_test.cpp.

◆ testVaultWithdrawEqualityEnforced()

void xrpl::Vault_test::testVaultWithdrawEqualityEnforced ( )
private

Definition at line 6820 of file Vault_test.cpp.

◆ testVaultDepositCanonicalizeToZero()

void xrpl::Vault_test::testVaultDepositCanonicalizeToZero ( )
private

Definition at line 6905 of file Vault_test.cpp.

◆ testBugIssuerVaultDepositAtEdge()

void xrpl::Vault_test::testBugIssuerVaultDepositAtEdge ( )
private

Definition at line 6980 of file Vault_test.cpp.

◆ testReferenceHolding()

void xrpl::Vault_test::testReferenceHolding ( )
private

Definition at line 7036 of file Vault_test.cpp.

◆ testHoldingDeletionBlocked()

void xrpl::Vault_test::testHoldingDeletionBlocked ( )
private

Definition at line 7185 of file Vault_test.cpp.

◆ testVaultDepositNegativeBalanceFromOppositeLimit()

void xrpl::Vault_test::testVaultDepositNegativeBalanceFromOppositeLimit ( )
private

Definition at line 7446 of file Vault_test.cpp.

◆ testVaultDepositFreeze()

void xrpl::Vault_test::testVaultDepositFreeze ( )
private

Definition at line 7515 of file Vault_test.cpp.

◆ testVaultSelfWithdrawWhileFrozen()

void xrpl::Vault_test::testVaultSelfWithdrawWhileFrozen ( )
private

Definition at line 7721 of file Vault_test.cpp.

◆ testVaultWithdrawFreeze()

void xrpl::Vault_test::testVaultWithdrawFreeze ( )
private

Definition at line 7785 of file Vault_test.cpp.

◆ run()

void xrpl::Vault_test::run ( )
overridevirtual

Runs the suite.

Implements beast::unit_test::Suite.

Definition at line 8092 of file Vault_test.cpp.

◆ thisSuite()

Suite * beast::unit_test::Suite::thisSuite ( )
staticinherited

Returns the "current" running suite.

If no suite is running, nullptr is returned.

Definition at line 155 of file suite.h.

◆ operator()()

template<class>
void beast::unit_test::Suite::operator() ( Runner & r)
inherited

Invokes the test using the specified runner.

Data members are set up here instead of the constructor as a convenience to writing the derived class to avoid repetition of forwarded constructor arguments to the base. Normally this is called by the framework for you.

Definition at line 388 of file suite.h.

◆ pass()

template<class>
void beast::unit_test::Suite::pass ( )
inherited

Record a successful test condition.

Definition at line 500 of file suite.h.

◆ fail() [1/2]

template<class String>
void beast::unit_test::Suite::fail ( String const & reason,
char const * file,
int line )
inherited

Record a failure.

Parameters
reasonOptional text added to the output on a failure.
fileThe source code file where the test failed.
lineThe source code line number where the test failed.

Definition at line 522 of file suite.h.

◆ fail() [2/2]

template<class>
void beast::unit_test::Suite::fail ( std::string const & reason = "")
inherited

Definition at line 509 of file suite.h.

◆ expect() [1/4]

template<class Condition>
bool beast::unit_test::Suite::expect ( Condition const & shouldBeTrue)
inherited

Evaluate a test condition.

This function provides improved logging by incorporating the file name and line number into the reported output on failure, as well as additional text specified by the caller.

Parameters
shouldBeTrueThe condition to test. The condition is evaluated in a boolean context.
reasonOptional added text to output on a failure.
fileThe source code file where the test failed.
lineThe source code line number where the test failed.
Returns
true if the test condition indicates success.

Definition at line 223 of file suite.h.

◆ expect() [2/4]

template<class Condition, class String>
bool beast::unit_test::Suite::expect ( Condition const & shouldBeTrue,
String const & reason )
inherited

Definition at line 405 of file suite.h.

◆ expect() [3/4]

template<class Condition>
bool beast::unit_test::Suite::expect ( Condition const & shouldBeTrue,
char const * file,
int line )
inherited

Definition at line 234 of file suite.h.

◆ expect() [4/4]

template<class Condition, class String>
bool beast::unit_test::Suite::expect ( Condition const & shouldBeTrue,
String const & reason,
char const * file,
int line )
inherited

Definition at line 418 of file suite.h.

◆ except() [1/4]

template<class F, class String>
bool beast::unit_test::Suite::except ( F && f,
String const & reason )
inherited

Definition at line 433 of file suite.h.

◆ except() [2/4]

template<class F>
bool beast::unit_test::Suite::except ( F && f)
inherited

Definition at line 253 of file suite.h.

◆ except() [3/4]

template<class E, class F, class String>
bool beast::unit_test::Suite::except ( F && f,
String const & reason )
inherited

Definition at line 450 of file suite.h.

◆ except() [4/4]

template<class E, class F>
bool beast::unit_test::Suite::except ( F && f)
inherited

Definition at line 262 of file suite.h.

◆ unexcept() [1/2]

template<class F, class String>
bool beast::unit_test::Suite::unexcept ( F && f,
String const & reason )
inherited

Definition at line 467 of file suite.h.

◆ unexcept() [2/2]

template<class F>
bool beast::unit_test::Suite::unexcept ( F && f)
inherited

Definition at line 271 of file suite.h.

◆ arg()

std::string const & beast::unit_test::Suite::arg ( ) const
inherited

Return the argument associated with the runner.

Definition at line 278 of file suite.h.

◆ unexpected() [1/2]

template<class Condition, class String>
bool beast::unit_test::Suite::unexpected ( Condition shouldBeFalse,
String const & reason )
inherited

Definition at line 484 of file suite.h.

◆ unexpected() [2/2]

template<class Condition>
bool beast::unit_test::Suite::unexpected ( Condition shouldBeFalse)
inherited

Definition at line 291 of file suite.h.

◆ pThisSuite()

Suite ** beast::unit_test::Suite::pThisSuite ( )
staticprivateinherited

Definition at line 300 of file suite.h.

◆ propagateAbort()

void beast::unit_test::Suite::propagateAbort ( ) const
privateinherited

Definition at line 528 of file suite.h.

Member Data Documentation

◆ kNegativeAmount

auto xrpl::Vault_test::kNegativeAmount
staticconstexprprivate
Initial value:
= [](PrettyAsset const& asset) -> PrettyAmount {
return {STAmount{asset.raw(), 1ul, 0, true, STAmount::Unchecked{}}, ""};
}
xrpl::test::jtx::PrettyAmount PrettyAmount
xrpl::test::jtx::PrettyAsset PrettyAsset

Definition at line 78 of file Vault_test.cpp.

◆ all_

FeatureBitset const xrpl::Vault_test::all_ {test::jtx::testableAmendments()}
private

Definition at line 5952 of file Vault_test.cpp.

◆ iouCurrency_

std::string const xrpl::Vault_test::iouCurrency_ {"IOU"}
private

Definition at line 5953 of file Vault_test.cpp.

◆ kStuckFunding

std::int64_t xrpl::Vault_test::kStuckFunding = 1'000'000
staticconstexprprivate

Definition at line 5974 of file Vault_test.cpp.

◆ kStuckDepositorIOU

std::int64_t xrpl::Vault_test::kStuckDepositorIOU = 1'000'000
staticconstexprprivate

Definition at line 5975 of file Vault_test.cpp.

◆ kStuckBorrowerIOU

std::int64_t xrpl::Vault_test::kStuckBorrowerIOU = 100'000
staticconstexprprivate

Definition at line 5976 of file Vault_test.cpp.

◆ kStuckDeposit

std::int64_t xrpl::Vault_test::kStuckDeposit = 5'000
staticconstexprprivate

Definition at line 5977 of file Vault_test.cpp.

◆ kStuckPrincipal

std::int64_t xrpl::Vault_test::kStuckPrincipal = 3'333
staticconstexprprivate

Definition at line 5978 of file Vault_test.cpp.

◆ kStuckPayInterval

std::uint32_t xrpl::Vault_test::kStuckPayInterval = 600
staticconstexprprivate

Definition at line 5979 of file Vault_test.cpp.

◆ kStuckPayTotal

std::uint32_t xrpl::Vault_test::kStuckPayTotal = 2
staticconstexprprivate

Definition at line 5980 of file Vault_test.cpp.

◆ abort_

bool beast::unit_test::Suite::abort_ = false
privateinherited

Definition at line 52 of file suite.h.

◆ aborted_

bool beast::unit_test::Suite::aborted_ = false
privateinherited

Definition at line 53 of file suite.h.

◆ runner_

Runner* beast::unit_test::Suite::runner_ = nullptr
privateinherited

Definition at line 54 of file suite.h.

◆ log

LogOs<char> beast::unit_test::Suite::log
inherited

Logging output stream.

Text sent to the log output stream will be forwarded to the output stream associated with the runner.

Definition at line 146 of file suite.h.

◆ testcase

TestcaseT beast::unit_test::Suite::testcase
inherited

Memberspace for declaring test cases.

Definition at line 149 of file suite.h.