ReadView.h

#pragma once
 
#include <xrpl/basics/base_uint.h>
#include <xrpl/basics/chrono.h>
#include <xrpl/beast/hash/uhash.h>
#include <xrpl/beast/utility/instrumentation.h>
#include <xrpl/ledger/OwnerCounts.h>
#include <xrpl/ledger/detail/ReadViewFwdRange.h>
#include <xrpl/protocol/AccountID.h>
#include <xrpl/protocol/Fees.h>
#include <xrpl/protocol/Issue.h>  // IWYU pragma: keep
#include <xrpl/protocol/Keylet.h>
#include <xrpl/protocol/LedgerHeader.h>
#include <xrpl/protocol/MPTIssue.h>
#include <xrpl/protocol/Protocol.h>
#include <xrpl/protocol/Rules.h>
#include <xrpl/protocol/SField.h>
#include <xrpl/protocol/STAmount.h>
#include <xrpl/protocol/STLedgerEntry.h>
#include <xrpl/protocol/STObject.h>
#include <xrpl/protocol/STTx.h>
 
#include <cstdint>
#include <memory>
#include <optional>
#include <unordered_set>
#include <utility>
 
namespace xrpl {
 
//------------------------------------------------------------------------------

class ReadView
{
public:
    using tx_type = std::pair<std::shared_ptr<STTx const>, std::shared_ptr<STObject const>>;
 
    using key_type = uint256;
 
    using mapped_type = SLE::const_pointer;
 
    struct SlesType : detail::ReadViewFwdRange<SLE::const_pointer>
    {
        explicit SlesType(ReadView const& view);
        [[nodiscard]] Iterator
        begin() const;
        [[nodiscard]] Iterator
        end() const;
        [[nodiscard]] Iterator
        upperBound(key_type const& key) const;
    };
 
    struct TxsType : detail::ReadViewFwdRange<tx_type>
    {
        explicit TxsType(ReadView const& view);
        [[nodiscard]] bool
        empty() const;
        [[nodiscard]] Iterator
        begin() const;
        [[nodiscard]] Iterator
        end() const;
    };
 
    virtual ~ReadView() = default;
 
    ReadView&
    operator=(ReadView&& other) = delete;
    ReadView&
    operator=(ReadView const& other) = delete;
 
    ReadView() : sles(*this), txs(*this)
    {
    }
 
    ReadView(ReadView const& other) : sles(*this), txs(*this)
    {
    }
 
    ReadView(ReadView&& other) : sles(*this), txs(*this)
    {
    }

    [[nodiscard]] virtual LedgerHeader const&
    header() const = 0;

    [[nodiscard]] virtual bool
    open() const = 0;

    [[nodiscard]] NetClock::time_point
    parentCloseTime() const
    {
        return header().parentCloseTime;
    }

    [[nodiscard]] LedgerIndex
    seq() const
    {
        return header().seq;
    }

    [[nodiscard]] virtual Fees const&
    fees() const = 0;

    [[nodiscard]] virtual Rules const&
    rules() const = 0;

    [[nodiscard]] virtual bool
    exists(Keylet const& k) const = 0;

    [[nodiscard]] virtual std::optional<key_type>
    succ(key_type const& key, std::optional<key_type> const& last = std::nullopt) const = 0;

    [[nodiscard]] virtual SLE::const_pointer
    read(Keylet const& k) const = 0;
 
    // Accounts in a payment are not allowed to use assets acquired during that
    // payment. The PaymentSandbox tracks the debits, credits, and owner count
    // changes that accounts make during a payment. `balanceHookIOU` adjusts
    // balances so newly acquired assets are not counted toward the balance.
    // This is required to support PaymentSandbox.
    [[nodiscard]] virtual STAmount
    balanceHookIOU(AccountID const& account, AccountID const& issuer, STAmount const& amount) const
    {
        XRPL_ASSERT(amount.holds<Issue>(), "balanceHookIOU: amount is for Issue");
 
        return amount;
    }
 
    // balanceHookMPT adjusts balances so newly acquired assets are not counted
    // toward the balance.
    [[nodiscard]] virtual STAmount
    balanceHookMPT(AccountID const& account, MPTIssue const& issue, std::int64_t amount) const
    {
        return STAmount{issue, amount};
    }
 
    // An offer owned by an issuer and selling MPT is limited by the issuer's
    // funds available to issue, which are originally available funds less
    // already self sold MPT amounts (MPT sell offer). This hook is used
    // by issuerFundsToSelfIssue() function.
    [[nodiscard]] virtual STAmount
    balanceHookSelfIssueMPT(MPTIssue const& issue, std::int64_t amount) const
    {
        return STAmount{issue, amount};
    }
 
    // Accounts in a payment are not allowed to use assets acquired during that
    // payment. The PaymentSandbox tracks the debits, credits, and owner count
    // changes that accounts make during a payment. `ownerCountHook` adjusts the
    // ownerCount so it returns the max value of the ownerCount so far.
    // This is required to support PaymentSandbox.
    [[nodiscard]] virtual OwnerCounts
    ownerCountHook(AccountID const& account, OwnerCounts const& count) const
    {
        return count;
    }
 
    // used by the implementation
    [[nodiscard]] virtual std::unique_ptr<SlesType::iter_base>
    slesBegin() const = 0;
 
    // used by the implementation
    [[nodiscard]] virtual std::unique_ptr<SlesType::iter_base>
    slesEnd() const = 0;
 
    // used by the implementation
    [[nodiscard]] virtual std::unique_ptr<SlesType::iter_base>
    slesUpperBound(key_type const& key) const = 0;
 
    // used by the implementation
    [[nodiscard]] virtual std::unique_ptr<TxsType::iter_base>
    txsBegin() const = 0;
 
    // used by the implementation
    [[nodiscard]] virtual std::unique_ptr<TxsType::iter_base>
    txsEnd() const = 0;

    [[nodiscard]] virtual bool
    txExists(key_type const& key) const = 0;

    [[nodiscard]] virtual tx_type
    txRead(key_type const& key) const = 0;
 
    //
    // Memberspaces
    //

    SlesType sles;
 
    // The range of transactions
    TxsType txs;
};
 
//------------------------------------------------------------------------------

class DigestAwareReadView : public ReadView
{
public:
    using digest_type = uint256;
 
    DigestAwareReadView() = default;
    DigestAwareReadView(DigestAwareReadView const&) = default;

    [[nodiscard]] virtual std::optional<digest_type>
    digest(key_type const& key) const = 0;
};
 
//------------------------------------------------------------------------------
 
Rules
makeRulesGivenLedger(DigestAwareReadView const& ledger, Rules const& current);
 
Rules
makeRulesGivenLedger(
    DigestAwareReadView const& ledger,
    std::unordered_set<uint256, beast::Uhash<>> const& presets);
 
}  // namespace xrpl
 
#include <xrpl/ledger/detail/ReadViewFwdRange.ipp>