new uid encoder/decoder

rescala-lang · Jul 30, 2024 · 7d1af04 · 7d1af04
1 parent 451216d
commit 7d1af04
Showing 1 changed file with 7 additions and 2 deletions.
diff --git a/Modules/DTN/shared/src/main/scala/dtn/Bundle.scala b/Modules/DTN/shared/src/main/scala/dtn/Bundle.scala
@@ -310,8 +310,13 @@ private def readBytes(reader: Reader): Array[Byte] = {
 given Codec[RdtMessageType] = deriveCodec[RdtMessageType]
 given Codec[RdtMetaInfo]    = deriveCodec[RdtMetaInfo]
 
-given Encoder[Uid] = Encoder.forString.asInstanceOf[Encoder[Uid]]
-given Decoder[Uid] = Decoder.forString.asInstanceOf[Decoder[Uid]]
+given Encoder[Uid] = Encoder { (writer, uid) =>
+  writer.writeString(uid.toString)
+}
+
+given Decoder[Uid] = Decoder { reader =>
+  Uid(reader.readString())
+}
 
 given Encoder[ArrayRanges] = Encoder { (writer, arrayRanges) =>
   writer.write[Array[Time]](arrayRanges.inner.slice(0, arrayRanges.used))