diff options
author | 2023-09-05 07:59:17 +0200 | |
---|---|---|
committer | 2023-09-05 14:03:32 +0200 | |
commit | 97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c (patch) | |
tree | 92cba55f66cda1131a8f00ffe0f3cd15ae213d72 /subprojects/store/src/main/java | |
parent | restructured DSE framework, failing build (diff) | |
download | refinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.tar.gz refinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.tar.zst refinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.zip |
restructured DSE framework, failing build
Diffstat (limited to 'subprojects/store/src/main/java')
-rw-r--r-- | subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java b/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java index f81386f1..c3e52084 100644 --- a/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java +++ b/subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java | |||
@@ -11,11 +11,9 @@ import java.util.Arrays; | |||
11 | 11 | ||
12 | public class ModelVersion implements Version { | 12 | public class ModelVersion implements Version { |
13 | final Version[] mapVersions; | 13 | final Version[] mapVersions; |
14 | final int hash; | ||
15 | 14 | ||
16 | public ModelVersion(Version[] mapVersions) { | 15 | public ModelVersion(Version[] mapVersions) { |
17 | this.mapVersions = mapVersions; | 16 | this.mapVersions = mapVersions; |
18 | this.hash = Arrays.hashCode(mapVersions); | ||
19 | } | 17 | } |
20 | 18 | ||
21 | public static Version getInternalVersion(Version modelVersion, int interpretationIndex) { | 19 | public static Version getInternalVersion(Version modelVersion, int interpretationIndex) { |
@@ -23,16 +21,6 @@ public class ModelVersion implements Version { | |||
23 | } | 21 | } |
24 | 22 | ||
25 | @Override | 23 | @Override |
26 | public int hashCode() { | ||
27 | return hash; | ||
28 | } | ||
29 | |||
30 | @Override | ||
31 | public boolean equals(Object obj) { | ||
32 | return super.equals(obj); | ||
33 | } | ||
34 | |||
35 | @Override | ||
36 | public String toString() { | 24 | public String toString() { |
37 | return "ModelVersion{" + | 25 | return "ModelVersion{" + |
38 | "mapVersions=" + Arrays.toString(mapVersions) + | 26 | "mapVersions=" + Arrays.toString(mapVersions) + |