xrpl::ConfidentialTransferExtended_test Class Reference

Inheritance diagram for xrpl::ConfidentialTransferExtended_test:

Collaboration diagram for xrpl::ConfidentialTransferExtended_test:

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)
	DEPRECATED.
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 Suite *	thisSuite ()
	Returns the "current" running suite.

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

Protected Member Functions
Runner &	runner () const
	Lets a suite compose other suites (e.g.

Static Protected Member Functions
template<class T>
static T	requireOptional (std::optional< T > value, char const *message)
template<class T>
static T const &	requireOptionalRef (std::optional< T > const &value, char const *message)
static void	setupConfidentialIssuance (test::jtx::MPTTester &mpt, test::jtx::Account const &issuer, std::vector< test::jtx::Account > const &holders, std::vector< test::jtx::Account > const &keyOwners={}, std::uint32_t flags=tfMPTCanTransfer|tfMPTCanHoldConfidentialBalance)
static void	setupBatchEnv (test::jtx::MPTTester &mpt, test::jtx::Account const &alice, test::jtx::Account const &bob, test::jtx::Account const &carol, test::jtx::Account const &dave, std::uint64_t bobAmt, std::uint64_t carolAmt)
static Buffer const &	getBadCiphertext ()
static Buffer const &	getTrivialCiphertext ()
static Buffer const &	getTrivialCommitment ()
static std::string	getTrivialSendProofHex ()
static std::optional< std::pair< Buffer, Buffer > >	reencryptHolderBalances (test::jtx::MPTTester &mpt, test::jtx::Account const &holder, test::jtx::Account const &currentKey, test::jtx::Account const &newKey)
static Buffer	getForgedBulletproof (std::array< uint64_t, 2 > const &values, std::array< Buffer, 2 > const &blindingFactors, UInt256 const &contextHash)
static Buffer	getForgedSingleBulletproof (uint64_t value, Buffer const &blindingFactor, UInt256 const &contextHash)
static Buffer	getForgedConvertBackProof (test::jtx::MPTTester &mpt, test::jtx::Account const &holder, uint64_t claimedBalance, uint64_t realBalance, uint64_t amt, Buffer const &pedersenCommitment, Buffer const &encryptedSpendingBalance, Buffer const &pcBlindingFactor, UInt256 const &contextHash)
static Buffer	getForgedSendProof (test::jtx::MPTTester &mpt, test::jtx::Env &env, test::jtx::Account const &sender, test::jtx::Account const &dest, ConfidentialSendSetup const &setup)

Static Protected Attributes
static constexpr size_t	kBulletproofOffset = kEcSendProofLength - kEcDoubleBulletproofLength

Private Member Functions
void	testSendDepositPreauth (FeatureBitset features)
void	testSendCredentialValidation (FeatureBitset features)
void	testAMMHolderCannotHaveConfidentialStateClawback (FeatureBitset features)
void	testAMMWithdrawAllBlockedByUnrelatedCOA (FeatureBitset features)
void	testWithTickets (FeatureBitset features)
void	testConvertTicketProofBinding (FeatureBitset features)
void	testDestinationTag (FeatureBitset features)
void	testTicketErrors (FeatureBitset features)
void	testBatchConfidentialSend (FeatureBitset features)
void	testBatchConfidentialConvertAndConvertBack (FeatureBitset features)
void	testBatchConfidentialMixTransactions (FeatureBitset features)
void	testBatchAllOrNothing (FeatureBitset features)
void	testBatchOnlyOne (FeatureBitset features)
void	testBatchUntilFailure (FeatureBitset features)
void	testBatchIndependent (FeatureBitset features)
void	testBatchWithTickets (FeatureBitset features)
void	testConfidentialDelegation (FeatureBitset features)
void	testDelegationRevocation (FeatureBitset features)
void	testDelegationWithAuditor (FeatureBitset features)
void	testDelegationClawbackIssuerOnly (FeatureBitset features)
void	testBatchDelegatedSend (FeatureBitset features)
void	testBatchDelegationMissingPermission (FeatureBitset features)
void	testBatchDelegatedSendWithDelegateAsOuterAccount (FeatureBitset features)
void	testBatchDelegatedConfidentialMix (FeatureBitset features)
void	testInvalidDelegationWithTickets (FeatureBitset features)
void	testDelegationWithTickets (FeatureBitset features)
void	testWithFeats (FeatureBitset features)
void	propagateAbort () const

Static Private Member Functions
static Suite **	pThisSuite ()

Private Attributes
bool	abort_ = false
bool	aborted_ = false
Runner *	runner_ = nullptr

Detailed Description

Definition at line 39 of file ConfidentialTransferExtended_test.cpp.

Member Function Documentation

testSendDepositPreauth()

void xrpl::ConfidentialTransferExtended_test::testSendDepositPreauth ( FeatureBitset features )

private

Definition at line 42 of file ConfidentialTransferExtended_test.cpp.

testSendCredentialValidation()

void xrpl::ConfidentialTransferExtended_test::testSendCredentialValidation ( FeatureBitset features )

private

Definition at line 382 of file ConfidentialTransferExtended_test.cpp.

testAMMHolderCannotHaveConfidentialStateClawback()

void xrpl::ConfidentialTransferExtended_test::testAMMHolderCannotHaveConfidentialStateClawback ( FeatureBitset features )

private

Definition at line 590 of file ConfidentialTransferExtended_test.cpp.

testAMMWithdrawAllBlockedByUnrelatedCOA()

void xrpl::ConfidentialTransferExtended_test::testAMMWithdrawAllBlockedByUnrelatedCOA ( FeatureBitset features )

private

Definition at line 646 of file ConfidentialTransferExtended_test.cpp.

testWithTickets()

void xrpl::ConfidentialTransferExtended_test::testWithTickets ( FeatureBitset features )

private

Definition at line 743 of file ConfidentialTransferExtended_test.cpp.

testConvertTicketProofBinding()

void xrpl::ConfidentialTransferExtended_test::testConvertTicketProofBinding ( FeatureBitset features )

private

Definition at line 830 of file ConfidentialTransferExtended_test.cpp.

testDestinationTag()

void xrpl::ConfidentialTransferExtended_test::testDestinationTag ( FeatureBitset features )

private

Definition at line 900 of file ConfidentialTransferExtended_test.cpp.

testTicketErrors()

void xrpl::ConfidentialTransferExtended_test::testTicketErrors ( FeatureBitset features )

private

Definition at line 953 of file ConfidentialTransferExtended_test.cpp.

testBatchConfidentialSend()

void xrpl::ConfidentialTransferExtended_test::testBatchConfidentialSend ( FeatureBitset features )

private

Definition at line 1006 of file ConfidentialTransferExtended_test.cpp.

testBatchConfidentialConvertAndConvertBack()

void xrpl::ConfidentialTransferExtended_test::testBatchConfidentialConvertAndConvertBack ( FeatureBitset features )

private

Definition at line 1188 of file ConfidentialTransferExtended_test.cpp.

testBatchConfidentialMixTransactions()

void xrpl::ConfidentialTransferExtended_test::testBatchConfidentialMixTransactions ( FeatureBitset features )

private

Definition at line 1280 of file ConfidentialTransferExtended_test.cpp.

testBatchAllOrNothing()

void xrpl::ConfidentialTransferExtended_test::testBatchAllOrNothing ( FeatureBitset features )

private

Definition at line 1388 of file ConfidentialTransferExtended_test.cpp.

testBatchOnlyOne()

void xrpl::ConfidentialTransferExtended_test::testBatchOnlyOne ( FeatureBitset features )

private

Definition at line 1427 of file ConfidentialTransferExtended_test.cpp.

testBatchUntilFailure()

void xrpl::ConfidentialTransferExtended_test::testBatchUntilFailure ( FeatureBitset features )

private

Definition at line 1489 of file ConfidentialTransferExtended_test.cpp.

testBatchIndependent()

void xrpl::ConfidentialTransferExtended_test::testBatchIndependent ( FeatureBitset features )

private

Definition at line 1549 of file ConfidentialTransferExtended_test.cpp.

testBatchWithTickets()

void xrpl::ConfidentialTransferExtended_test::testBatchWithTickets ( FeatureBitset features )

private

Definition at line 1601 of file ConfidentialTransferExtended_test.cpp.

testConfidentialDelegation()

void xrpl::ConfidentialTransferExtended_test::testConfidentialDelegation ( FeatureBitset features )

private

Definition at line 1725 of file ConfidentialTransferExtended_test.cpp.

testDelegationRevocation()

void xrpl::ConfidentialTransferExtended_test::testDelegationRevocation ( FeatureBitset features )

private

Definition at line 1840 of file ConfidentialTransferExtended_test.cpp.

testDelegationWithAuditor()

void xrpl::ConfidentialTransferExtended_test::testDelegationWithAuditor ( FeatureBitset features )

private

Definition at line 1901 of file ConfidentialTransferExtended_test.cpp.

testDelegationClawbackIssuerOnly()

void xrpl::ConfidentialTransferExtended_test::testDelegationClawbackIssuerOnly ( FeatureBitset features )

private

Definition at line 1970 of file ConfidentialTransferExtended_test.cpp.

testBatchDelegatedSend()

void xrpl::ConfidentialTransferExtended_test::testBatchDelegatedSend ( FeatureBitset features )

private

Definition at line 2025 of file ConfidentialTransferExtended_test.cpp.

testBatchDelegationMissingPermission()

void xrpl::ConfidentialTransferExtended_test::testBatchDelegationMissingPermission ( FeatureBitset features )

private

Definition at line 2109 of file ConfidentialTransferExtended_test.cpp.

testBatchDelegatedSendWithDelegateAsOuterAccount()

void xrpl::ConfidentialTransferExtended_test::testBatchDelegatedSendWithDelegateAsOuterAccount ( FeatureBitset features )

private

Definition at line 2191 of file ConfidentialTransferExtended_test.cpp.

testBatchDelegatedConfidentialMix()

void xrpl::ConfidentialTransferExtended_test::testBatchDelegatedConfidentialMix ( FeatureBitset features )

private

Definition at line 2307 of file ConfidentialTransferExtended_test.cpp.

testInvalidDelegationWithTickets()

void xrpl::ConfidentialTransferExtended_test::testInvalidDelegationWithTickets ( FeatureBitset features )

private

Definition at line 2389 of file ConfidentialTransferExtended_test.cpp.

testDelegationWithTickets()

void xrpl::ConfidentialTransferExtended_test::testDelegationWithTickets ( FeatureBitset features )

private

Definition at line 2555 of file ConfidentialTransferExtended_test.cpp.

testWithFeats()

void xrpl::ConfidentialTransferExtended_test::testWithFeats ( FeatureBitset features )

private

Definition at line 2654 of file ConfidentialTransferExtended_test.cpp.

run()

void xrpl::ConfidentialTransferExtended_test::run ( )

overridevirtual

Runs the suite.

Implements beast::unit_test::Suite.

Definition at line 2695 of file ConfidentialTransferExtended_test.cpp.

requireOptional()

template<class T>

T xrpl::ConfidentialTransferTestBase::requireOptional ( std::optional< T > value, char const * message )

staticprotectedinherited

Definition at line 33 of file src/test/jtx/ConfidentialTransfer.h.

requireOptionalRef()

template<class T>

T const & xrpl::ConfidentialTransferTestBase::requireOptionalRef ( std::optional< T > const & value, char const * message )

staticprotectedinherited

Definition at line 42 of file src/test/jtx/ConfidentialTransfer.h.

setupConfidentialIssuance()

void xrpl::ConfidentialTransferTestBase::setupConfidentialIssuance ( test::jtx::MPTTester & mpt, test::jtx::Account const & issuer, std::vector< test::jtx::Account > const & holders, std::vector< test::jtx::Account > const & keyOwners = {}, std::uint32_t flags = tfMPTCanTransfer | tfMPTCanHoldConfidentialBalance )

staticprotectedinherited

Definition at line 89 of file test/jtx/impl/ConfidentialTransfer.cpp.

setupBatchEnv()

void xrpl::ConfidentialTransferTestBase::setupBatchEnv ( test::jtx::MPTTester & mpt, test::jtx::Account const & alice, test::jtx::Account const & bob, test::jtx::Account const & carol, test::jtx::Account const & dave, std::uint64_t bobAmt, std::uint64_t carolAmt )

staticprotectedinherited

Definition at line 115 of file test/jtx/impl/ConfidentialTransfer.cpp.

getBadCiphertext()

Buffer const & xrpl::ConfidentialTransferTestBase::getBadCiphertext ( )

staticprotectedinherited

Definition at line 321 of file test/jtx/impl/ConfidentialTransfer.cpp.

getTrivialCiphertext()

Buffer const & xrpl::ConfidentialTransferTestBase::getTrivialCiphertext ( )

staticprotectedinherited

Definition at line 336 of file test/jtx/impl/ConfidentialTransfer.cpp.

getTrivialCommitment()

Buffer const & xrpl::ConfidentialTransferTestBase::getTrivialCommitment ( )

staticprotectedinherited

Definition at line 355 of file test/jtx/impl/ConfidentialTransfer.cpp.

getTrivialSendProofHex()

std::string xrpl::ConfidentialTransferTestBase::getTrivialSendProofHex ( )

staticprotectedinherited

Definition at line 372 of file test/jtx/impl/ConfidentialTransfer.cpp.

reencryptHolderBalances()

std::optional< std::pair< Buffer, Buffer > > xrpl::ConfidentialTransferTestBase::reencryptHolderBalances ( test::jtx::MPTTester & mpt, test::jtx::Account const & holder, test::jtx::Account const & currentKey, test::jtx::Account const & newKey )

staticprotectedinherited

Definition at line 297 of file test/jtx/impl/ConfidentialTransfer.cpp.

getForgedBulletproof()

Buffer xrpl::ConfidentialTransferTestBase::getForgedBulletproof ( std::array< uint64_t, 2 > const & values, std::array< Buffer, 2 > const & blindingFactors, UInt256 const & contextHash )

staticprotectedinherited

Definition at line 388 of file test/jtx/impl/ConfidentialTransfer.cpp.

getForgedSingleBulletproof()

Buffer xrpl::ConfidentialTransferTestBase::getForgedSingleBulletproof ( uint64_t value, Buffer const & blindingFactor, UInt256 const & contextHash )

staticprotectedinherited

Definition at line 413 of file test/jtx/impl/ConfidentialTransfer.cpp.

getForgedConvertBackProof()

Buffer xrpl::ConfidentialTransferTestBase::getForgedConvertBackProof ( test::jtx::MPTTester & mpt, test::jtx::Account const & holder, uint64_t claimedBalance, uint64_t realBalance, uint64_t amt, Buffer const & pedersenCommitment, Buffer const & encryptedSpendingBalance, Buffer const & pcBlindingFactor, UInt256 const & contextHash )

staticprotectedinherited

Definition at line 441 of file test/jtx/impl/ConfidentialTransfer.cpp.

getForgedSendProof()

Buffer xrpl::ConfidentialTransferTestBase::getForgedSendProof ( test::jtx::MPTTester & mpt, test::jtx::Env & env, test::jtx::Account const & sender, test::jtx::Account const & dest, ConfidentialSendSetup const & setup )

staticprotectedinherited

Definition at line 513 of file test/jtx/impl/ConfidentialTransfer.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 162 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 420 of file suite.h.

pass()

template<class>

void beast::unit_test::Suite::pass ( )

inherited

Record a successful test condition.

Definition at line 532 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

reason	Optional text added to the output on a failure.
file	The source code file where the test failed.
line	The source code line number where the test failed.

Definition at line 554 of file suite.h.

fail() [2/2]

template<class>

void beast::unit_test::Suite::fail ( std::string const & reason = "" )

inherited

Definition at line 541 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

shouldBeTrue	The condition to test. The condition is evaluated in a boolean context.
reason	Optional added text to output on a failure.
file	The source code file where the test failed.
line	The source code line number where the test failed.

Returns

true if the test condition indicates success.

Definition at line 235 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 437 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 246 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 450 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 465 of file suite.h.

except() [2/4]

template<class F>

bool beast::unit_test::Suite::except ( F && f )

inherited

Definition at line 265 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 482 of file suite.h.

except() [4/4]

template<class E, class F>

bool beast::unit_test::Suite::except ( F && f )

inherited

Definition at line 274 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 499 of file suite.h.

unexcept() [2/2]

template<class F>

bool beast::unit_test::Suite::unexcept ( F && f )

inherited

Definition at line 283 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 292 of file suite.h.

runner()

Runner & beast::unit_test::Suite::runner ( ) const

protectedinherited

Lets a suite compose other suites (e.g.

an aggregator that reruns a group of related suites under its own name) via SuiteInfo::run.

Returns

The runner this suite is executing under.

Definition at line 305 of file suite.h.

unexpected() [1/2]

template<class Condition, class String>

bool beast::unit_test::Suite::unexpected ( Condition shouldBeFalse, String const & reason )

inherited

DEPRECATED.

Returns

true if the test condition indicates success(a false value)

Definition at line 516 of file suite.h.

unexpected() [2/2]

template<class Condition>

bool beast::unit_test::Suite::unexpected ( Condition shouldBeFalse )

inherited

Definition at line 321 of file suite.h.

pThisSuite()

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

staticprivateinherited

Definition at line 330 of file suite.h.

propagateAbort()

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

privateinherited

Definition at line 560 of file suite.h.

Member Data Documentation

kBulletproofOffset

size_t xrpl::ConfidentialTransferTestBase::kBulletproofOffset = kEcSendProofLength - kEcDoubleBulletproofLength

staticconstexprprotectedinherited

Definition at line 190 of file src/test/jtx/ConfidentialTransfer.h.

abort_

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

privateinherited

Definition at line 54 of file suite.h.

aborted_

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

privateinherited

Definition at line 55 of file suite.h.

runner_

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

privateinherited

Definition at line 56 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 150 of file suite.h.

testcase

TestcaseT beast::unit_test::Suite::testcase

inherited

Memberspace for declaring test cases.

Definition at line 155 of file suite.h.