From b5026e94f87bb619ea66d84e7799e089cfb8fa07 Mon Sep 17 00:00:00 2001
From: OszkarSemerath <semerath@mit.bme.hu>
Date: Tue, 14 Feb 2023 00:32:26 +0100
Subject: Nasty error fixed in VersionedMapStoreDeltaImpl.java when setting the
 new parent state

---
 .../tools/refinery/store/map/VersionedMapStoreDeltaImpl.java  | 11 +++++++----
 1 file changed, 7 insertions(+), 4 deletions(-)

(limited to 'subprojects')

diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
index f41a2d75..31cdbf95 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/map/VersionedMapStoreDeltaImpl.java
@@ -50,19 +50,22 @@ public class VersionedMapStoreDeltaImpl<K, V> implements VersionedMapStore<K, V>
 	}
 
 	public MapTransaction<K, V> getPath(long to, List<MapDelta<K, V>[]> forwardTransactions) {
-		MapTransaction<K, V> toTransaction = getState(to);
+		final MapTransaction<K, V> target = getState(to);
+		MapTransaction<K, V> toTransaction = target;
 		while (toTransaction != null) {
 			forwardTransactions.add(toTransaction.deltas());
 			toTransaction = toTransaction.parent();
 		}
-		return toTransaction;
+		return target;
 	}
 
 	public MapTransaction<K, V> getPath(long from, long to,
 						List<MapDelta<K, V>[]> backwardTransactions,
 						List<MapDelta<K, V>[]> forwardTransactions) {
 		MapTransaction<K, V> fromTransaction = getState(from);
-		MapTransaction<K, V> toTransaction = getState(to);
+		final MapTransaction<K, V> target = getState(to);
+		MapTransaction<K, V> toTransaction = target;
+
 		while (fromTransaction != toTransaction) {
 			if (fromTransaction == null || (toTransaction != null && fromTransaction.version() < toTransaction.version())) {
 				forwardTransactions.add(toTransaction.deltas());
@@ -72,7 +75,7 @@ public class VersionedMapStoreDeltaImpl<K, V> implements VersionedMapStore<K, V>
 				fromTransaction = fromTransaction.parent();
 			}
 		}
-		return toTransaction;
+		return target;
 	}
 
 
-- 
cgit v1.2.3-54-g00ecf