Invariant: we cannot remove an account ledger entry. More...

#include <InvariantCheck.h>

Collaboration diagram for xrpl::AccountRootsNotDeleted:

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
std::uint32_t	accountsDeleted_ = 0

Detailed Description

Invariant: we cannot remove an account ledger entry.

We iterate all account roots that were modified, and ensure that any that were present before the transaction was applied continue to be present afterwards unless they were explicitly deleted by a successful AccountDelete transaction.

Definition at line 145 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

void xrpl::AccountRootsNotDeleted::visitEntry	(	bool	isDelete,
		SLE::const_ref	before,
		SLE::const_ref	)

Definition at line 381 of file InvariantCheck.cpp.

◆ finalize()

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

nodiscard

Definition at line 388 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

std::uint32_t xrpl::AccountRootsNotDeleted::accountsDeleted_ = 0

private

Definition at line 147 of file InvariantCheck.h.