11517833922

Committed 25 Oct 2024 12:03PM UTC coverage: 48.438% (-0.3%) from 48.741%

Build Type

Committed by

Commit Message

chore: run scalafmt

Signed-off-by: Benjamin Voiturier <benjamin.voiturier@iohk.io>

Pull Request Pull Request #1417: chore: upgrade to latest Tapir version

Run Details

1 of 1 new or added line in 1 file covered. (100.0%)

243 existing lines in 57 files now uncovered.

8018 of 16553 relevant lines covered (48.44%)

0.48 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

83.33

/mercury/models/src/main/scala/org/hyperledger/identus/mercury/model/Message.scala

package org.hyperledger.identus.mercury.model

import io.circe.*
import io.circe.generic.semiauto.{deriveDecoder, deriveEncoder}

import java.time.{LocalDateTime, ZoneOffset}
import scala.jdk.CollectionConverters.*

type PIURI = String //type URI or URL?
case class Message(
    `type`: PIURI,
    from: Option[DidId],
    to: Seq[DidId],
    body: JsonObject = JsonObject.empty,
    id: String = java.util.UUID.randomUUID.toString(),
    createdTime: Option[Long] = Some(LocalDateTime.now().toEpochSecond(ZoneOffset.of("Z"))),
    expiresTimePlus: Option[Long] = Some(1000),
    attachments: Option[Seq[AttachmentDescriptor]] = None, // id -> data  (data is also a json)
    thid: Option[String] = None,
    pthid: Option[String] = None,
    ack: Option[Seq[String]] = None,
    pleaseAck: Option[Seq[String]] = None,
) {
  def piuri = `type`
}

object Message {
  given Encoder[Message] = {
    import AttachmentDescriptor.attachmentDescriptorEncoderV2
    deriveEncoder[Message]
  }
  given Decoder[Message] = deriveDecoder[Message]
}

1	package org.hyperledger.identus.mercury.model
2
3	import io.circe.*
4	import io.circe.generic.semiauto.{deriveDecoder, deriveEncoder}
5
6	import java.time.{LocalDateTime, ZoneOffset}
7	import scala.jdk.CollectionConverters.*
8
9	type PIURI = String //type URI or URL?
10	case class Message(
11	`type`: PIURI,
12	from: Option[DidId],
13	to: Seq[DidId],
14	body: JsonObject = JsonObject.empty,	×
15	id: String = java.util.UUID.randomUUID.toString(),	1✔
16	createdTime: Option[Long] = Some(LocalDateTime.now().toEpochSecond(ZoneOffset.of("Z"))),	1✔
17	expiresTimePlus: Option[Long] = Some(1000),	1✔
18	attachments: Option[Seq[AttachmentDescriptor]] = None, // id -> data (data is also a json)	1✔
19	thid: Option[String] = None,	1✔
20	pthid: Option[String] = None,	1✔
21	ack: Option[Seq[String]] = None,	1✔
22	pleaseAck: Option[Seq[String]] = None,	1✔
23	) {
24	def piuri = `type`	1✔
25	}
26
27	object Message {
28	given Encoder[Message] = {
29	import AttachmentDescriptor.attachmentDescriptorEncoderV2
30	deriveEncoder[Message]	1✔
31	}
UNCOV 32	given Decoder[Message] = deriveDecoder[Message]	×
33	}

hyperledger / identus-cloud-agent / 11517833922

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous