Merge pull request #187 from ftsrg/hash-fix

Fixed copy-paste error in hash code functions
ftsrg · Mar 22, 2023 · cb24a21 · cb24a21
2 parents 16e2d0a + b9a4cc5
commit cb24a21
Show file tree

Hide file tree

Showing 10 changed files with 13 additions and 13 deletions.
diff --git a/build.gradle.kts b/build.gradle.kts
@@ -11,7 +11,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "4.2.2"
+    version = "4.2.3"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Prec.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2Prec.java
@@ -56,7 +56,7 @@ public int hashCode() {
 			result = HASH_SEED;
 			result = 37 * result + prec1.hashCode();
 			result = 37 * result + prec2.hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2State.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod2/Prod2State.java
@@ -157,7 +157,7 @@ public int hashCode() {
 				result = HASH_SEED;
 				result = 37 * result + state1.hashCode();
 				result = 37 * result + state2.hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}
@@ -214,7 +214,7 @@ public final int hashCode() {
 				result = HASH_SEED;
 				result = 37 * result + getIndex();
 				result = 37 * result + getState().hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Prec.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3Prec.java
@@ -64,7 +64,7 @@ public int hashCode() {
 			result = 37 * result + prec1.hashCode();
 			result = 37 * result + prec2.hashCode();
 			result = 37 * result + prec3.hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3State.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod3/Prod3State.java
@@ -204,7 +204,7 @@ public int hashCode() {
 				result = 37 * result + state1.hashCode();
 				result = 37 * result + state2.hashCode();
 				result = 37 * result + state3.hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}
@@ -264,7 +264,7 @@ public final int hashCode() {
 				result = HASH_SEED;
 				result = 37 * result + getIndex();
 				result = 37 * result + getState().hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Prec.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4Prec.java
@@ -71,7 +71,7 @@ public int hashCode() {
 			result = 37 * result + prec2.hashCode();
 			result = 37 * result + prec3.hashCode();
 			result = 37 * result + prec4.hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}

diff --git a/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4State.java b/subprojects/common/analysis/src/main/java/hu/bme/mit/theta/analysis/prod4/Prod4State.java
@@ -246,7 +246,7 @@ public int hashCode() {
 				result = 37 * result + state2.hashCode();
 				result = 37 * result + state3.hashCode();
 				result = 37 * result + state4.hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}
@@ -306,7 +306,7 @@ public final int hashCode() {
 				result = HASH_SEED;
 				result = 37 * result + getIndex();
 				result = 37 * result + getState().hashCode();
-				result = hashCode;
+                hashCode = result;
 			}
 			return result;
 		}

diff --git a/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/UnaryExpr.java b/subprojects/common/core/src/main/java/hu/bme/mit/theta/core/type/UnaryExpr.java
@@ -64,7 +64,7 @@ public final int hashCode() {
 		if (result == 0) {
 			result = getHashSeed();
 			result = 37 * result + getOp().hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}

diff --git a/...s/xta/xta-analysis/src/main/java/hu/bme/mit/theta/xta/analysis/expl/itp/ItpExplState.java b/...s/xta/xta-analysis/src/main/java/hu/bme/mit/theta/xta/analysis/expl/itp/ItpExplState.java
@@ -78,7 +78,7 @@ public int hashCode() {
 			result = HASH_SEED;
 			result = 37 * result + concrState.hashCode();
 			result = 37 * result + abstrState.hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}

diff --git a/...s/xta/xta-analysis/src/main/java/hu/bme/mit/theta/xta/analysis/zone/itp/ItpZoneState.java b/...s/xta/xta-analysis/src/main/java/hu/bme/mit/theta/xta/analysis/zone/itp/ItpZoneState.java
@@ -92,7 +92,7 @@ public int hashCode() {
 			result = HASH_SEED;
 			result = 37 * result + concrState.hashCode();
 			result = 37 * result + abstrState.hashCode();
-			result = hashCode;
+            hashCode = result;
 		}
 		return result;
 	}