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 129 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 430 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 440 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

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

private

Definition at line 131 of file InvariantCheck.h.