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

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

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 401 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 747 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 757 of file InvariantCheck.cpp.

Member Data Documentation

◆ trustlinesChanged

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

private

Definition at line 403 of file InvariantCheck.h.