mirror of
https://github.com/XRPLF/rippled.git
synced 2026-06-05 01:37:00 +00:00
1a7f824b89
The invariant check system had grown into a single monolithic file pair containing 24 invariant checker classes. The large `InvariantCheck.cpp` file was a frequent source of merge conflicts and difficult to navigate. This refactoring improves maintainability and readability with zero behavioral changes. In particular, this change: - Splits `InvariantCheck.h` and `InvariantCheck.cpp` into 10 focused header/source pairs organized by domain under a new `invariants/` subdirectory. - Extracts the shared `Privilege` enum and `hasPrivilege()` function into a dedicated `InvariantCheckPrivilege.h` header, so domain-specific files can reference them independently.
71 lines
2.2 KiB
C++
71 lines
2.2 KiB
C++
#pragma once
|
|
|
|
#include <xrpl/basics/base_uint.h>
|
|
#include <xrpl/beast/utility/Journal.h>
|
|
#include <xrpl/ledger/ReadView.h>
|
|
#include <xrpl/protocol/STTx.h>
|
|
#include <xrpl/protocol/TER.h>
|
|
|
|
#include <cstdint>
|
|
|
|
namespace xrpl {
|
|
|
|
/**
|
|
* @brief Invariant: Validates several invariants for NFToken pages.
|
|
*
|
|
* The following checks are made:
|
|
* - The page is correctly associated with the owner.
|
|
* - The page is correctly ordered between the next and previous links.
|
|
* - The page contains at least one and no more than 32 NFTokens.
|
|
* - The NFTokens on this page do not belong on a lower or higher page.
|
|
* - The NFTokens are correctly sorted on the page.
|
|
* - Each URI, if present, is not empty.
|
|
*/
|
|
class ValidNFTokenPage
|
|
{
|
|
bool badEntry_ = false;
|
|
bool badLink_ = false;
|
|
bool badSort_ = false;
|
|
bool badURI_ = false;
|
|
bool invalidSize_ = false;
|
|
bool deletedFinalPage_ = false;
|
|
bool deletedLink_ = false;
|
|
|
|
public:
|
|
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&);
|
|
};
|
|
|
|
/**
|
|
* @brief Invariant: Validates counts of NFTokens after all transaction types.
|
|
*
|
|
* The following checks are made:
|
|
* - The number of minted or burned NFTokens can only be changed by
|
|
* NFTokenMint or NFTokenBurn transactions.
|
|
* - A successful NFTokenMint must increase the number of NFTokens.
|
|
* - A failed NFTokenMint must not change the number of minted NFTokens.
|
|
* - An NFTokenMint transaction cannot change the number of burned NFTokens.
|
|
* - A successful NFTokenBurn must increase the number of burned NFTokens.
|
|
* - A failed NFTokenBurn must not change the number of burned NFTokens.
|
|
* - An NFTokenBurn transaction cannot change the number of minted NFTokens.
|
|
*/
|
|
class NFTokenCountTracking
|
|
{
|
|
std::uint32_t beforeMintedTotal = 0;
|
|
std::uint32_t beforeBurnedTotal = 0;
|
|
std::uint32_t afterMintedTotal = 0;
|
|
std::uint32_t afterBurnedTotal = 0;
|
|
|
|
public:
|
|
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&);
|
|
};
|
|
|
|
} // namespace xrpl
|