Move all remaining files into modules

2025-12-06 17:27:55 +00:00 · 2013-07-23 18:41:10 -07:00
parent bf3d3b7535
commit 58ee1b2019
150 changed files with 1112 additions and 1117 deletions
--- a/modules/ripple_app/tx/TransactionCheck.cpp
+++ b/modules/ripple_app/tx/TransactionCheck.cpp
@@ -0,0 +1,93 @@
+//------------------------------------------------------------------------------
+/*
+    Copyright (c) 2011-2013, OpenCoin, Inc.
+*/
+//==============================================================================
+
+
+// VFALCO TODO move this into TransactionEngine.cpp
+
+// Double check a transaction's metadata to make sure no system invariants were broken
+
+bool TransactionEngine::checkInvariants (TER result, const SerializedTransaction& txn, TransactionEngineParams params)
+{
+#if 0
+    uint32                  txnSeq      = txn.getFieldU32 (sfSequence);
+
+    LedgerEntryAction       leaAction;
+
+    uint256                 srcActId    = Ledger::getAccountRootIndex (txn.getFieldAccount (sfAccount));
+    SLE::pointer            origSrcAct  = mLedger->getSLE (srcActId);
+    SLE::pointer            newSrcAct   = mNodes.getEntry (srcActId, leaAction);
+
+    if (!newSrcAct || !origSrcAct)
+    {
+        WriteLog (lsFATAL, TransactionEngine) << "Transaction created or destroyed its issuing account";
+        assert (false);
+        return tefINTERNAL;
+    }
+
+    if ((newSrcAct->getFieldU32 (sfSequence) != (txnSeq + 1)) ||
+            (origSrcAct->getFieldU32 (sfSequence) != txnSeq))
+    {
+        WriteLog (lsFATAL, TransactionEngine) << "Transaction mangles sequence numbers";
+        WriteLog (lsFATAL, TransactionEngine) << "t:" << txnSeq << " o: " << origSrcAct->getFieldU32 (sfSequence)
+                                              << " n: " << newSrcAct->getFieldU32 (sfSequence);
+        assert (false);
+        return tefINTERNAL;
+    }
+
+    int64 xrpChange = txn.getFieldAmount (sfFee).getSNValue ();
+
+    for (LedgerEntrySet::const_iterator it = mNodes.begin (), end = mNodes.end (); it != end; ++it)
+    {
+        const LedgerEntrySetEntry& entry = it->second;
+
+        if (entry.mAction == taaMODIFY)
+        {
+#if 0
+
+            if (entry.mEntry->getType () == ltRIPPLE_STATE)
+            {
+                // if this transaction pushes a ripple state over its limit, make sure it also modifies
+                // an offer placed by that same user
+            }
+
+#endif
+
+            if (entry.mEntry->getType () == ltACCOUNT_ROOT)
+            {
+                // account modified
+                xrpChange += entry.mEntry->getFieldAmount (sfBalance).getSNValue ();
+                xrpChange -= mLedger->getSLE (it->first)->getFieldAmount (sfBalance).getSNValue ();
+            }
+        }
+        else if (entry.mAction == taaCREATE)
+        {
+            if (entry.mEntry->getType () == ltRIPPLE_STATE)
+            {
+                if (entry.mEntry->getFieldAmount (sfLowLimit).getIssuer () ==
+                        entry.mEntry->getFieldAmount (sfHighLimit).getIssuer ())
+                {
+                    WriteLog (lsFATAL, TransactionEngine) << "Ripple line to self";
+                    assert (false);
+                    return tefINTERNAL;
+                }
+            }
+
+            if (entry.mEntry->getType () == ltACCOUNT_ROOT) // account created
+                xrpChange += entry.mEntry->getFieldAmount (sfBalance).getSNValue ();
+        }
+    }
+
+    if (xrpChange != 0)
+    {
+        WriteLog (lsFATAL, TransactionEngine) << "Transaction creates/destroys XRP";
+        assert (false);
+        return tefINTERNAL;
+    }
+
+#endif
+
+    return true;
+}