rippled
Public Member Functions | Private Types | Private Member Functions | List of all members
ripple::Invariants_test Class Reference
Inheritance diagram for ripple::Invariants_test:
Inheritance graph
[legend]
Collaboration diagram for ripple::Invariants_test:
Collaboration graph
[legend]

Public Member Functions

void run () override
 

Private Types

using Precheck = std::function< bool(test::jtx::Account const &a, test::jtx::Account const &b, ApplyContext &ac)>
 

Private Member Functions

void doInvariantCheck (std::vector< std::string > const &expect_logs, Precheck const &precheck, XRPAmount fee=XRPAmount{}, STTx tx=STTx{ttACCOUNT_SET, [](STObject &) {}}, std::initializer_list< TER > ters={ tecINVARIANT_FAILED, tefINVARIANT_FAILED})
 
void testXRPNotCreated ()
 
void testAccountRootsNotRemoved ()
 
void testTypesMatch ()
 
void testNoXRPTrustLine ()
 
void testXRPBalanceCheck ()
 
void testTransactionFeeCheck ()
 
void testNoBadOffers ()
 
void testNoZeroEscrow ()
 
void testValidNewAccountRoot ()
 

Detailed Description

Definition at line 31 of file Invariants_test.cpp.

Member Typedef Documentation

◆ Precheck

Definition at line 39 of file Invariants_test.cpp.

Member Function Documentation

◆ doInvariantCheck()

void ripple::Invariants_test::doInvariantCheck ( std::vector< std::string > const &  expect_logs,
Precheck const &  precheck,
XRPAmount  fee = XRPAmount{},
STTx  tx = STTx{ttACCOUNT_SET, [](STObject&) {}},
std::initializer_list< TER ters = tecINVARIANT_FAILEDtefINVARIANT_FAILED} 
)
private

Definition at line 42 of file Invariants_test.cpp.

◆ testXRPNotCreated()

void ripple::Invariants_test::testXRPNotCreated ( )
private

Definition at line 98 of file Invariants_test.cpp.

◆ testAccountRootsNotRemoved()

void ripple::Invariants_test::testAccountRootsNotRemoved ( )
private

Definition at line 117 of file Invariants_test.cpp.

◆ testTypesMatch()

void ripple::Invariants_test::testTypesMatch ( )
private

Definition at line 166 of file Invariants_test.cpp.

◆ testNoXRPTrustLine()

void ripple::Invariants_test::testNoXRPTrustLine ( )
private

Definition at line 206 of file Invariants_test.cpp.

◆ testXRPBalanceCheck()

void ripple::Invariants_test::testXRPBalanceCheck ( )
private

Definition at line 222 of file Invariants_test.cpp.

◆ testTransactionFeeCheck()

void ripple::Invariants_test::testTransactionFeeCheck ( )
private

Definition at line 272 of file Invariants_test.cpp.

◆ testNoBadOffers()

void ripple::Invariants_test::testNoBadOffers ( )
private

Definition at line 302 of file Invariants_test.cpp.

◆ testNoZeroEscrow()

void ripple::Invariants_test::testNoZeroEscrow ( )
private

Definition at line 359 of file Invariants_test.cpp.

◆ testValidNewAccountRoot()

void ripple::Invariants_test::testValidNewAccountRoot ( )
private

Definition at line 413 of file Invariants_test.cpp.

◆ run()

void ripple::Invariants_test::run ( )
override

Definition at line 466 of file Invariants_test.cpp.