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, SLE::ConstRef, SLE::ConstRef)
bool	finalize (STTx const &, TER const, XRPAmount const, ReadView const &, beast::Journal const &)

Private Attributes
std::vector< std::pair< SLE::const_pointer, SLE::const_pointer > >	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 182 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

void xrpl::AccountRootsDeletedClean::visitEntry	(	bool	isDelete,
		SLE::ConstRef	before,
		SLE::ConstRef	after )

Definition at line 479 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 486 of file InvariantCheck.cpp.

Member Data Documentation

◆ accountsDeleted_

std::vector<std::pair<SLE::const_pointer, SLE::const_pointer> > xrpl::AccountRootsDeletedClean::accountsDeleted_

private

Definition at line 189 of file InvariantCheck.h.