xrpl::XRPBalanceChecks Class Reference

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

#include <InvariantCheck.h>

Public Member Functions
void	visitEntry (bool, SLE::const_ref, SLE::const_ref)
bool	finalize (STTx const &, TER const, XRPAmount const, ReadView const &, beast::Journal const &) 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 191 of file InvariantCheck.h.

Member Function Documentation

visitEntry()

void xrpl::XRPBalanceChecks::visitEntry	(	bool	,
		SLE::const_ref	before,
		SLE::const_ref	after )

Definition at line 189 of file InvariantCheck.cpp.

finalize()

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

nodiscard

Definition at line 217 of file InvariantCheck.cpp.

Member Data Documentation

bad_

bool xrpl::XRPBalanceChecks::bad_ = false

private

Definition at line 193 of file InvariantCheck.h.