From a3cb03578396790700e7e8c901515940c968071d Mon Sep 17 00:00:00 2001 From: "AD\\aabdoun" Date: Mon, 26 Oct 2026 09:28:49 +0100 Subject: [PATCH] fix(javadoc): resolve 4 warnings in TransactionManager and data package-info --- build.gradle.kts | 1 + .../java/fr/inria/corese/core/next/data/package-info.java | 6 +++--- .../next/storage/api/transaction/TransactionManager.java | 2 +- 3 files changed, 5 insertions(+), 4 deletions(-) diff --git a/build.gradle.kts b/build.gradle.kts index 9b4839b89..603ae5fbc 100644 --- a/build.gradle.kts +++ b/build.gradle.kts @@ -330,6 +330,7 @@ tasks.build { // so reports are generated after tests run successfully. tasks.jacocoTestReport { dependsOn(tasks.test) + mustRunAfter(tasks.named("generateNextGrammarSource")) // Enable XML reporting for Jacoco to allow further processing or CI integration. reports { diff --git a/src/main/java/fr/inria/corese/core/next/data/package-info.java b/src/main/java/fr/inria/corese/core/next/data/package-info.java index 8d5c0a482..196898525 100644 --- a/src/main/java/fr/inria/corese/core/next/data/package-info.java +++ b/src/main/java/fr/inria/corese/core/next/data/package-info.java @@ -3,12 +3,12 @@ * *

Three-Tier Package Architecture

* * diff --git a/src/main/java/fr/inria/corese/core/next/storage/api/transaction/TransactionManager.java b/src/main/java/fr/inria/corese/core/next/storage/api/transaction/TransactionManager.java index 749a1b498..23b64719c 100644 --- a/src/main/java/fr/inria/corese/core/next/storage/api/transaction/TransactionManager.java +++ b/src/main/java/fr/inria/corese/core/next/storage/api/transaction/TransactionManager.java @@ -16,7 +16,7 @@ * and {@link fr.inria.corese.core.next.storage.api.StorageManager#mutations()}).

* *

Snapshot Isolation Semantics

- *

Backends supporting {@link IsolationLevel#SNAPSHOT} capture a consistent point-in-time view + *

Backends supporting snapshot isolation capture a consistent point-in-time view * of the database upon transaction start. Uncommitted writes within the transaction are visible * to the owning session but remain completely hidden from concurrent sessions until committed.

*/