Invariants: Pseudo-accounts have valid and consistent properties. More...

#include <InvariantCheck.h>

Collaboration diagram for xrpl::ValidPseudoAccounts:

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::string >	errors_

Detailed Description

Invariants: Pseudo-accounts have valid and consistent properties.

Pseudo-accounts have certain properties, and some of those properties are unique to pseudo-accounts. Check that all pseudo-accounts are following the rules, and that only pseudo-accounts look like pseudo-accounts.

Definition at line 341 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 846 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 906 of file InvariantCheck.cpp.

Member Data Documentation

◆ errors_

std::vector<std::string> xrpl::ValidPseudoAccounts::errors_

private

Definition at line 343 of file InvariantCheck.h.