rippled
Loading...
Searching...
No Matches
Classes | Public Member Functions | Static Public Member Functions | Public Attributes | Static Public Attributes | Private Types | Private Member Functions | Static Private Member Functions | Private Attributes | Static Private Attributes | List of all members
ripple::test::XChainSim_test Struct Reference
Inheritance diagram for ripple::test::XChainSim_test:
Inheritance graph
[legend]
Collaboration diagram for ripple::test::XChainSim_test:
Collaboration graph
[legend]

Classes

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

Public Member Functions

void runSimulation (std::shared_ptr< ChainStateTracker > const &st, bool verify_balances=true)
 
void testXChainSimulation ()
 
void run () override
 Runs the suite. More...
 
template<class = void>
void operator() (runner &r)
 Invokes the test using the specified runner. More...
 
template<class = void>
void pass ()
 Record a successful test condition. More...
 
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. More...
 
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 att_create_acct_vec (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 create_bridge (Account const &acc, Json::Value const &bridge=Json::nullValue, STAmount const &_reward=XRP(1), std::optional< STAmount > const &minAccountCreate=std::nullopt)
 
template<class String >
void fail (String const &reason, char const *file, int line)
 Record a failure. More...
 
template<class = void>
void fail (std::string const &reason="")
 
template<class Condition >
bool expect (Condition const &shouldBeTrue)
 Evaluate a test condition. More...
 
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 suitethis_suite ()
 Returns the "current" running suite. More...
 

Public Attributes

log_os< char > log
 Logging output stream. More...
 
testcase_t testcase
 Memberspace for declaring test cases. More...
 
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 alt_signers
 
std::vector< Account > const payee
 
std::vector< Account > const payees
 
std::uint32_t const quorum
 
STAmount const reward
 
STAmount const split_reward_quorum
 
STAmount const split_reward_everyone
 
const STAmount tiny_reward
 
const STAmount tiny_reward_split
 
const STAmount tiny_reward_remainder
 
const STAmount one_xrp
 
const STAmount xrp_dust
 

Static Public Attributes

static constexpr int drop_per_xrp = 1000000
 

Private Types

enum class  WithClaim { no , yes }
 
enum  SmState {
  st_initial , st_claimid_created , st_attesting , st_attested ,
  st_completed , st_closed
}
 
enum  Act_Flags { af_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, const std::shared_ptr< ChainStateTracker > &chainstate, BridgeDef const &bridge, Transfer transfer)
 
void ac (uint64_t time, const std::shared_ptr< ChainStateTracker > &chainstate, BridgeDef const &bridge, AccountCreate ac)
 
void propagate_abort ()
 

Static Private Member Functions

static suite ** p_this_suite ()
 

Private Attributes

SmCont sm_
 
bool abort_ = false
 
bool aborted_ = false
 
runner * runner_ = nullptr
 

Static Private Attributes

static constexpr size_t num_signers = 5
 

Detailed Description

Definition at line 4298 of file XChain_test.cpp.

Member Typedef Documentation

◆ ENV

Definition at line 4329 of file XChain_test.cpp.

◆ BridgeID

Definition at line 4330 of file XChain_test.cpp.

◆ Sm

Definition at line 4923 of file XChain_test.cpp.

◆ SmCont

Definition at line 4924 of file XChain_test.cpp.

Member Enumeration Documentation

◆ WithClaim

enum class ripple::test::XChainSim_test::WithClaim
strongprivate
Enumerator
no 
yes 

Definition at line 4305 of file XChain_test.cpp.

◆ SmState

Enumerator
st_initial 
st_claimid_created 
st_attesting 
st_attested 
st_completed 
st_closed 

Definition at line 4570 of file XChain_test.cpp.

◆ Act_Flags

Enumerator
af_a2b 

Definition at line 4579 of file XChain_test.cpp.

Member Function Documentation

◆ xfer()

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

Definition at line 4929 of file XChain_test.cpp.

◆ ac()

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

Definition at line 4940 of file XChain_test.cpp.

◆ runSimulation()

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

Definition at line 4951 of file XChain_test.cpp.

◆ testXChainSimulation()

void ripple::test::XChainSim_test::testXChainSimulation ( )

Definition at line 4991 of file XChain_test.cpp.

◆ run()

void ripple::test::XChainSim_test::run ( )
overridevirtual

Runs the suite.

Implements beast::unit_test::suite.

Definition at line 5189 of file XChain_test.cpp.

◆ this_suite()

static suite * beast::unit_test::suite::this_suite ( )
staticinherited

Returns the "current" running suite.

If no suite is running, nullptr is returned.

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

◆ pass()

template<class >
void beast::unit_test::suite::pass
inherited

Record a successful test condition.

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

◆ fail() [2/2]

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

Definition at line 518 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 227 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 414 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 238 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 427 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 446 of file suite.h.

◆ except() [2/4]

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

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

◆ except() [4/4]

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

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

◆ unexcept() [2/2]

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

Definition at line 279 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 286 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 497 of file suite.h.

◆ unexpected() [2/2]

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

Definition at line 299 of file suite.h.

◆ p_this_suite()

static suite ** beast::unit_test::suite::p_this_suite ( )
staticprivateinherited

Definition at line 308 of file suite.h.

◆ propagate_abort()

void beast::unit_test::suite::propagate_abort ( )
privateinherited

Definition at line 537 of file suite.h.

◆ createMcBridgeObjects()

void ripple::test::jtx::XChainBridgeObjects::createMcBridgeObjects ( Env mcEnv)
inherited

Definition at line 474 of file xchain_bridge.cpp.

◆ createScBridgeObjects()

void ripple::test::jtx::XChainBridgeObjects::createScBridgeObjects ( Env scEnv)
inherited

Definition at line 491 of file xchain_bridge.cpp.

◆ createBridgeObjects()

void ripple::test::jtx::XChainBridgeObjects::createBridgeObjects ( Env mcEnv,
Env scEnv 
)
inherited

Definition at line 509 of file xchain_bridge.cpp.

◆ att_create_acct_vec()

JValueVec ripple::test::jtx::XChainBridgeObjects::att_create_acct_vec ( 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 219 of file xchain_bridge.h.

◆ create_bridge()

Json::Value ripple::test::jtx::XChainBridgeObjects::create_bridge ( Account const &  acc,
Json::Value const &  bridge = Json::nullValue,
STAmount const &  _reward = XRP(1),
std::optional< STAmount > const &  minAccountCreate = std::nullopt 
)
inherited

Definition at line 242 of file xchain_bridge.h.

Member Data Documentation

◆ num_signers

constexpr size_t ripple::test::XChainSim_test::num_signers = 5
staticconstexprprivate

Definition at line 4302 of file XChain_test.cpp.

◆ sm_

SmCont ripple::test::XChainSim_test::sm_
private

Definition at line 4926 of file XChain_test.cpp.

◆ abort_

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

Definition at line 55 of file suite.h.

◆ aborted_

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

Definition at line 56 of file suite.h.

◆ runner_

runner* beast::unit_test::suite::runner_ = nullptr
privateinherited

Definition at line 57 of file suite.h.

◆ log

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

testcase_t beast::unit_test::suite::testcase
inherited

Memberspace for declaring test cases.

Definition at line 153 of file suite.h.

◆ mcDoor

Account const ripple::test::jtx::XChainBridgeObjects::mcDoor
inherited

Definition at line 155 of file xchain_bridge.h.

◆ mcAlice

Account const ripple::test::jtx::XChainBridgeObjects::mcAlice
inherited

Definition at line 156 of file xchain_bridge.h.

◆ mcBob

Account const ripple::test::jtx::XChainBridgeObjects::mcBob
inherited

Definition at line 157 of file xchain_bridge.h.

◆ mcCarol

Account const ripple::test::jtx::XChainBridgeObjects::mcCarol
inherited

Definition at line 158 of file xchain_bridge.h.

◆ mcGw

Account const ripple::test::jtx::XChainBridgeObjects::mcGw
inherited

Definition at line 159 of file xchain_bridge.h.

◆ scDoor

Account const ripple::test::jtx::XChainBridgeObjects::scDoor
inherited

Definition at line 160 of file xchain_bridge.h.

◆ scAlice

Account const ripple::test::jtx::XChainBridgeObjects::scAlice
inherited

Definition at line 161 of file xchain_bridge.h.

◆ scBob

Account const ripple::test::jtx::XChainBridgeObjects::scBob
inherited

Definition at line 162 of file xchain_bridge.h.

◆ scCarol

Account const ripple::test::jtx::XChainBridgeObjects::scCarol
inherited

Definition at line 163 of file xchain_bridge.h.

◆ scGw

Account const ripple::test::jtx::XChainBridgeObjects::scGw
inherited

Definition at line 164 of file xchain_bridge.h.

◆ scAttester

Account const ripple::test::jtx::XChainBridgeObjects::scAttester
inherited

Definition at line 165 of file xchain_bridge.h.

◆ scReward

Account const ripple::test::jtx::XChainBridgeObjects::scReward
inherited

Definition at line 166 of file xchain_bridge.h.

◆ mcuDoor

Account const ripple::test::jtx::XChainBridgeObjects::mcuDoor
inherited

Definition at line 169 of file xchain_bridge.h.

◆ mcuAlice

Account const ripple::test::jtx::XChainBridgeObjects::mcuAlice
inherited

Definition at line 170 of file xchain_bridge.h.

◆ mcuBob

Account const ripple::test::jtx::XChainBridgeObjects::mcuBob
inherited

Definition at line 171 of file xchain_bridge.h.

◆ mcuCarol

Account const ripple::test::jtx::XChainBridgeObjects::mcuCarol
inherited

Definition at line 172 of file xchain_bridge.h.

◆ mcuGw

Account const ripple::test::jtx::XChainBridgeObjects::mcuGw
inherited

Definition at line 173 of file xchain_bridge.h.

◆ scuDoor

Account const ripple::test::jtx::XChainBridgeObjects::scuDoor
inherited

Definition at line 174 of file xchain_bridge.h.

◆ scuAlice

Account const ripple::test::jtx::XChainBridgeObjects::scuAlice
inherited

Definition at line 175 of file xchain_bridge.h.

◆ scuBob

Account const ripple::test::jtx::XChainBridgeObjects::scuBob
inherited

Definition at line 176 of file xchain_bridge.h.

◆ scuCarol

Account const ripple::test::jtx::XChainBridgeObjects::scuCarol
inherited

Definition at line 177 of file xchain_bridge.h.

◆ scuGw

Account const ripple::test::jtx::XChainBridgeObjects::scuGw
inherited

Definition at line 178 of file xchain_bridge.h.

◆ mcUSD

IOU const ripple::test::jtx::XChainBridgeObjects::mcUSD
inherited

Definition at line 180 of file xchain_bridge.h.

◆ scUSD

IOU const ripple::test::jtx::XChainBridgeObjects::scUSD
inherited

Definition at line 181 of file xchain_bridge.h.

◆ jvXRPBridgeRPC

Json::Value const ripple::test::jtx::XChainBridgeObjects::jvXRPBridgeRPC
inherited

Definition at line 183 of file xchain_bridge.h.

◆ jvb

Json::Value ripple::test::jtx::XChainBridgeObjects::jvb
inherited

Definition at line 184 of file xchain_bridge.h.

◆ jvub

Json::Value ripple::test::jtx::XChainBridgeObjects::jvub
inherited

Definition at line 185 of file xchain_bridge.h.

◆ features

FeatureBitset const ripple::test::jtx::XChainBridgeObjects::features
inherited

Definition at line 187 of file xchain_bridge.h.

◆ signers

std::vector<signer> const ripple::test::jtx::XChainBridgeObjects::signers
inherited

Definition at line 188 of file xchain_bridge.h.

◆ alt_signers

std::vector<signer> const ripple::test::jtx::XChainBridgeObjects::alt_signers
inherited

Definition at line 189 of file xchain_bridge.h.

◆ payee

std::vector<Account> const ripple::test::jtx::XChainBridgeObjects::payee
inherited

Definition at line 190 of file xchain_bridge.h.

◆ payees

std::vector<Account> const ripple::test::jtx::XChainBridgeObjects::payees
inherited

Definition at line 191 of file xchain_bridge.h.

◆ quorum

std::uint32_t const ripple::test::jtx::XChainBridgeObjects::quorum
inherited

Definition at line 192 of file xchain_bridge.h.

◆ reward

STAmount const ripple::test::jtx::XChainBridgeObjects::reward
inherited

Definition at line 194 of file xchain_bridge.h.

◆ split_reward_quorum

STAmount const ripple::test::jtx::XChainBridgeObjects::split_reward_quorum
inherited

Definition at line 195 of file xchain_bridge.h.

◆ split_reward_everyone

STAmount const ripple::test::jtx::XChainBridgeObjects::split_reward_everyone
inherited

Definition at line 196 of file xchain_bridge.h.

◆ tiny_reward

const STAmount ripple::test::jtx::XChainBridgeObjects::tiny_reward
inherited

Definition at line 198 of file xchain_bridge.h.

◆ tiny_reward_split

const STAmount ripple::test::jtx::XChainBridgeObjects::tiny_reward_split
inherited

Definition at line 199 of file xchain_bridge.h.

◆ tiny_reward_remainder

const STAmount ripple::test::jtx::XChainBridgeObjects::tiny_reward_remainder
inherited

Definition at line 200 of file xchain_bridge.h.

◆ one_xrp

const STAmount ripple::test::jtx::XChainBridgeObjects::one_xrp
inherited

Definition at line 202 of file xchain_bridge.h.

◆ xrp_dust

const STAmount ripple::test::jtx::XChainBridgeObjects::xrp_dust
inherited

Definition at line 203 of file xchain_bridge.h.

◆ drop_per_xrp

constexpr int ripple::test::jtx::XChainBridgeObjects::drop_per_xrp = 1000000
staticconstexprinherited

Definition at line 205 of file xchain_bridge.h.