xrpl::XRPBalanceChecks Class Reference

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

#include <InvariantCheck.h>

Public Member Functions
void	visitEntry (bool, SLE::ConstRef, SLE::ConstRef)
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 kInitialXRP drops, inclusive.

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

Definition at line 206 of file InvariantCheck.h.

Member Function Documentation

visitEntry()

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

Definition at line 235 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 263 of file InvariantCheck.cpp.

Member Data Documentation

bad_

bool xrpl::XRPBalanceChecks::bad_ = false

private

Definition at line 208 of file InvariantCheck.h.