From 5a7f1ef0c3233259edd6329c876cdb5562bf7abc Mon Sep 17 00:00:00 2001
From: levBagryansky <28lev11@gmail.com>
Date: Thu, 24 Aug 2023 12:49:52 +0300
Subject: [PATCH] changed hashcode
---
.../main/resources/org/eolang/maven/pre/to-java.xsl | 13 ++++++++++++-
1 file changed, 12 insertions(+), 1 deletion(-)
diff --git a/eo-maven-plugin/src/main/resources/org/eolang/maven/pre/to-java.xsl b/eo-maven-plugin/src/main/resources/org/eolang/maven/pre/to-java.xsl
index 76581d6f61..3530b60338 100644
--- a/eo-maven-plugin/src/main/resources/org/eolang/maven/pre/to-java.xsl
+++ b/eo-maven-plugin/src/main/resources/org/eolang/maven/pre/to-java.xsl
@@ -158,6 +158,11 @@ SOFTWARE.
extends PhDefault {
+
+
+
+ private final AtomicBoolean initialized;
+
@@ -200,7 +205,7 @@ SOFTWARE.
- this.add("Δ", new AtFree());
+ this.add("Δ", new AtFree(new AtSimple(), this.initialized));
@@ -224,6 +229,12 @@ SOFTWARE.
public int hashCode() {
+ if (this.initialized.get()) {
+
+ return this.attr("Δ").get().hashCode();
+
+ } else {
+
return this.attr("Δ").get().hashCode();
}