InvariantRunner.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 <xrpl/tx/ApplyContext.h>
 
#include <functional>
#include <optional>
 
namespace xrpl {

class TxInvariantCheck
{
public:
    virtual ~TxInvariantCheck() = default;

    virtual void
    visitEntry(bool isDelete, SLE::ConstRef before, SLE::ConstRef after) = 0;

    [[nodiscard]] virtual bool
    finalize(
        STTx const& tx,
        TER result,
        XRPAmount fee,
        ReadView const& view,
        beast::Journal const& j) = 0;
};

[[nodiscard]] TER
checkInvariants(
    ApplyContext& ctx,
    TER result,
    XRPAmount fee,
    std::optional<std::reference_wrapper<TxInvariantCheck>> txCheck);
 
[[nodiscard]] inline TER
checkInvariants(ApplyContext& ctx, TER result, XRPAmount fee)
{
    return checkInvariants(ctx, result, fee, std::nullopt);
}
 
}  // namespace xrpl