Release/0.5.0

gradle.properties

@@ -11,7 +11,7 @@ org.jetbrains.dokka.experimental.gradle.pluginMode=V2Enabled
 
 # Project properties
 group=eu.europa.ec.eudi
-version=0.4.1-SNAPSHOT
+version=0.5.0-SNAPSHOT
 
 # Sonar
 systemProp.sonar.host.url=https://sonarcloud.io

gradle/libs.versions.toml

@@ -1,15 +1,15 @@
 [versions]
-dokka = "2.1.0"
-kotlin = "2.1.21"
-spotless = "6.25.0"
 java = "17"
-kotlinxSerialization = "1.8.1"
-ktlint = "0.50.0"
+kotlin = "2.2.21"
+kotlinxSerialization = "1.9.0"
+dokka = "2.2.0"
+spotless = "8.4.0"
+ktlint = "1.8.0"
 dependencycheck = "12.1.1"
 jsonKotlinSchema = "0.57"
 jsonpathkt = "3.0.2"
-mavenPublish = "0.34.0"
-kover = "0.9.2"
+mavenPublish = "0.35.0"
+kover = "0.9.8"
 
 [libraries]
 kotlin-bom = { module = "org.jetbrains.kotlin:kotlin-bom", version.ref = "kotlin" }

gradle/wrapper/gradle-wrapper.properties

@@ -1,6 +1,6 @@
 distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-8.9-all.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-8.14.4-all.zip
 networkTimeout=10000
 validateDistributionUrl=true
 zipStoreBase=GRADLE_USER_HOME

settings.gradle.kts

@@ -1,5 +1,5 @@
 plugins {
-    id("org.gradle.toolchains.foojay-resolver-convention") version("1.0.0")
+    id("org.gradle.toolchains.foojay-resolver-convention") version ("1.0.0")
 }
 
 rootProject.name = "eudi-lib-jvm-presentation-exchange-kt"

src/main/kotlin/eu/europa/ec/eudi/prex/JsonParser.kt

@@ -18,7 +18,6 @@ package eu.europa.ec.eudi.prex
 import java.io.InputStream
 
 interface JsonParser {
-
     /**
      * Tries to parse the given [inputStream] into a [PresentationDefinition].
      * It is assumed that the [inputStream] corresponds to a Json object that either contains

src/main/kotlin/eu/europa/ec/eudi/prex/JsonPathOps.kt

@@ -24,7 +24,6 @@ import com.nfeld.jsonpathkt.JsonPath as ExternalJsonPath
  * JSON Path related operations
  */
 internal object JsonPathOps {
-
     /**
      * Checks that the provided [path][String] is JSON Path
      */
@@ -34,13 +33,17 @@ internal object JsonPathOps {
      * Extracts from given [JSON][jsonString] the content
      * at [path][jsonPath]. Returns the value found at the path, if found
      */
-    internal fun getJsonAtPath(jsonPath: JsonPath, jsonString: String): String? =
+    internal fun getJsonAtPath(
+        jsonPath: JsonPath,
+        jsonString: String,
+    ): String? =
         ExternalJsonPath
             .compile(jsonPath.value)
             .resolveOrNull(JsonSupport.parseToJsonElement(jsonString))
             ?.let { JsonSupport.encodeToString(it) }
 
-    private fun String.toJsonPath(): Result<ExternalJsonPath> = runCatching {
-        ExternalJsonPath.compile(this)
-    }
+    private fun String.toJsonPath(): Result<ExternalJsonPath> =
+        runCatching {
+            ExternalJsonPath.compile(this)
+        }
 }

src/main/kotlin/eu/europa/ec/eudi/prex/PresentationExchange.kt

@@ -22,7 +22,6 @@ import eu.europa.ec.eudi.prex.internal.DefaultPresentationMatcher
  * Entry point to the Presentation Exchange library
  */
 object PresentationExchange {
-
     /**
      * JSON serialization/deserialization
      */

src/main/kotlin/eu/europa/ec/eudi/prex/PresentationMatcher.kt

@@ -24,7 +24,6 @@ import eu.europa.ec.eudi.prex.InputDescriptorEvaluation.NotMatchedFieldConstrain
  * The outcome of applying a [FieldConstraint] to a claim.
  */
 sealed interface FieldQueryResult {
-
     /**
      * Indicates that a [FieldConstraint] is not satisfied by a claim
      */
@@ -41,13 +40,19 @@ sealed interface FieldQueryResult {
      * where the  Verifier asks from the wallet to evaluate a predicate
      */
     sealed interface CandidateField : FieldQueryResult {
-
         /**
          * Indicates that a [FieldConstraint] was satisfied by a claim because (the claim) it
          * contains at [path] an appropriate [content]
          */
-        data class Found(val path: JsonPath, val content: String) : CandidateField
-        data class PredicateEvaluated(val path: JsonPath, val predicateEvaluation: Boolean) : CandidateField
+        data class Found(
+            val path: JsonPath,
+            val content: String,
+        ) : CandidateField
+
+        data class PredicateEvaluated(
+            val path: JsonPath,
+            val predicateEvaluation: Boolean,
+        ) : CandidateField
 
         /**
          * Indicates that the claim doesn't contain a field as described in the [FieldConstraint]
@@ -63,11 +68,12 @@ sealed interface FieldQueryResult {
  * The outcome of evaluating an [InputDescriptor] against a [Claim]
  */
 sealed interface InputDescriptorEvaluation {
-
     /**
      * Indicates that claim is candidate, that is matches, the given [InputDescriptor]
      */
-    data class CandidateClaim(val matches: Map<FieldConstraint, CandidateField>) : InputDescriptorEvaluation {
+    data class CandidateClaim(
+        val matches: Map<FieldConstraint, CandidateField>,
+    ) : InputDescriptorEvaluation {
         init {
             require(matches.isNotEmpty())
         }
@@ -77,9 +83,11 @@ sealed interface InputDescriptorEvaluation {
      * Indicates that claim doesn't satisfy the constraints of the [InputDescriptor]
      */
     sealed interface NotMatchingClaim : InputDescriptorEvaluation
+
     data object NotMatchedFieldConstraints : NotMatchingClaim {
         private fun readResolve(): Any = NotMatchedFieldConstraints
     }
+
     data object UnsupportedFormat : NotMatchingClaim {
         private fun readResolve(): Any = UnsupportedFormat
     }
@@ -90,14 +98,20 @@ typealias ClaimId = String
 interface Claim {
     val uniqueId: ClaimId
     val format: Format
+
     fun asJsonString(): String
 }
 
 typealias InputDescriptorEvalPerClaim<A> = Map<InputDescriptorId, Map<ClaimId, A>>
 
 sealed interface Match {
-    data class Matched(val matches: InputDescriptorEvalPerClaim<CandidateClaim>) : Match
-    data class NotMatched(val details: InputDescriptorEvalPerClaim<NotMatchedFieldConstraints>) : Match
+    data class Matched(
+        val matches: InputDescriptorEvalPerClaim<CandidateClaim>,
+    ) : Match
+
+    data class NotMatched(
+        val details: InputDescriptorEvalPerClaim<NotMatchedFieldConstraints>,
+    ) : Match
 }
 
 /**
@@ -107,5 +121,8 @@ sealed interface Match {
  * @see <a href="https://identity.foundation/presentation-exchange/spec/v2.0.0/#input-evaluation">Input evaluation</a>
  */
 fun interface PresentationMatcher {
-    fun match(pd: PresentationDefinition, claims: List<Claim>): Match
+    fun match(
+        pd: PresentationDefinition,
+        claims: List<Claim>,
+    ): Match
 }