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

#include <InvariantCheck.h>

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 186 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 240 of file InvariantCheck.cpp.

finalize()

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

Definition at line 271 of file InvariantCheck.cpp.

Member Data Documentation

bad_

bool ripple::XRPBalanceChecks::bad_ = false

private

Definition at line 188 of file InvariantCheck.h.