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

#include <InvariantCheck.h>

Collaboration diagram for ripple::ValidPseudoAccounts:

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

Detailed Description

Invariants: Pseudo-accounts have valid and consisent 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 632 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 1701 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 1768 of file InvariantCheck.cpp.

Member Data Documentation

◆ errors_

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

private

Definition at line 634 of file InvariantCheck.h.