Get AOP working

Author: bzp99

smart-contract/hyperledger-fabric/v2/java/build.gradle.kts

@@ -18,6 +18,8 @@ plugins {
   application
   id("com.github.johnrengelman.shadow") version "7.1.2"
   id("com.diffplug.spotless") version "6.19.0"
+  id("io.freefair.lombok") version "8.6"
+  id("io.freefair.aspectj.post-compile-weaving") version "8.6"
 }
 
 // java { toolchain { languageVersion.set(JavaLanguageVersion.of(17)) } }
@@ -35,14 +37,14 @@ dependencies {
   implementation("org.slf4j:slf4j-api:2.0.13")
   implementation("org.slf4j:slf4j-simple:2.0.13")
   implementation("com.fasterxml.jackson.core:jackson-databind:2.15.2")
-  implementation("com.jcabi:jcabi-aspects:0.25.1")
-  implementation("org.aspectj:aspectjrt:1.9.19")
-  implementation("org.aspectj:aspectjweaver:1.9.19")
+  implementation("com.jcabi:jcabi-aspects:0.26.0")
   implementation("org.hyperledger.fabric-chaincode-java:fabric-chaincode-shim:2.5.0")
   implementation("org.hyperledger.fabric:fabric-protos:0.3.0")
   implementation(files("libs/hypernate-0.1.0-alpha.jar"))
   implementation(files("$openJMLDir/jmlruntime.jar"))
 
+  aspect("com.jcabi:jcabi-aspects:0.26.0")
+
   testImplementation("org.assertj:assertj-core:3.11.1")
   testImplementation("org.junit.jupiter:junit-jupiter:5.4.2")
   testImplementation("org.mockito:mockito-core:2.28.2")

smart-contract/hyperledger-fabric/v2/java/specs/hu/bme/mit/ftsrg/chaincode/tpcc/data/entity/Customer.jml

@@ -4,7 +4,7 @@ package hu.bme.mit.ftsrg.chaincode.tpcc.data.entity;
 
 import hu.bme.mit.ftsrg.hypernate.entity.Entity;
 
-public class Customer implements Entity {
+public final class Customer implements Entity {
 
   public /*@ pure @*/ int getC_id();