xrpl::test::XChainSim_test Struct Reference

Inheritance diagram for xrpl::test::XChainSim_test:

Collaboration diagram for xrpl::test::XChainSim_test:

Classes
struct	Transfer
struct	AccountCreate
struct	AccountStateTrack
struct	ChainStateTrack
struct	ChainStateTracker
class	SmBase
class	SmCreateAccount
class	SmTransfer

Public Member Functions
void	runSimulation (std::shared_ptr< ChainStateTracker > const &st, bool verifyBalances=true)
void	testXChainSimulation ()
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)
void	createMcBridgeObjects (Env &mcEnv)
void	createScBridgeObjects (Env &scEnv)
void	createBridgeObjects (Env &mcEnv, Env &scEnv)
JValueVec	attCreateAcctVec (std::uint64_t createCount, jtx::AnyAmount const &amt, jtx::Account const &dst, std::size_t const numAtts, std::size_t const fromIdx=0)
json::Value	createBridge (Account const &acc, json::Value const &bridge=json::ValueType::Null, STAmount const &reward=XRP(1), std::optional< STAmount > const &minAccountCreate=std::nullopt) const
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.
Account const	mcDoor
Account const	mcAlice
Account const	mcBob
Account const	mcCarol
Account const	mcGw
Account const	scDoor
Account const	scAlice
Account const	scBob
Account const	scCarol
Account const	scGw
Account const	scAttester
Account const	scReward
Account const	mcuDoor
Account const	mcuAlice
Account const	mcuBob
Account const	mcuCarol
Account const	mcuGw
Account const	scuDoor
Account const	scuAlice
Account const	scuBob
Account const	scuCarol
Account const	scuGw
IOU const	mcUSD
IOU const	scUSD
json::Value const	jvXRPBridgeRPC
json::Value	jvb
json::Value	jvub
FeatureBitset const	features
std::vector< Signer > const	signers
std::vector< Signer > const	altSigners
std::vector< Account > const	payee
std::vector< Account > const	payees
std::uint32_t const	quorum {kUtXchainDefaultQuorum}
STAmount const	reward
STAmount const	splitRewardQuorum
STAmount const	splitRewardEveryone
STAmount const	tinyReward
STAmount const	tinyRewardSplit
STAmount const	tinyRewardRemainder
STAmount const	oneXrp
STAmount const	xrpDust

Static Public Attributes
static constexpr int	kDropPerXrp = 1000000

Private Types
enum class	WithClaim { No , Yes }
enum class	SmState {   Initial , ClaimIdCreated , Attesting , Attested ,   Completed , Closed }
enum class	ActFlags { A2b = 1 << 0 }
using	ENV = XEnv<XChainSim_test>
using	BridgeID = BridgeDef const*
using	Sm = std::variant<SmCreateAccount, SmTransfer>
using	SmCont = std::list<std::pair<uint64_t, Sm>>

Private Member Functions
void	xfer (uint64_t time, std::shared_ptr< ChainStateTracker > const &chainstate, BridgeDef const &bridge, Transfer transfer)
void	ac (uint64_t time, std::shared_ptr< ChainStateTracker > const &chainstate, BridgeDef const &bridge, AccountCreate ac)
void	propagateAbort () const

Static Private Member Functions
static Suite **	pThisSuite ()

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

Static Private Attributes
static constexpr size_t	kNumSigners = 5

Detailed Description

Definition at line 3738 of file XChain_test.cpp.

Member Typedef Documentation

ENV

using xrpl::test::XChainSim_test::ENV = XEnv<XChainSim_test>

private

Definition at line 3768 of file XChain_test.cpp.

BridgeID

using xrpl::test::XChainSim_test::BridgeID = BridgeDef const*

private

Definition at line 3769 of file XChain_test.cpp.

Sm

using xrpl::test::XChainSim_test::Sm = std::variant<SmCreateAccount, SmTransfer>

private

Definition at line 4340 of file XChain_test.cpp.

SmCont

using xrpl::test::XChainSim_test::SmCont = std::list<std::pair<uint64_t, Sm>>

private

Definition at line 4341 of file XChain_test.cpp.

Member Enumeration Documentation

WithClaim

enum class xrpl::test::XChainSim_test::WithClaim

strongprivate

Enumerator
No
Yes

Definition at line 3744 of file XChain_test.cpp.

SmState

enum class xrpl::test::XChainSim_test::SmState

strongprivate

Enumerator
Initial
ClaimIdCreated
Attesting
Attested
Completed
Closed

Definition at line 3994 of file XChain_test.cpp.

ActFlags

enum class xrpl::test::XChainSim_test::ActFlags

strongprivate

Enumerator
A2b

Definition at line 4003 of file XChain_test.cpp.

Member Function Documentation

xfer()

void xrpl::test::XChainSim_test::xfer ( uint64_t time, std::shared_ptr< ChainStateTracker > const & chainstate, BridgeDef const & bridge, Transfer transfer )

private

Definition at line 4346 of file XChain_test.cpp.

ac()

void xrpl::test::XChainSim_test::ac ( uint64_t time, std::shared_ptr< ChainStateTracker > const & chainstate, BridgeDef const & bridge, AccountCreate ac )

private

Definition at line 4356 of file XChain_test.cpp.

runSimulation()

void xrpl::test::XChainSim_test::runSimulation	(	std::shared_ptr< ChainStateTracker > const &	st,
		bool	verifyBalances = true )

Definition at line 4366 of file XChain_test.cpp.

testXChainSimulation()

void xrpl::test::XChainSim_test::testXChainSimulation

(

)

Definition at line 4409 of file XChain_test.cpp.

run()

void xrpl::test::XChainSim_test::run ( )

overridevirtual

Runs the suite.

Implements beast::unit_test::Suite.

Definition at line 4774 of file XChain_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

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 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

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 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.

createMcBridgeObjects()

void xrpl::test::jtx::XChainBridgeObjects::createMcBridgeObjects ( Env & mcEnv )

inherited

Definition at line 448 of file xchain_bridge.cpp.

createScBridgeObjects()

void xrpl::test::jtx::XChainBridgeObjects::createScBridgeObjects ( Env & scEnv )

inherited

Definition at line 465 of file xchain_bridge.cpp.

createBridgeObjects()

void xrpl::test::jtx::XChainBridgeObjects::createBridgeObjects ( Env & mcEnv, Env & scEnv )

inherited

Definition at line 482 of file xchain_bridge.cpp.

attCreateAcctVec()

JValueVec xrpl::test::jtx::XChainBridgeObjects::attCreateAcctVec ( std::uint64_t createCount, jtx::AnyAmount const & amt, jtx::Account const & dst, std::size_t const numAtts, std::size_t const fromIdx = 0 )

inherited

Definition at line 198 of file xchain_bridge.h.

createBridge()

json::Value xrpl::test::jtx::XChainBridgeObjects::createBridge ( Account const & acc, json::Value const & bridge = json::ValueType::Null, STAmount const & reward = XRP(1), std::optional< STAmount > const & minAccountCreate = std::nullopt ) const

nodiscardinherited

Definition at line 221 of file xchain_bridge.h.

Member Data Documentation

kNumSigners

size_t xrpl::test::XChainSim_test::kNumSigners = 5

staticconstexprprivate

Definition at line 3741 of file XChain_test.cpp.

sm_

SmCont xrpl::test::XChainSim_test::sm_

private

Definition at line 4343 of file XChain_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.

mcDoor

Account const xrpl::test::jtx::XChainBridgeObjects::mcDoor

inherited

Definition at line 134 of file xchain_bridge.h.

mcAlice

Account const xrpl::test::jtx::XChainBridgeObjects::mcAlice

inherited

Definition at line 135 of file xchain_bridge.h.

mcBob

Account const xrpl::test::jtx::XChainBridgeObjects::mcBob

inherited

Definition at line 136 of file xchain_bridge.h.

mcCarol

Account const xrpl::test::jtx::XChainBridgeObjects::mcCarol

inherited

Definition at line 137 of file xchain_bridge.h.

mcGw

Account const xrpl::test::jtx::XChainBridgeObjects::mcGw

inherited

Definition at line 138 of file xchain_bridge.h.

scDoor

Account const xrpl::test::jtx::XChainBridgeObjects::scDoor

inherited

Definition at line 139 of file xchain_bridge.h.

scAlice

Account const xrpl::test::jtx::XChainBridgeObjects::scAlice

inherited

Definition at line 140 of file xchain_bridge.h.

scBob

Account const xrpl::test::jtx::XChainBridgeObjects::scBob

inherited

Definition at line 141 of file xchain_bridge.h.

scCarol

Account const xrpl::test::jtx::XChainBridgeObjects::scCarol

inherited

Definition at line 142 of file xchain_bridge.h.

scGw

Account const xrpl::test::jtx::XChainBridgeObjects::scGw

inherited

Definition at line 143 of file xchain_bridge.h.

scAttester

Account const xrpl::test::jtx::XChainBridgeObjects::scAttester

inherited

Definition at line 144 of file xchain_bridge.h.

scReward

Account const xrpl::test::jtx::XChainBridgeObjects::scReward

inherited

Definition at line 145 of file xchain_bridge.h.

mcuDoor

Account const xrpl::test::jtx::XChainBridgeObjects::mcuDoor

inherited

Definition at line 148 of file xchain_bridge.h.

mcuAlice

Account const xrpl::test::jtx::XChainBridgeObjects::mcuAlice

inherited

Definition at line 149 of file xchain_bridge.h.

mcuBob

Account const xrpl::test::jtx::XChainBridgeObjects::mcuBob

inherited

Definition at line 150 of file xchain_bridge.h.

mcuCarol

Account const xrpl::test::jtx::XChainBridgeObjects::mcuCarol

inherited

Definition at line 151 of file xchain_bridge.h.

mcuGw

Account const xrpl::test::jtx::XChainBridgeObjects::mcuGw

inherited

Definition at line 152 of file xchain_bridge.h.

scuDoor

Account const xrpl::test::jtx::XChainBridgeObjects::scuDoor

inherited

Definition at line 153 of file xchain_bridge.h.

scuAlice

Account const xrpl::test::jtx::XChainBridgeObjects::scuAlice

inherited

Definition at line 154 of file xchain_bridge.h.

scuBob

Account const xrpl::test::jtx::XChainBridgeObjects::scuBob

inherited

Definition at line 155 of file xchain_bridge.h.

scuCarol

Account const xrpl::test::jtx::XChainBridgeObjects::scuCarol

inherited

Definition at line 156 of file xchain_bridge.h.

scuGw

Account const xrpl::test::jtx::XChainBridgeObjects::scuGw

inherited

Definition at line 157 of file xchain_bridge.h.

mcUSD

IOU const xrpl::test::jtx::XChainBridgeObjects::mcUSD

inherited

Definition at line 159 of file xchain_bridge.h.

scUSD

IOU const xrpl::test::jtx::XChainBridgeObjects::scUSD

inherited

Definition at line 160 of file xchain_bridge.h.

jvXRPBridgeRPC

json::Value const xrpl::test::jtx::XChainBridgeObjects::jvXRPBridgeRPC

inherited

Definition at line 162 of file xchain_bridge.h.

jvb

json::Value xrpl::test::jtx::XChainBridgeObjects::jvb

inherited

Definition at line 163 of file xchain_bridge.h.

jvub

json::Value xrpl::test::jtx::XChainBridgeObjects::jvub

inherited

Definition at line 164 of file xchain_bridge.h.

features

FeatureBitset const xrpl::test::jtx::XChainBridgeObjects::features

inherited

Definition at line 166 of file xchain_bridge.h.

signers

std::vector<Signer> const xrpl::test::jtx::XChainBridgeObjects::signers

inherited

Definition at line 167 of file xchain_bridge.h.

altSigners

std::vector<Signer> const xrpl::test::jtx::XChainBridgeObjects::altSigners

inherited

Definition at line 168 of file xchain_bridge.h.

payee

std::vector<Account> const xrpl::test::jtx::XChainBridgeObjects::payee

inherited

Definition at line 169 of file xchain_bridge.h.

payees

std::vector<Account> const xrpl::test::jtx::XChainBridgeObjects::payees

inherited

Definition at line 170 of file xchain_bridge.h.

quorum

std::uint32_t const xrpl::test::jtx::XChainBridgeObjects::quorum {kUtXchainDefaultQuorum}

inherited

Definition at line 171 of file xchain_bridge.h.

reward

STAmount const xrpl::test::jtx::XChainBridgeObjects::reward

inherited

Definition at line 173 of file xchain_bridge.h.

splitRewardQuorum

STAmount const xrpl::test::jtx::XChainBridgeObjects::splitRewardQuorum

inherited

Definition at line 174 of file xchain_bridge.h.

splitRewardEveryone

STAmount const xrpl::test::jtx::XChainBridgeObjects::splitRewardEveryone

inherited

Definition at line 175 of file xchain_bridge.h.

tinyReward

STAmount const xrpl::test::jtx::XChainBridgeObjects::tinyReward

inherited

Definition at line 177 of file xchain_bridge.h.

tinyRewardSplit

STAmount const xrpl::test::jtx::XChainBridgeObjects::tinyRewardSplit

inherited

Definition at line 178 of file xchain_bridge.h.

tinyRewardRemainder

STAmount const xrpl::test::jtx::XChainBridgeObjects::tinyRewardRemainder

inherited

Definition at line 179 of file xchain_bridge.h.

oneXrp

STAmount const xrpl::test::jtx::XChainBridgeObjects::oneXrp

inherited

Definition at line 181 of file xchain_bridge.h.

xrpDust

STAmount const xrpl::test::jtx::XChainBridgeObjects::xrpDust

inherited

Definition at line 182 of file xchain_bridge.h.

kDropPerXrp

int xrpl::test::jtx::XChainBridgeObjects::kDropPerXrp = 1000000

staticconstexprinherited

Definition at line 184 of file xchain_bridge.h.