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 &)

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 104 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 383 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 393 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

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

private

Definition at line 106 of file InvariantCheck.h.