ARCHIVE/rippled
1
0
Fork 0
mirror of https://github.com/XRPLF/rippled.git synced 2025-12-06 17:27:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

deploy: 5644c8704f

Browse Source
This commit is contained in:
intelliot
2023-06-09 00:35:13 +00:00
parent 96559d2664
commit a793c7f908
15 changed files with 147 additions and 120 deletions
Download Patch File Download Diff File Expand all files Collapse all files

164
InvariantCheck_8h_source.html
View File

@@ -308,79 +308,79 @@ $(function() {
<div class="line"><a name="l00318"></a><span class="lineno"> 318</span>&#160; <a class="code" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00319"></a><span class="lineno"> 319</span>&#160;};</div>
<div class="line"><a name="l00320"></a><span class="lineno"> 320</span>&#160; </div>
<div class="line"><a name="l00321"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html"> 321</a></span>&#160;<span class="keyword">class </span><a class="code" href="classripple_1_1ValidNFTokenPage.html">ValidNFTokenPage</a></div>
<div class="line"><a name="l00322"></a><span class="lineno"> 322</span>&#160;{</div>
<div class="line"><a name="l00323"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662"> 323</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">badEntry_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00324"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738"> 324</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">badLink_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00325"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642"> 325</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">badSort_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00326"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e"> 326</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">badURI_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00327"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1"> 327</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">invalidSize_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00328"></a><span class="lineno"> 328</span>&#160; </div>
<div class="line"><a name="l00329"></a><span class="lineno"> 329</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00330"></a><span class="lineno"> 330</span>&#160; <span class="keywordtype">void</span></div>
<div class="line"><a name="l00331"></a><span class="lineno"> 331</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html#ac8b191d8882cac3ecaf3ab47650ed18b">visitEntry</a>(</div>
<div class="line"><a name="l00332"></a><span class="lineno"> 332</span>&#160; <span class="keywordtype">bool</span>,</div>
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00334"></a><span class="lineno"> 334</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00335"></a><span class="lineno"> 335</span>&#160; </div>
<div class="line"><a name="l00336"></a><span class="lineno"> 336</span>&#160; <span class="keywordtype">bool</span></div>
<div class="line"><a name="l00337"></a><span class="lineno"> 337</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html#aedafc736e929ed2f7e73d3ecfdaea336">finalize</a>(</div>
<div class="line"><a name="l00338"></a><span class="lineno"> 338</span>&#160; <a class="code" href="classripple_1_1STTx.html">STTx</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; <a class="code" href="classripple_1_1TERSubset.html">TER</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160; <a class="code" href="classripple_1_1XRPAmount.html">XRPAmount</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <a class="code" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <a class="code" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160;};</div>
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; </div>
<div class="line"><a name="l00345"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html"> 345</a></span>&#160;<span class="keyword">class </span><a class="code" href="classripple_1_1NFTokenCountTracking.html">NFTokenCountTracking</a></div>
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160;{</div>
<div class="line"><a name="l00347"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a"> 347</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">beforeMintedTotal</a> = 0;</div>
<div class="line"><a name="l00348"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862"> 348</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">beforeBurnedTotal</a> = 0;</div>
<div class="line"><a name="l00349"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375"> 349</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">afterMintedTotal</a> = 0;</div>
<div class="line"><a name="l00350"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22"> 350</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">afterBurnedTotal</a> = 0;</div>
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; </div>
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <span class="keywordtype">void</span></div>
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html#a601df47e97a991badedf492e4b73e4bc">visitEntry</a>(</div>
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; <span class="keywordtype">bool</span>,</div>
<div class="line"><a name="l00356"></a><span class="lineno"> 356</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00357"></a><span class="lineno"> 357</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00358"></a><span class="lineno"> 358</span>&#160; </div>
<div class="line"><a name="l00359"></a><span class="lineno"> 359</span>&#160; <span class="keywordtype">bool</span></div>
<div class="line"><a name="l00360"></a><span class="lineno"> 360</span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html#a2daba8debc363d4af0b30dbdc149aa91">finalize</a>(</div>
<div class="line"><a name="l00361"></a><span class="lineno"> 361</span>&#160; <a class="code" href="classripple_1_1STTx.html">STTx</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00362"></a><span class="lineno"> 362</span>&#160; <a class="code" href="classripple_1_1TERSubset.html">TER</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00363"></a><span class="lineno"> 363</span>&#160; <a class="code" href="classripple_1_1XRPAmount.html">XRPAmount</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00364"></a><span class="lineno"> 364</span>&#160; <a class="code" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00365"></a><span class="lineno"> 365</span>&#160; <a class="code" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00366"></a><span class="lineno"> 366</span>&#160;};</div>
<div class="line"><a name="l00367"></a><span class="lineno"> 367</span>&#160; </div>
<div class="line"><a name="l00368"></a><span class="lineno"> 368</span>&#160;<span class="comment">// additional invariant checks can be declared above and then added to this</span></div>
<div class="line"><a name="l00369"></a><span class="lineno"> 369</span>&#160;<span class="comment">// tuple</span></div>
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160;<span class="keyword">using</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a> = <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">std::tuple</a>&lt;</div>
<div class="line"><a name="l00371"></a><span class="lineno"> 371</span>&#160; <a class="code" href="classripple_1_1TransactionFeeCheck.html">TransactionFeeCheck</a>,</div>
<div class="line"><a name="l00372"></a><span class="lineno"> 372</span>&#160; <a class="code" href="classripple_1_1AccountRootsNotDeleted.html">AccountRootsNotDeleted</a>,</div>
<div class="line"><a name="l00373"></a><span class="lineno"> 373</span>&#160; <a class="code" href="classripple_1_1LedgerEntryTypesMatch.html">LedgerEntryTypesMatch</a>,</div>
<div class="line"><a name="l00374"></a><span class="lineno"> 374</span>&#160; <a class="code" href="classripple_1_1XRPBalanceChecks.html">XRPBalanceChecks</a>,</div>
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; <a class="code" href="classripple_1_1XRPNotCreated.html">XRPNotCreated</a>,</div>
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160; <a class="code" href="classripple_1_1NoXRPTrustLines.html">NoXRPTrustLines</a>,</div>
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <a class="code" href="classripple_1_1NoBadOffers.html">NoBadOffers</a>,</div>
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <a class="code" href="classripple_1_1NoZeroEscrow.html">NoZeroEscrow</a>,</div>
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <a class="code" href="classripple_1_1ValidNewAccountRoot.html">ValidNewAccountRoot</a>,</div>
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html">ValidNFTokenPage</a>,</div>
<div class="line"><a name="l00381"></a><span class="lineno"><a class="line" href="namespaceripple.html#a5eab7dbb1f0bc5ac7cd2caeede825ed7"> 381</a></span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html">NFTokenCountTracking</a>&gt;;</div>
<div class="line"><a name="l00332"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html"> 332</a></span>&#160;<span class="keyword">class </span><a class="code" href="classripple_1_1ValidNFTokenPage.html">ValidNFTokenPage</a></div>
<div class="line"><a name="l00333"></a><span class="lineno"> 333</span>&#160;{</div>
<div class="line"><a name="l00334"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662"> 334</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">badEntry_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00335"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738"> 335</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">badLink_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00336"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642"> 336</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">badSort_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00337"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e"> 337</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">badURI_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00338"></a><span class="lineno"><a class="line" href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1"> 338</a></span>&#160; <span class="keywordtype">bool</span> <a class="code" href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">invalidSize_</a> = <span class="keyword">false</span>;</div>
<div class="line"><a name="l00339"></a><span class="lineno"> 339</span>&#160; </div>
<div class="line"><a name="l00340"></a><span class="lineno"> 340</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00341"></a><span class="lineno"> 341</span>&#160; <span class="keywordtype">void</span></div>
<div class="line"><a name="l00342"></a><span class="lineno"> 342</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html#ac8b191d8882cac3ecaf3ab47650ed18b">visitEntry</a>(</div>
<div class="line"><a name="l00343"></a><span class="lineno"> 343</span>&#160; <span class="keywordtype">bool</span>,</div>
<div class="line"><a name="l00344"></a><span class="lineno"> 344</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00345"></a><span class="lineno"> 345</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00346"></a><span class="lineno"> 346</span>&#160; </div>
<div class="line"><a name="l00347"></a><span class="lineno"> 347</span>&#160; <span class="keywordtype">bool</span></div>
<div class="line"><a name="l00348"></a><span class="lineno"> 348</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html#aedafc736e929ed2f7e73d3ecfdaea336">finalize</a>(</div>
<div class="line"><a name="l00349"></a><span class="lineno"> 349</span>&#160; <a class="code" href="classripple_1_1STTx.html">STTx</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00350"></a><span class="lineno"> 350</span>&#160; <a class="code" href="classripple_1_1TERSubset.html">TER</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00351"></a><span class="lineno"> 351</span>&#160; <a class="code" href="classripple_1_1XRPAmount.html">XRPAmount</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00352"></a><span class="lineno"> 352</span>&#160; <a class="code" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00353"></a><span class="lineno"> 353</span>&#160; <a class="code" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00354"></a><span class="lineno"> 354</span>&#160;};</div>
<div class="line"><a name="l00355"></a><span class="lineno"> 355</span>&#160; </div>
<div class="line"><a name="l00369"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html"> 369</a></span>&#160;<span class="keyword">class </span><a class="code" href="classripple_1_1NFTokenCountTracking.html">NFTokenCountTracking</a></div>
<div class="line"><a name="l00370"></a><span class="lineno"> 370</span>&#160;{</div>
<div class="line"><a name="l00371"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a"> 371</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">beforeMintedTotal</a> = 0;</div>
<div class="line"><a name="l00372"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862"> 372</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">beforeBurnedTotal</a> = 0;</div>
<div class="line"><a name="l00373"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375"> 373</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">afterMintedTotal</a> = 0;</div>
<div class="line"><a name="l00374"></a><span class="lineno"><a class="line" href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22"> 374</a></span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/types/integer.html">std::uint32_t</a> <a class="code" href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">afterBurnedTotal</a> = 0;</div>
<div class="line"><a name="l00375"></a><span class="lineno"> 375</span>&#160; </div>
<div class="line"><a name="l00376"></a><span class="lineno"> 376</span>&#160;<span class="keyword">public</span>:</div>
<div class="line"><a name="l00377"></a><span class="lineno"> 377</span>&#160; <span class="keywordtype">void</span></div>
<div class="line"><a name="l00378"></a><span class="lineno"> 378</span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html#a601df47e97a991badedf492e4b73e4bc">visitEntry</a>(</div>
<div class="line"><a name="l00379"></a><span class="lineno"> 379</span>&#160; <span class="keywordtype">bool</span>,</div>
<div class="line"><a name="l00380"></a><span class="lineno"> 380</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00381"></a><span class="lineno"> 381</span>&#160; <a class="codeRef" href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr&lt;SLE const&gt;</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00382"></a><span class="lineno"> 382</span>&#160; </div>
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160;<span class="keyword">inline</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a></div>
<div class="line"><a name="l00392"></a><span class="lineno"><a class="line" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6"> 392</a></span>&#160;<a class="code" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">getInvariantChecks</a>()</div>
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160;{</div>
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160; <span class="keywordflow">return</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a>{};</div>
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160;}</div>
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; </div>
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160;} <span class="comment">// namespace ripple</span></div>
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; </div>
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160;<span class="preprocessor">#endif</span></div>
<div class="line"><a name="l00383"></a><span class="lineno"> 383</span>&#160; <span class="keywordtype">bool</span></div>
<div class="line"><a name="l00384"></a><span class="lineno"> 384</span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html#a2daba8debc363d4af0b30dbdc149aa91">finalize</a>(</div>
<div class="line"><a name="l00385"></a><span class="lineno"> 385</span>&#160; <a class="code" href="classripple_1_1STTx.html">STTx</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00386"></a><span class="lineno"> 386</span>&#160; <a class="code" href="classripple_1_1TERSubset.html">TER</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00387"></a><span class="lineno"> 387</span>&#160; <a class="code" href="classripple_1_1XRPAmount.html">XRPAmount</a> <span class="keyword">const</span>,</div>
<div class="line"><a name="l00388"></a><span class="lineno"> 388</span>&#160; <a class="code" href="classripple_1_1ReadView.html">ReadView</a> <span class="keyword">const</span>&amp;,</div>
<div class="line"><a name="l00389"></a><span class="lineno"> 389</span>&#160; <a class="code" href="classbeast_1_1Journal.html">beast::Journal</a> <span class="keyword">const</span>&amp;);</div>
<div class="line"><a name="l00390"></a><span class="lineno"> 390</span>&#160;};</div>
<div class="line"><a name="l00391"></a><span class="lineno"> 391</span>&#160; </div>
<div class="line"><a name="l00392"></a><span class="lineno"> 392</span>&#160;<span class="comment">// additional invariant checks can be declared above and then added to this</span></div>
<div class="line"><a name="l00393"></a><span class="lineno"> 393</span>&#160;<span class="comment">// tuple</span></div>
<div class="line"><a name="l00394"></a><span class="lineno"> 394</span>&#160;<span class="keyword">using</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a> = <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">std::tuple</a>&lt;</div>
<div class="line"><a name="l00395"></a><span class="lineno"> 395</span>&#160; <a class="code" href="classripple_1_1TransactionFeeCheck.html">TransactionFeeCheck</a>,</div>
<div class="line"><a name="l00396"></a><span class="lineno"> 396</span>&#160; <a class="code" href="classripple_1_1AccountRootsNotDeleted.html">AccountRootsNotDeleted</a>,</div>
<div class="line"><a name="l00397"></a><span class="lineno"> 397</span>&#160; <a class="code" href="classripple_1_1LedgerEntryTypesMatch.html">LedgerEntryTypesMatch</a>,</div>
<div class="line"><a name="l00398"></a><span class="lineno"> 398</span>&#160; <a class="code" href="classripple_1_1XRPBalanceChecks.html">XRPBalanceChecks</a>,</div>
<div class="line"><a name="l00399"></a><span class="lineno"> 399</span>&#160; <a class="code" href="classripple_1_1XRPNotCreated.html">XRPNotCreated</a>,</div>
<div class="line"><a name="l00400"></a><span class="lineno"> 400</span>&#160; <a class="code" href="classripple_1_1NoXRPTrustLines.html">NoXRPTrustLines</a>,</div>
<div class="line"><a name="l00401"></a><span class="lineno"> 401</span>&#160; <a class="code" href="classripple_1_1NoBadOffers.html">NoBadOffers</a>,</div>
<div class="line"><a name="l00402"></a><span class="lineno"> 402</span>&#160; <a class="code" href="classripple_1_1NoZeroEscrow.html">NoZeroEscrow</a>,</div>
<div class="line"><a name="l00403"></a><span class="lineno"> 403</span>&#160; <a class="code" href="classripple_1_1ValidNewAccountRoot.html">ValidNewAccountRoot</a>,</div>
<div class="line"><a name="l00404"></a><span class="lineno"> 404</span>&#160; <a class="code" href="classripple_1_1ValidNFTokenPage.html">ValidNFTokenPage</a>,</div>
<div class="line"><a name="l00405"></a><span class="lineno"><a class="line" href="namespaceripple.html#a5eab7dbb1f0bc5ac7cd2caeede825ed7"> 405</a></span>&#160; <a class="code" href="classripple_1_1NFTokenCountTracking.html">NFTokenCountTracking</a>&gt;;</div>
<div class="line"><a name="l00406"></a><span class="lineno"> 406</span>&#160; </div>
<div class="line"><a name="l00415"></a><span class="lineno"> 415</span>&#160;<span class="keyword">inline</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a></div>
<div class="line"><a name="l00416"></a><span class="lineno"><a class="line" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6"> 416</a></span>&#160;<a class="code" href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">getInvariantChecks</a>()</div>
<div class="line"><a name="l00417"></a><span class="lineno"> 417</span>&#160;{</div>
<div class="line"><a name="l00418"></a><span class="lineno"> 418</span>&#160; <span class="keywordflow">return</span> <a class="codeRef" href="http://en.cppreference.com/w/cpp/utility/tuple.html">InvariantChecks</a>{};</div>
<div class="line"><a name="l00419"></a><span class="lineno"> 419</span>&#160;}</div>
<div class="line"><a name="l00420"></a><span class="lineno"> 420</span>&#160; </div>
<div class="line"><a name="l00421"></a><span class="lineno"> 421</span>&#160;} <span class="comment">// namespace ripple</span></div>
<div class="line"><a name="l00422"></a><span class="lineno"> 422</span>&#160; </div>
<div class="line"><a name="l00423"></a><span class="lineno"> 423</span>&#160;<span class="preprocessor">#endif</span></div>
</div><!-- fragment --></div><!-- contents -->
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_abe3ca9bc10170391c54d2458fe81ad1e"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">ripple::ValidNFTokenPage::badURI_</a></div><div class="ttdeci">bool badURI_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00326">InvariantCheck.h:326</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_abe3ca9bc10170391c54d2458fe81ad1e"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#abe3ca9bc10170391c54d2458fe81ad1e">ripple::ValidNFTokenPage::badURI_</a></div><div class="ttdeci">bool badURI_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00337">InvariantCheck.h:337</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a36cdca4c6f0080c2d439197382caad1b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a36cdca4c6f0080c2d439197382caad1b">ripple::LedgerEntryTypesMatch::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00347">InvariantCheck.cpp:347</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_a6415fd2672914617dd5c4314f6cd791a"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#a6415fd2672914617dd5c4314f6cd791a">ripple::NoZeroEscrow::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00261">InvariantCheck.cpp:261</a></div></div>
<div class="ttc" id="ashared_ptr_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/memory/shared_ptr.html">std::shared_ptr</a></div><div class="ttdoc">STL class.</div></div>
@@ -388,17 +388,17 @@ $(function() {
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html_ac4519bf4df5f840ecc4c92beb06de582"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html#ac4519bf4df5f840ecc4c92beb06de582">ripple::TransactionFeeCheck::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00043">InvariantCheck.cpp:43</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_a0b505e356180b127a71ecd9aa27a2076"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#a0b505e356180b127a71ecd9aa27a2076">ripple::XRPBalanceChecks::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00198">InvariantCheck.cpp:198</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_ac6e7394e744edb616917087be5576873"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#ac6e7394e744edb616917087be5576873">ripple::NoXRPTrustLines::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00410">InvariantCheck.cpp:410</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac62d97251ac3813d550fe11d5cd33642"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">ripple::ValidNFTokenPage::badSort_</a></div><div class="ttdeci">bool badSort_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00325">InvariantCheck.h:325</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac62d97251ac3813d550fe11d5cd33642"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac62d97251ac3813d550fe11d5cd33642">ripple::ValidNFTokenPage::badSort_</a></div><div class="ttdeci">bool badSort_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00336">InvariantCheck.h:336</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a298674358a45f3dc26b82771928a3e0d"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a298674358a45f3dc26b82771928a3e0d">ripple::NoBadOffers::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00217">InvariantCheck.cpp:217</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_af61dd1f2df81b452d0e68b6f6b3147fc"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#af61dd1f2df81b452d0e68b6f6b3147fc">ripple::NoZeroEscrow::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00277">InvariantCheck.h:277</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_ac8b191d8882cac3ecaf3ab47650ed18b"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#ac8b191d8882cac3ecaf3ab47650ed18b">ripple::ValidNFTokenPage::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00497">InvariantCheck.cpp:497</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_aa6e56a79b8dfcb8c2a0bee964746acb4"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#aa6e56a79b8dfcb8c2a0bee964746acb4">ripple::NoBadOffers::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00253">InvariantCheck.h:253</a></div></div>
<div class="ttc" id="atuple_html"><div class="ttname"><a href="http://en.cppreference.com/w/cpp/header/tuple.html">tuple</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a2daba8debc363d4af0b30dbdc149aa91"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a2daba8debc363d4af0b30dbdc149aa91">ripple::NFTokenCountTracking::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00635">InvariantCheck.cpp:635</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a8d257e0b5fde0f4f2810ad3afdd052b1"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">ripple::ValidNFTokenPage::invalidSize_</a></div><div class="ttdeci">bool invalidSize_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00327">InvariantCheck.h:327</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_af77964e7d6514639da668dca0b52e94a"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">ripple::NFTokenCountTracking::beforeMintedTotal</a></div><div class="ttdeci">std::uint32_t beforeMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00347">InvariantCheck.h:347</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a8d257e0b5fde0f4f2810ad3afdd052b1"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a8d257e0b5fde0f4f2810ad3afdd052b1">ripple::ValidNFTokenPage::invalidSize_</a></div><div class="ttdeci">bool invalidSize_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00338">InvariantCheck.h:338</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_af77964e7d6514639da668dca0b52e94a"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#af77964e7d6514639da668dca0b52e94a">ripple::NFTokenCountTracking::beforeMintedTotal</a></div><div class="ttdeci">std::uint32_t beforeMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00371">InvariantCheck.h:371</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html"><div class="ttname"><a href="classripple_1_1NoBadOffers.html">ripple::NoBadOffers</a></div><div class="ttdoc">Invariant: offers should be for non-negative amounts and must not be XRP to XRP.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00251">InvariantCheck.h:251</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a19ef438f8da5f31136bf8b6e38399375"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">ripple::NFTokenCountTracking::afterMintedTotal</a></div><div class="ttdeci">std::uint32_t afterMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00349">InvariantCheck.h:349</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a19ef438f8da5f31136bf8b6e38399375"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a19ef438f8da5f31136bf8b6e38399375">ripple::NFTokenCountTracking::afterMintedTotal</a></div><div class="ttdeci">std::uint32_t afterMintedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00373">InvariantCheck.h:373</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a445a0f690613a858e30cc85fe4f0c068"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a445a0f690613a858e30cc85fe4f0c068">ripple::InvariantChecker_PROTOTYPE::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;tx, TER const tec, XRPAmount const fee, ReadView const &amp;view, beast::Journal const &amp;j)</div><div class="ttdoc">called after all ledger entries have been visited to determine the final status of the check</div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a6e27c3f5b5f8d7576af7687873ba6890"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a6e27c3f5b5f8d7576af7687873ba6890">ripple::InvariantChecker_PROTOTYPE::InvariantChecker_PROTOTYPE</a></div><div class="ttdeci">InvariantChecker_PROTOTYPE()=default</div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ad7a129c4e5e2a27845d3bfcea9d65f57"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ad7a129c4e5e2a27845d3bfcea9d65f57">ripple::ValidNewAccountRoot::accountSeq_</a></div><div class="ttdeci">std::uint32_t accountSeq_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00303">InvariantCheck.h:303</a></div></div>
@@ -406,13 +406,13 @@ $(function() {
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ab9fab13b3ee2f99b7dd730d4bee54cb6"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ab9fab13b3ee2f99b7dd730d4bee54cb6">ripple::ValidNewAccountRoot::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00457">InvariantCheck.cpp:457</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html_a2862dab9c386c9d07af0d5101997c9bf"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html#a2862dab9c386c9d07af0d5101997c9bf">ripple::NoXRPTrustLines::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00427">InvariantCheck.cpp:427</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a5e34cbf42f7065e304e55b483ca1976b"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a5e34cbf42f7065e304e55b483ca1976b">ripple::LedgerEntryTypesMatch::typeMismatch_</a></div><div class="ttdeci">bool typeMismatch_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00199">InvariantCheck.h:199</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html">ripple::NFTokenCountTracking</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00345">InvariantCheck.h:345</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html">ripple::NFTokenCountTracking</a></div><div class="ttdoc">Invariant: Validates counts of NFTokens after all transaction types.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00369">InvariantCheck.h:369</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aedafc736e929ed2f7e73d3ecfdaea336"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aedafc736e929ed2f7e73d3ecfdaea336">ripple::ValidNFTokenPage::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00574">InvariantCheck.cpp:574</a></div></div>
<div class="ttc" id="aclassripple_1_1NoBadOffers_html_a5a65f2a7289cfa8a5bcb7ae1ce222053"><div class="ttname"><a href="classripple_1_1NoBadOffers.html#a5a65f2a7289cfa8a5bcb7ae1ce222053">ripple::NoBadOffers::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00242">InvariantCheck.cpp:242</a></div></div>
<div class="ttc" id="aclassripple_1_1TransactionFeeCheck_html"><div class="ttname"><a href="classripple_1_1TransactionFeeCheck.html">ripple::TransactionFeeCheck</a></div><div class="ttdoc">Invariant: We should never charge a transaction a negative fee or a fee that is larger than what the ...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00092">InvariantCheck.h:92</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a8bd0465e5d8b43545afef7a256b29ba1"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a8bd0465e5d8b43545afef7a256b29ba1">ripple::LedgerEntryTypesMatch::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00384">InvariantCheck.cpp:384</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a52f1fceb89d454f4434a33d2286f4e22"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">ripple::NFTokenCountTracking::afterBurnedTotal</a></div><div class="ttdeci">std::uint32_t afterBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00350">InvariantCheck.h:350</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a7a5a99fe8658e2a2666ccae33539f662"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">ripple::ValidNFTokenPage::badEntry_</a></div><div class="ttdeci">bool badEntry_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00323">InvariantCheck.h:323</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a52f1fceb89d454f4434a33d2286f4e22"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a52f1fceb89d454f4434a33d2286f4e22">ripple::NFTokenCountTracking::afterBurnedTotal</a></div><div class="ttdeci">std::uint32_t afterBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00374">InvariantCheck.h:374</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_a7a5a99fe8658e2a2666ccae33539f662"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#a7a5a99fe8658e2a2666ccae33539f662">ripple::ValidNFTokenPage::badEntry_</a></div><div class="ttdeci">bool badEntry_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00334">InvariantCheck.h:334</a></div></div>
<div class="ttc" id="aclassripple_1_1TERSubset_html"><div class="ttname"><a href="classripple_1_1TERSubset.html">ripple::TERSubset&lt; CanCvtToTER &gt;</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNewAccountRoot_html_ae1f65001395bd02e6821430ca0a3457f"><div class="ttname"><a href="classripple_1_1ValidNewAccountRoot.html#ae1f65001395bd02e6821430ca0a3457f">ripple::ValidNewAccountRoot::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00444">InvariantCheck.cpp:444</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html">ripple::AccountRootsNotDeleted</a></div><div class="ttdoc">Invariant: we cannot remove an account ledger entry.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00146">InvariantCheck.h:146</a></div></div>
@@ -428,7 +428,7 @@ $(function() {
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html_acf5f8eea9716760dc7e1e4750af9bc91"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html#acf5f8eea9716760dc7e1e4750af9bc91">ripple::NoZeroEscrow::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00287">InvariantCheck.cpp:287</a></div></div>
<div class="ttc" id="aclassripple_1_1AccountRootsNotDeleted_html_ad4ccbae41922569ec64610d9b7730af1"><div class="ttname"><a href="classripple_1_1AccountRootsNotDeleted.html#ad4ccbae41922569ec64610d9b7730af1">ripple::AccountRootsNotDeleted::finalize</a></div><div class="ttdeci">bool finalize(STTx const &amp;, TER const, XRPAmount const, ReadView const &amp;, beast::Journal const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00316">InvariantCheck.cpp:316</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html">ripple::LedgerEntryTypesMatch</a></div><div class="ttdoc">Invariant: corresponding modified ledger entries should match in type and added entries should be a v...</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00197">InvariantCheck.h:197</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_ad24c33ca52f155408eff63e33ecd4862"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">ripple::NFTokenCountTracking::beforeBurnedTotal</a></div><div class="ttdeci">std::uint32_t beforeBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00348">InvariantCheck.h:348</a></div></div>
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_ad24c33ca52f155408eff63e33ecd4862"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#ad24c33ca52f155408eff63e33ecd4862">ripple::NFTokenCountTracking::beforeBurnedTotal</a></div><div class="ttdeci">std::uint32_t beforeBurnedTotal</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00372">InvariantCheck.h:372</a></div></div>
<div class="ttc" id="aclassripple_1_1ReadView_html"><div class="ttname"><a href="classripple_1_1ReadView.html">ripple::ReadView</a></div><div class="ttdoc">A view into a ledger.</div><div class="ttdef"><b>Definition:</b> <a href="ReadView_8h_source.html#l00125">ReadView.h:125</a></div></div>
<div class="ttc" id="anamespaceripple_html"><div class="ttname"><a href="namespaceripple.html">ripple</a></div><div class="ttdoc">Use hash_* containers for keys that do not need a cryptographically secure hashing algorithm.</div><div class="ttdef"><b>Definition:</b> <a href="RCLCensorshipDetector_8h_source.html#l00029">RCLCensorshipDetector.h:29</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html">ripple::InvariantChecker_PROTOTYPE</a></div><div class="ttdoc">Prototype for invariant check implementations.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00046">InvariantCheck.h:46</a></div></div>
@@ -442,13 +442,13 @@ $(function() {
<div class="ttc" id="aclassripple_1_1NFTokenCountTracking_html_a601df47e97a991badedf492e4b73e4bc"><div class="ttname"><a href="classripple_1_1NFTokenCountTracking.html#a601df47e97a991badedf492e4b73e4bc">ripple::NFTokenCountTracking::visitEntry</a></div><div class="ttdeci">void visitEntry(bool, std::shared_ptr&lt; SLE const &gt; const &amp;, std::shared_ptr&lt; SLE const &gt; const &amp;)</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8cpp_source.html#l00616">InvariantCheck.cpp:616</a></div></div>
<div class="ttc" id="aclassripple_1_1NoXRPTrustLines_html"><div class="ttname"><a href="classripple_1_1NoXRPTrustLines.html">ripple::NoXRPTrustLines</a></div><div class="ttdoc">Invariant: Trust lines using XRP are not allowed.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00224">InvariantCheck.h:224</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPBalanceChecks_html_aa9807a563c543a40f75ef52659cd8692"><div class="ttname"><a href="classripple_1_1XRPBalanceChecks.html#aa9807a563c543a40f75ef52659cd8692">ripple::XRPBalanceChecks::bad_</a></div><div class="ttdeci">bool bad_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00175">InvariantCheck.h:175</a></div></div>
<div class="ttc" id="anamespaceripple_html_aceaff96130b8a2fec303ae3a730d26c6"><div class="ttname"><a href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">ripple::getInvariantChecks</a></div><div class="ttdeci">InvariantChecks getInvariantChecks()</div><div class="ttdoc">get a tuple of all invariant checks</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00392">InvariantCheck.h:392</a></div></div>
<div class="ttc" id="anamespaceripple_html_aceaff96130b8a2fec303ae3a730d26c6"><div class="ttname"><a href="namespaceripple.html#aceaff96130b8a2fec303ae3a730d26c6">ripple::getInvariantChecks</a></div><div class="ttdeci">InvariantChecks getInvariantChecks()</div><div class="ttdoc">get a tuple of all invariant checks</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00416">InvariantCheck.h:416</a></div></div>
<div class="ttc" id="aclassripple_1_1LedgerEntryTypesMatch_html_a02b2eb57dd2b4de9b16ff8f3869f1634"><div class="ttname"><a href="classripple_1_1LedgerEntryTypesMatch.html#a02b2eb57dd2b4de9b16ff8f3869f1634">ripple::LedgerEntryTypesMatch::invalidTypeAdded_</a></div><div class="ttdeci">bool invalidTypeAdded_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00200">InvariantCheck.h:200</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPNotCreated_html_a5666e79cabd15392100c936835f3a263"><div class="ttname"><a href="classripple_1_1XRPNotCreated.html#a5666e79cabd15392100c936835f3a263">ripple::XRPNotCreated::drops_</a></div><div class="ttdeci">std::int64_t drops_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00120">InvariantCheck.h:120</a></div></div>
<div class="ttc" id="aclassripple_1_1XRPAmount_html"><div class="ttname"><a href="classripple_1_1XRPAmount.html">ripple::XRPAmount</a></div><div class="ttdef"><b>Definition:</b> <a href="XRPAmount_8h_source.html#l00046">XRPAmount.h:46</a></div></div>
<div class="ttc" id="aclassripple_1_1InvariantChecker__PROTOTYPE_html_a410221cb18ad5ae75d53a27411589eb9"><div class="ttname"><a href="classripple_1_1InvariantChecker__PROTOTYPE.html#a410221cb18ad5ae75d53a27411589eb9">ripple::InvariantChecker_PROTOTYPE::visitEntry</a></div><div class="ttdeci">void visitEntry(bool isDelete, std::shared_ptr&lt; SLE const &gt; const &amp;before, std::shared_ptr&lt; SLE const &gt; const &amp;after)</div><div class="ttdoc">called for each ledger entry in the current transaction.</div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aefc9e6916ce9a3bc7f8a68fd6790c738"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">ripple::ValidNFTokenPage::badLink_</a></div><div class="ttdeci">bool badLink_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00324">InvariantCheck.h:324</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html">ripple::ValidNFTokenPage</a></div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00321">InvariantCheck.h:321</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html_aefc9e6916ce9a3bc7f8a68fd6790c738"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html#aefc9e6916ce9a3bc7f8a68fd6790c738">ripple::ValidNFTokenPage::badLink_</a></div><div class="ttdeci">bool badLink_</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00335">InvariantCheck.h:335</a></div></div>
<div class="ttc" id="aclassripple_1_1ValidNFTokenPage_html"><div class="ttname"><a href="classripple_1_1ValidNFTokenPage.html">ripple::ValidNFTokenPage</a></div><div class="ttdoc">Invariant: Validates several invariants for NFToken pages.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00332">InvariantCheck.h:332</a></div></div>
<div class="ttc" id="aclassripple_1_1NoZeroEscrow_html"><div class="ttname"><a href="classripple_1_1NoZeroEscrow.html">ripple::NoZeroEscrow</a></div><div class="ttdoc">Invariant: an escrow entry must take a value between 0 and INITIAL_XRP drops exclusive.</div><div class="ttdef"><b>Definition:</b> <a href="InvariantCheck_8h_source.html#l00275">InvariantCheck.h:275</a></div></div>
<!-- start footer part -->
<hr class="footer"/><address class="footer"><small>