feature(cardano-db-sync): Look up insert settings from config

Rather than from CLI args

Author: sgillespie

cardano-chain-gen/src/Cardano/Mock/Forging/Tx/Conway.hs

@@ -20,6 +20,7 @@ module Cardano.Mock.Forging.Tx.Conway (
   mkUnlockScriptTxBabbage,
   mkScriptTx,
   mkSimpleTx,
+  mkAuxDataTx,
   mkDCertTx,
   mkDCertPoolTx,
   mkDCertTxPools,
@@ -28,6 +29,7 @@ module Cardano.Mock.Forging.Tx.Conway (
   mkMultiAssetsScriptTx,
   mkDepositTxPools,
   mkDummyRegisterTx,
+  mkDummyTxBody,
   mkTxDelegCert,
   mkRegTxCert,
   mkUnRegTxCert,
@@ -46,7 +48,7 @@ import Cardano.Ledger.Address (Addr (..), RewardAcnt (..), Withdrawals (..))
 import Cardano.Ledger.Allegra.Scripts
 import Cardano.Ledger.Alonzo.Scripts
 import Cardano.Ledger.Alonzo.Tx (IsValid (..))
-import Cardano.Ledger.Alonzo.TxAuxData (AlonzoTxAuxData (..))
+import Cardano.Ledger.Alonzo.TxAuxData (AlonzoTxAuxData (..), mkAlonzoTxAuxData)
 import Cardano.Ledger.Alonzo.TxWits (RdmrPtr (..))
 import Cardano.Ledger.BaseTypes (EpochNo (..), Network (..))
 import Cardano.Ledger.Binary (Sized (..))
@@ -312,6 +314,19 @@ mkSimpleTx isValid' txBody =
     , auxiliaryData = maybeToStrictMaybe Nothing
     }
 
+mkAuxDataTx ::
+  Bool ->
+  ConwayTxBody StandardConway ->
+  Map Word64 Metadatum ->
+  AlonzoTx StandardConway
+mkAuxDataTx isValid' txBody auxData =
+  AlonzoTx
+    { body = txBody
+    , wits = mempty
+    , isValid = IsValid isValid'
+    , auxiliaryData = SJust (mkAlonzoTxAuxData auxData [])
+    }
+
 mkSimpleDCertTx ::
   [(StakeIndex, StakeCredential StandardCrypto -> ConwayTxCert StandardConway)] ->
   ConwayLedgerState ->
@@ -453,6 +468,19 @@ mkTxDelegCert ::
   ConwayTxCert StandardConway
 mkTxDelegCert f = ConwayTxCertDeleg . f
 
+mkDummyTxBody :: ConwayTxBody StandardConway
+mkDummyTxBody =
+  consTxBody
+    mempty
+    mempty
+    mempty
+    mempty
+    SNothing
+    mempty
+    mempty
+    mempty
+    (Withdrawals mempty)
+
 mkFullTx ::
   Int ->
   Integer ->

cardano-chain-gen/src/Cardano/Mock/Query.hs

@@ -3,6 +3,9 @@
 module Cardano.Mock.Query (
   queryVersionMajorFromEpoch,
   queryParamProposalFromEpoch,
+  queryNullTxDepositExists,
+  queryMultiAssetCount,
+  queryTxMetadataCount,
 ) where
 
 import qualified Cardano.Db as Db
@@ -41,3 +44,27 @@ queryParamProposalFromEpoch epochNo = do
     where_ $ prop ^. Db.ParamProposalEpochNo ==. val (Just epochNo)
     pure prop
   pure $ entityVal <$> res
+
+-- | Query whether there any null tx deposits?
+queryNullTxDepositExists :: MonadIO io => ReaderT SqlBackend io Bool
+queryNullTxDepositExists = do
+  res <- select $ do
+    tx <- from $ table @Db.Tx
+    where_ $ isNothing_ (tx ^. Db.TxDeposit)
+  pure $ not (null res)
+
+queryMultiAssetCount :: MonadIO io => ReaderT SqlBackend io Word
+queryMultiAssetCount = do
+  res <- select $ do
+    _ <- from (table @Db.MultiAsset)
+    pure countRows
+
+  pure $ maybe 0 unValue (listToMaybe res)
+
+queryTxMetadataCount :: MonadIO io => ReaderT SqlBackend io Word
+queryTxMetadataCount = do
+  res <- selectOne $ do
+    _ <- from (table @Db.TxMetadata)
+    pure countRows
+
+  pure $ maybe 0 unValue res

cardano-chain-gen/test/Test/Cardano/Db/Mock/Config.hs

@@ -286,7 +286,7 @@ mkSyncNodeParams staticDir mutableDir CommandLineArgs {..} = do
       , enpHasOffChainPoolData = True
       , enpForceTxIn = claForceTxIn
       , enpDisableAllMode = False
-      , enpFullMode = True
+      , enpFullMode = claFullMode
       , enpOnlyUTxO = False
       , enpOnlyGov = False
       , enpMigrateConsumed = claMigrateConsumed

cardano-chain-gen/test/Test/Cardano/Db/Mock/Unit/Conway.hs

@@ -108,7 +108,11 @@ unitTests iom knownMigrations =
         "blocks with txs"
         [ test "simple tx" Tx.addSimpleTx
         , test "simple tx in Shelley era" Tx.addSimpleTxShelley
+        , test "simple tx with ledger disabled" Tx.addSimpleTxNoLedger
         , test "consume utxo same block" Tx.consumeSameBlock
+        , test "tx with metadata" Tx.addTxMetadata
+        , test "tx with metadata disabled" Tx.addTxMetadataDisabled
+        , test "tx with metadata whitelist" Tx.addTxMetadataWhitelist
         ]
     , testGroup
         "stake addresses"
@@ -118,6 +122,8 @@ unitTests iom knownMigrations =
         , test "stake address pointers" Stake.stakeAddressPtr
         , test "stake address pointers deregistration" Stake.stakeAddressPtrDereg
         , test "stake address pointers. Use before registering." Stake.stakeAddressPtrUseBefore
+        , test "register stake creds" Stake.registerStakeCreds
+        , test "register stake creds with shelley disabled" Stake.registerStakeCredsNoShelley
         ]
     , testGroup
         "stake distribution"
@@ -138,6 +144,7 @@ unitTests iom knownMigrations =
         "plutus send scripts"
         [ test "simple script lock" Plutus.simpleScript
         , test "unlock script in same block" Plutus.unlockScriptSameBlock
+        , test "unlock script with plutus disabled" Plutus.unlockScriptNoPlutus
         , test "failed script" Plutus.failedScript
         , test "failed script fees" Plutus.failedScriptFees
         , test "failed script in same block" Plutus.failedScriptSameBlock
@@ -165,6 +172,7 @@ unitTests iom knownMigrations =
         [ test "mint simple multi asset" Plutus.mintMultiAsset
         , test "mint many multi assets" Plutus.mintMultiAssets
         , test "swap many multi assets" Plutus.swapMultiAssets
+        , test "swap with multi assets disabled" Plutus.swapMultiAssetsDisabled
         ]
     , testGroup
         "Pools and smash"

cardano-chain-gen/test/Test/Cardano/Db/Mock/Unit/Conway/Config.hs

@@ -19,7 +19,7 @@ import Cardano.DbSync.Error
 import Cardano.Mock.ChainSync.Server (IOManager ())
 import qualified Cardano.Mock.Forging.Tx.Conway as Conway
 import Cardano.Mock.Forging.Types (UTxOIndex (..))
-import Cardano.Prelude
+import Cardano.Prelude hiding (from, isNothing)
 import qualified Data.Aeson as Aeson
 import Data.Default.Class (Default (..))
 import Test.Cardano.Db.Mock.Config