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.

*/