ARCHIVE/rippled
1
0
Fork 0
mirror of https://github.com/XRPLF/rippled.git synced 2026-02-09 16:32:36 +00:00
Code Issues Packages Projects Releases Wiki Activity

deploy: 53aa5ca903

Browse Source
This commit is contained in:
bthomee
2026-01-08 07:37:55 -08:00
parent a315e773e6
commit dd991c5e87
30 changed files with 3469 additions and 3467 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
InvariantCheck_8cpp_source.html
View File

@@ -171,9 +171,9 @@ $(document).ready(function() { init_codefold(0); });
<div class="line"><a id="l00084" name="l00084"></a><span class="lineno"> 84</span><span class="preprocessor">#pragma push_macro(&quot;TRANSACTION&quot;)</span></div>
<div class="line"><a id="l00085" name="l00085"></a><span class="lineno"> 85</span><span class="preprocessor">#undef TRANSACTION</span></div>
<div class="line"><a id="l00086" name="l00086"></a><span class="lineno"> 86</span> </div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span><span class="preprocessor">#define TRANSACTION(tag, value, name, delegatable, amendment, privileges, ...) \</span></div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span><span class="preprocessor"> case tag: { \</span></div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno"> 89</span><span class="preprocessor"> return (privileges) &amp; priv; \</span></div>
<div class="line"><a id="l00087" name="l00087"></a><span class="lineno"> 87</span><span class="preprocessor">#define TRANSACTION(tag, value, name, delegable, amendment, privileges, ...) \</span></div>
<div class="line"><a id="l00088" name="l00088"></a><span class="lineno"> 88</span><span class="preprocessor"> case tag: { \</span></div>
<div class="line"><a id="l00089" name="l00089"></a><span class="lineno"> 89</span><span class="preprocessor"> return (privileges) &amp; priv; \</span></div>
<div class="line"><a id="l00090" name="l00090"></a><span class="lineno"> 90</span><span class="preprocessor"> }</span></div>
<div class="line"><a id="l00091" name="l00091"></a><span class="lineno"> 91</span> </div>
<div class="line"><a id="l00092" name="l00092"></a><span class="lineno"> 92</span><span class="keywordtype">bool</span></div>