LoanInvariant.h

#pragma once
 
#include <xrpl/beast/utility/Journal.h>
#include <xrpl/ledger/ReadView.h>
#include <xrpl/protocol/STLedgerEntry.h>
#include <xrpl/protocol/STTx.h>
#include <xrpl/protocol/TER.h>
#include <xrpl/protocol/XRPAmount.h>
 
#include <utility>
#include <vector>
 
namespace xrpl {

class ValidLoan
{
    // Pair is <before, after>. After is used for most of the checks, except
    // those that check changed values.
    std::vector<std::pair<SLE::const_pointer, SLE::const_pointer>> loans_;
    // Loans removed from the ledger, in the same <before, after> form as loans_.
    // Note that `after` holds the erased entry, so it is not null.
    std::vector<std::pair<SLE::const_pointer, SLE::const_pointer>> deletedLoans_;
 
public:
    void
    visitEntry(bool, SLE::ConstRef, SLE::ConstRef);
 
    bool
    finalize(STTx const&, TER const, XRPAmount const, ReadView const&, beast::Journal const&);
};
 
}  // namespace xrpl