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

#include <InvariantCheck.h>

Collaboration diagram for ripple::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 148 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 446 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 456 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

std::uint32_t ripple::AccountRootsNotDeleted::accountsDeleted_ = 0

private

Definition at line 150 of file InvariantCheck.h.