diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-09-14 19:12:06 +0200 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-09-14 19:12:06 +0200 |
commit | 9a9232142118883340c0c2ef52ec914d85c5339b (patch) | |
tree | 8bfd6d9bc8d6ed23b9eb0f889dd40b6c24fe8f92 /subprojects/store-dse-visualization/src/main | |
parent | build: also tag Docker image as 'latest' (diff) | |
parent | Merge pull request #38 from nagilooh/design-space-exploration (diff) | |
download | refinery-9a9232142118883340c0c2ef52ec914d85c5339b.tar.gz refinery-9a9232142118883340c0c2ef52ec914d85c5339b.tar.zst refinery-9a9232142118883340c0c2ef52ec914d85c5339b.zip |
Merge remote-tracking branch 'upstream/main' into partial-interpretation
Diffstat (limited to 'subprojects/store-dse-visualization/src/main')
-rw-r--r-- | subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java index 031b2e6b..a6a3dc69 100644 --- a/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java +++ b/subprojects/store-dse-visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java | |||
@@ -221,6 +221,7 @@ public class ModelVisualizerAdapterImpl implements ModelVisualizerAdapter { | |||
221 | } | 221 | } |
222 | 222 | ||
223 | private Integer[] typeColor(String name) { | 223 | private Integer[] typeColor(String name) { |
224 | @SuppressWarnings("squid:S2245") | ||
224 | var random = new Random(name.hashCode()); | 225 | var random = new Random(name.hashCode()); |
225 | return new Integer[] { random.nextInt(128) + 128, random.nextInt(128) + 128, random.nextInt(128) + 128 }; | 226 | return new Integer[] { random.nextInt(128) + 128, random.nextInt(128) + 128, random.nextInt(128) + 128 }; |
226 | } | 227 | } |