| 
    rippled
    
   | 
 
Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops, inclusive. More...
#include <InvariantCheck.h>
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 | |
| bool | bad_ = false | 
Invariant: An account XRP balance must be in XRP and take a value between 0 and INITIAL_XRP drops, inclusive.
We iterate all account roots modified by the transaction and ensure that their XRP balances are reasonable.
Definition at line 205 of file InvariantCheck.h.
| void ripple::XRPBalanceChecks::visitEntry | ( | bool | , | 
| std::shared_ptr< SLE const > const & | before, | ||
| std::shared_ptr< SLE const > const & | after | ||
| ) | 
Definition at line 259 of file InvariantCheck.cpp.
| bool ripple::XRPBalanceChecks::finalize | ( | STTx const & | , | 
| TER const | , | ||
| XRPAmount const | , | ||
| ReadView const & | , | ||
| beast::Journal const & | j | ||
| ) | 
Definition at line 290 of file InvariantCheck.cpp.
      
  | 
  private | 
Definition at line 207 of file InvariantCheck.h.