rippled
Public Member Functions | Private Attributes | List of all members
ripple::XRPBalanceChecks Class Reference

Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops, inclusive. More...

Public Member Functions

void visitEntry (bool, std::shared_ptr< SLE const > const &, std::shared_ptr< SLE const > const &)
 
bool finalize (STTx const &, TER const, XRPAmount const, ReadView const &, beast::Journal const &)
 

Private Attributes

bool bad_ = false
 

Detailed Description

Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops, inclusive.

We iterate all account roots modified by the transaction and ensure that their XRP balances are reasonable.

Definition at line 173 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

void ripple::XRPBalanceChecks::visitEntry ( bool  ,
std::shared_ptr< SLE const > const &  before,
std::shared_ptr< SLE const > const &  after 
)

Definition at line 167 of file InvariantCheck.cpp.

◆ finalize()

bool ripple::XRPBalanceChecks::finalize ( STTx const &  ,
TER const  ,
XRPAmount const  ,
ReadView const &  ,
beast::Journal const &  j 
)

Definition at line 198 of file InvariantCheck.cpp.

Member Data Documentation

◆ bad_

bool ripple::XRPBalanceChecks::bad_ = false
private

Definition at line 175 of file InvariantCheck.h.