[Engine] Make ContractStateMachine an abstract class

Author: remyhaemmerle-da

sdk/canton/community/base/src/main/scala/com/digitalasset/canton/logging/pretty/PrettyInstances.scala

@@ -17,7 +17,6 @@ import com.digitalasset.canton.util.{ErrorUtil, HexString}
 import com.digitalasset.canton.{LedgerUserId, LfPartyId, LfTimestamp, LfVersioned, Uninhabited}
 import com.digitalasset.daml.lf.data.Ref
 import com.digitalasset.daml.lf.data.Ref.{DottedName, PackageId, QualifiedName}
-import com.digitalasset.daml.lf.transaction.ContractStateMachine.ActiveLedgerState
 import com.digitalasset.daml.lf.transaction.TransactionErrors.*
 import com.digitalasset.daml.lf.transaction.{CreationTime, Versioned}
 import com.digitalasset.daml.lf.value.Value
@@ -308,13 +307,6 @@ trait PrettyInstances {
       prettyOfClass[DuplicateContractId](unnamedParam(_.contractId)).treeOf(e)
   }
 
-  implicit def prettyActiveLedgerState[T: Pretty]: Pretty[ActiveLedgerState[T]] =
-    prettyOfClass[ActiveLedgerState[T]](
-      param("locallyCreatedThisTimeline", _.locallyCreatedThisTimeline),
-      param("consumedBy", _.consumedBy),
-      param("localActiveKeys", _.localActiveKeys),
-    )
-
   implicit val prettyPort: Pretty[Port] = prettyOfString(_.unwrap.toString)
 
   implicit val prettyRefinedNumeric: Pretty[RefinedNumeric[?]] = prettyOfString(_.unwrap.toString)

sdk/daml-lf/interpreter/src/test/scala/com/digitalasset/daml/lf/speedy/SpeedyTestLib.scala

@@ -16,9 +16,11 @@ import com.digitalasset.daml.lf.speedy.Speedy.UpdateMachine
 import com.digitalasset.daml.lf.stablepackages.StablePackages
 import com.digitalasset.daml.lf.testing.parser.ParserParameters
 import com.digitalasset.daml.lf.transaction.{
+  ContractStateMachine,
   FatContractInstance,
   GlobalKey,
   GlobalKeyWithMaintainers,
+  NodeId,
   SubmittedTransaction,
 }
 import com.digitalasset.daml.lf.validation.{Validation, ValidationError}
@@ -204,10 +206,12 @@ private[speedy] object SpeedyTestLib {
           key: GlobalKey,
       ): UpdateMachine = {
         machine.ptx = machine.ptx.copy(
-          contractState = machine.ptx.contractState.copy(
-            locallyCreated = machine.ptx.contractState.locallyCreated + contractId,
-            activeState = machine.ptx.contractState.activeState.createKey(key, contractId),
-          )
+          contractState = machine.ptx.contractState
+            .asInstanceOf[ContractStateMachine.StateImpl[NodeId]]
+            .copy(
+              locallyCreated = machine.ptx.contractState.locallyCreated + contractId,
+              activeState = machine.ptx.contractState.activeState.createKey(key, contractId),
+            )
         )
         machine
       }

sdk/daml-lf/transaction/BUILD.bazel

@@ -37,6 +37,7 @@ da_scala_library(
         "//canton:scala-utils",
         "//daml-lf/data",
         "//daml-lf/language",
+        "@maven//:com_google_guava_guava",
         "@maven//:com_google_protobuf_protobuf_java",
     ],
 )