Invariant: a deleted account must not have any objects left. More...

#include <InvariantCheck.h>

Collaboration diagram for xrpl::AccountRootsDeletedClean:

[legend]

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::vector< std::pair< std::shared_ptr< SLE const >, std::shared_ptr< SLE const > > >	accountsDeleted_

Detailed Description

Invariant: a deleted account must not have any objects left.

We iterate all deleted account roots, and ensure that there are no objects left that are directly accessible with that account's ID.

There should only be one deleted account, but that's checked by AccountRootsNotDeleted. This invariant will handle multiple deleted account roots without a problem.

Definition at line 159 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 482 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 492 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

std::vector< std::pair<std::shared_ptr<SLE const>, std::shared_ptr<SLE const> > > xrpl::AccountRootsDeletedClean::accountsDeleted_

private

Definition at line 168 of file InvariantCheck.h.