From 80a08f099b220fe7aca45cb6ef30da02be0087ca Mon Sep 17 00:00:00 2001 From: OszkarSemerath Date: Sun, 5 Feb 2023 02:32:27 +0100 Subject: fixup! Performance improvements by replacing hash depth calculation with shifting, improving code quality. + formatting --- .../store/map/internal/VersionedMapImpl.java | 22 ---------------------- 1 file changed, 22 deletions(-) (limited to 'subprojects/store/src/main/java/tools') diff --git a/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java b/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java index 57256472..674ffc47 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java +++ b/subprojects/store/src/main/java/tools/refinery/store/map/internal/VersionedMapImpl.java @@ -131,28 +131,6 @@ public class VersionedMapImpl implements VersionedMap { root = this.store.revert(state); } - @Override - public int hashCode() { - final int prime = 31; - int result = 1; - result = prime * result + ((root == null) ? 0 : root.hashCode()); - return result; - } - - @Override - public boolean equals(Object obj) { - if (this == obj) - return true; - if (obj == null) - return false; - if (getClass() != obj.getClass()) - return false; - VersionedMapImpl other = (VersionedMapImpl) obj; - if (root == null) { - return other.root == null; - } else return root.equals(other.root); - } - public String prettyPrint() { if (this.root != null) { StringBuilder s = new StringBuilder(); -- cgit v1.2.3-70-g09d2