Invariant: Token holder's trustline balance cannot be negative after Clawback. More...

#include <InvariantCheck.h>

Collaboration diagram for ripple::ValidClawback:

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::uint32_t	trustlinesChanged = 0

std::uint32_t	mptokensChanged = 0

Detailed Description

Invariant: Token holder's trustline balance cannot be negative after Clawback.

We iterate all the trust lines affected by this transaction and ensure that no more than one trustline is modified, and also holder's balance is non-negative.

Definition at line 431 of file InvariantCheck.h.

Member Function Documentation

◆ visitEntry()

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

Definition at line 888 of file InvariantCheck.cpp.

◆ finalize()

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

Definition at line 901 of file InvariantCheck.cpp.

Member Data Documentation

◆ trustlinesChanged

std::uint32_t ripple::ValidClawback::trustlinesChanged = 0

private

Definition at line 433 of file InvariantCheck.h.

◆ mptokensChanged

std::uint32_t ripple::ValidClawback::mptokensChanged = 0