Add equals and hash to AnalyzeParams

goblint · Jan 12, 2024 · e2a99c3 · e2a99c3
1 parent f767b0f
commit e2a99c3
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/src/main/java/api/messages/params/AnalyzeParams.java b/src/main/java/api/messages/params/AnalyzeParams.java
@@ -1,5 +1,7 @@
 package api.messages.params;
 
+import java.util.Objects;
+
 public class AnalyzeParams {
 
     boolean reset;
@@ -8,4 +10,16 @@ public AnalyzeParams(boolean reset) {
         this.reset = reset;
     }
 
+    @Override
+    public boolean equals(Object o) {
+        if (this == o) return true;
+        if (o == null || getClass() != o.getClass()) return false;
+        AnalyzeParams that = (AnalyzeParams) o;
+        return reset == that.reset;
+    }
+
+    @Override
+    public int hashCode() {
+        return Objects.hash(reset);
+    }
 }