SuppressWarnings for using pseudorandom number generator in non-security sensitive contexts

4 files changed, 6 insertions, 0 deletions

diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
index 0a5cd7fc..1ae09916 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/DesignSpaceExplorationAdapterImpl.java
@@ -46,6 +46,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration
         private Map<Version, Version> parents = new HashMap<>();
         private final List<Version> solutions = new ArrayList<>();
         private Map<Version, List<Activation>> statesAndTraversedActivations;
+        @SuppressWarnings("squid:S2245")
         private Random random = new Random();
         private boolean isNewState = false;
         private final boolean isVisualizationEnabled;
@@ -182,6 +183,7 @@ public class DesignSpaceExplorationAdapterImpl implements DesignSpaceExploration
         }
 
         @Override
+        @SuppressWarnings("squid:S2245")
         public void setRandom(long seed) {
                 this.random = new Random(seed);
         }
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
index 8123c0d6..37117164 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/TransformationRule.java
@@ -26,10 +26,12 @@ public class TransformationRule {
         private Random random;
         private ModelQueryAdapter queryEngine;
 
+        @SuppressWarnings("squid:S2245")
         public TransformationRule(String name, RelationalQuery precondition, ActionFactory actionFactory) {
                 this(name, precondition, actionFactory, new Random());
         }
 
+        @SuppressWarnings("squid:S2245")
         public TransformationRule(String name, RelationalQuery precondition, ActionFactory actionFactory, long seed) {
                 this(name, precondition, actionFactory, new Random(seed));
         }
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java
index 327d5e2f..cdd1754f 100644
--- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java
+++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/objectives/AlwaysSatisfiedRandomHardObjective.java
@@ -22,6 +22,7 @@ import java.util.Random;
 public class AlwaysSatisfiedRandomHardObjective extends BaseObjective {
 
         private static final String DEFAULT_NAME = "AlwaysSatisfiedDummyHardObjective";
+        @SuppressWarnings("squid:S2245")
         private static final Random random = new Random(0);
 
         public AlwaysSatisfiedRandomHardObjective() {
diff --git a/subprojects/visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java b/subprojects/visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java
index 531969b4..e60ae4b7 100644
--- a/subprojects/visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java
+++ b/subprojects/visualization/src/main/java/tools/refinery/visualization/internal/ModelVisualizerAdapterImpl.java
@@ -220,6 +220,7 @@ public class ModelVisualizerAdapterImpl implements ModelVisualizerAdapter {
         }
 
         private Integer[] typeColor(String name) {
+                @SuppressWarnings("squid:S2245")
                 var random = new Random(name.hashCode());
                 return new Integer[] { random.nextInt(128) + 128, random.nextInt(128) + 128, random.nextInt(128) + 128 };
         }