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::const_ref, SLE::const_ref)
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 167 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 433 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 440 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 174 of file InvariantCheck.h.