aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects
diff options
context:
space:
mode:
authorLibravatar OszkarSemerath <semerath@mit.bme.hu>2023-09-05 07:59:17 +0200
committerLibravatar OszkarSemerath <semerath@mit.bme.hu>2023-09-05 14:03:32 +0200
commit97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c (patch)
tree92cba55f66cda1131a8f00ffe0f3cd15ae213d72 /subprojects
parentrestructured DSE framework, failing build (diff)
downloadrefinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.tar.gz
refinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.tar.zst
refinery-97e06c7d8c2cb4b15f5011e381f0b33fcd16a10c.zip
restructured DSE framework, failing build
Diffstat (limited to 'subprojects')
-rw-r--r--subprojects/store/src/main/java/tools/refinery/store/model/internal/ModelVersion.java12
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
12public class ModelVersion implements Version { 12public 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) +