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

#include <InvariantCheck.h>

Collaboration diagram for xrpl::AccountRootsNotDeleted:

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 &) 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 147 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

void xrpl::AccountRootsNotDeleted::visitEntry	(	bool	isDelete,
		std::shared_ptr< SLE const > const &	before,
		std::shared_ptr< SLE const > const &
	)

Definition at line 363 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 373 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

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

private

Definition at line 149 of file InvariantCheck.h.