factorize the code

digital-asset · Nov 13, 2024 · 934174c · 934174c
1 parent 5800a5e
commit 934174c
Showing 1 changed file with 32 additions and 65 deletions.
diff --git a/sdk/daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/SBuiltin.scala b/sdk/daml-lf/interpreter/src/main/scala/com/digitalasset/daml/lf/speedy/SBuiltin.scala
@@ -2394,6 +2394,8 @@ private[lf] object SBuiltin {
       coid: V.ContractId,
   )(f: (Option[Ref.PackageName], SValue) => Control[Question.Update]): Control[Question.Update] = {
 
+    /** Checks that the metadata of [original] and [recomputed] are the same, fails with a [Control.Error] if not.
+      */
     def checkContractUpgradable(
         original: ContractInfo,
         recomputed: ContractInfo,
@@ -2433,14 +2435,29 @@ private[lf] object SBuiltin {
       )
     }
 
-    def importLocalContract(contract: ContractInfo) = {
-      val coinstArg = contract.arg
-      val srcTmplId = contract.templateId
+    type ContractInfoChecker =
+      ContractInfo => (() => Control[Question.Update]) => Control[Question.Update]
+
+    def localContractInfoUpgradeChecker(
+        originalContractInfo: ContractInfo
+    ): ContractInfoChecker =
+      (upgradedContractInfo: ContractInfo) =>
+        checkContractUpgradable(originalContractInfo, upgradedContractInfo)
+
+    def globalContractInfoUpgradeChecker(
+        coid: V.ContractId,
+        srcTemplateId: Ref.Identifier,
+    ): ContractInfoChecker =
+      (upgradedContractInfo: ContractInfo) =>
+        validateContractInfo(machine, coid, srcTemplateId, upgradedContractInfo)
+
+    def importContract(
+        coinst: V.ContractInstance,
+        contractInfoUpgradeChecker: ContractInfoChecker,
+    ) = {
+      val V.ContractInstance(_, srcTmplId, coinstArg) = coinst
       val (upgradingIsEnabled, dstTmplId) = optTargetTemplateId match {
-        case Some(tycon)
-            if V
-              .ContractInstance(contract.packageName, contract.templateId, contract.arg)
-              .upgradable =>
+        case Some(tycon) if coinst.upgradable =>
           (true, tycon)
         case _ =>
           (false, srcTmplId) // upgrading not enabled; import at source type
@@ -2478,8 +2495,7 @@ private[lf] object SBuiltin {
                     upgradingIsEnabled && (srcTmplId.packageId != dstTmplId.packageId)
                   }
                 if (needValidationCall) {
-
-                  checkContractUpgradable(contract, upgradedContract) { () =>
+                  contractInfoUpgradeChecker(upgradedContract) { () =>
                     f(upgradedContract.packageName, upgradedContract.any)
                   }
                 } else {
@@ -2491,60 +2507,6 @@ private[lf] object SBuiltin {
         }
     }
 
-    def importGlobalContract(coinst: V.ContractInstance) = {
-      val V.ContractInstance(_, srcTmplId, coinstArg) = coinst
-      val (upgradingIsEnabled, dstTmplId) = optTargetTemplateId match {
-        case Some(tycon) if coinst.upgradable =>
-          (true, tycon)
-        case _ =>
-          (false, srcTmplId) // upgrading not enabled; import at source type
-      }
-      if (srcTmplId.qualifiedName != dstTmplId.qualifiedName) {
-        Control.Error(
-          IE.WronglyTypedContract(coid, dstTmplId, srcTmplId)
-        )
-      } else
-        machine.ensurePackageIsLoaded(
-          dstTmplId.packageId,
-          language.Reference.Template(dstTmplId),
-        ) { () =>
-          importValue(machine, dstTmplId, coinstArg) { templateArg =>
-            getContractInfo(
-              machine,
-              coid,
-              dstTmplId,
-              templateArg,
-              allowCatchingContractInfoErrors = false,
-            ) { contract =>
-              ensureContractActive(machine, coid, contract.templateId) {
-
-                machine.checkContractVisibility(coid, contract)
-                machine.enforceLimitAddInputContract()
-                machine.enforceLimitSignatoriesAndObservers(coid, contract)
-
-                // In Validation mode, we always call validateContractInfo
-                // In Submission mode, we only call validateContractInfo when src != dest
-                val needValidationCall: Boolean =
-                  if (machine.validating) {
-                    upgradingIsEnabled
-                  } else {
-                    // we already check qualified names match
-                    upgradingIsEnabled && (srcTmplId.packageId != dstTmplId.packageId)
-                  }
-                if (needValidationCall) {
-
-                  validateContractInfo(machine, coid, srcTmplId, contract) { () =>
-                    f(contract.packageName, contract.any)
-                  }
-                } else {
-                  f(contract.packageName, contract.any)
-                }
-              }
-            }
-          }
-        }
-    }
-
     machine.getLocalContract(coid) match {
       case Some((templateId, templateArg)) =>
         ensureContractActive(machine, coid, templateId) {
@@ -2560,12 +2522,17 @@ private[lf] object SBuiltin {
               // import its value and validate its contract info again.
               f(contract.packageName, SValue.SAnyContract(templateId, templateArg))
             } else {
-              importLocalContract(contract)
+              importContract(
+                V.ContractInstance(contract.packageName, templateId, contract.arg),
+                localContractInfoUpgradeChecker(contract),
+              )
             }
           }
         }
       case None =>
-        machine.lookupGlobalContract(coid)(importGlobalContract)
+        machine.lookupGlobalContract(coid)(coinst =>
+          importContract(coinst, globalContractInfoUpgradeChecker(coid, coinst.template))
+        )
     }
   }