fix: use getClass().getResource() to access examples

src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/dead/DeadFeatureMetaSolver.java

@@ -6,7 +6,11 @@
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 import edu.kit.provideq.toolbox.meta.ProblemType;
 import edu.kit.provideq.toolbox.meta.setting.MetaSolverSetting;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
 import java.util.List;
+import java.util.Objects;
 import org.springframework.beans.factory.annotation.Autowired;
 import org.springframework.beans.factory.annotation.Value;
 import org.springframework.stereotype.Component;
@@ -40,8 +44,12 @@ public ProblemSolver<String, String> findSolver(Problem<String> problem,
   @Override
   public List<String> getExampleProblems() {
     try {
-      return resourceProvider.getExampleProblems(examplesDirectoryPath);
-    } catch (Exception e) {
+      var problemStream = Objects.requireNonNull(
+          getClass().getResourceAsStream("sandwich.txt"),
+          "Sandwich example for Dead Feature is unavailable!"
+      );
+      return List.of(resourceProvider.readStream(problemStream));
+    } catch (IOException e) {
       throw new RuntimeException("Could not load example problems", e);
     }
   }

src/main/java/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/VoidFeatureMetaSolver.java

@@ -6,7 +6,11 @@
 import edu.kit.provideq.toolbox.meta.ProblemSolver;
 import edu.kit.provideq.toolbox.meta.ProblemType;
 import edu.kit.provideq.toolbox.meta.setting.MetaSolverSetting;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
 import java.util.List;
+import java.util.Objects;
 import org.springframework.beans.factory.annotation.Autowired;
 import org.springframework.beans.factory.annotation.Value;
 import org.springframework.stereotype.Component;
@@ -40,8 +44,12 @@ public ProblemSolver<String, String> findSolver(Problem<String> problem,
   @Override
   public List<String> getExampleProblems() {
     try {
-      return resourceProvider.getExampleProblems(examplesDirectoryPath);
-    } catch (Exception e) {
+      var problemStream = Objects.requireNonNull(
+          getClass().getResourceAsStream("sandwich.txt"),
+          "Sandwich example for Void Feature Models is unavailable!"
+      );
+      return List.of(resourceProvider.readStream(problemStream));
+    } catch (IOException e) {
       throw new RuntimeException("Could not load example problems", e);
     }
   }

src/main/java/edu/kit/provideq/toolbox/maxcut/MetaSolverMaxCut.java

@@ -9,8 +9,12 @@
 import edu.kit.provideq.toolbox.meta.Problem;
 import edu.kit.provideq.toolbox.meta.ProblemType;
 import edu.kit.provideq.toolbox.meta.setting.MetaSolverSetting;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Objects;
 import java.util.Random;
 import org.springframework.beans.factory.annotation.Autowired;
 import org.springframework.beans.factory.annotation.Value;
@@ -46,8 +50,12 @@ public MaxCutSolver findSolver(
   @Override
   public List<String> getExampleProblems() {
     try {
-      return resourceProvider.getExampleProblems(examplesDirectoryPath);
-    } catch (Exception e) {
+      var problemStream = Objects.requireNonNull(
+          getClass().getResourceAsStream("3-nodes-3-edges.txt"),
+          "3-nodes-3-edges example for MaxCut is unavailable!"
+      );
+      return List.of(resourceProvider.readStream(problemStream));
+    } catch (IOException e) {
       throw new RuntimeException("Could not load example problems", e);
     }
   }

src/main/java/edu/kit/provideq/toolbox/sat/MetaSolverSat.java

@@ -8,8 +8,12 @@
 import edu.kit.provideq.toolbox.meta.setting.MetaSolverSetting;
 import edu.kit.provideq.toolbox.sat.solvers.GamsSatSolver;
 import edu.kit.provideq.toolbox.sat.solvers.SatSolver;
+import java.io.BufferedReader;
+import java.io.IOException;
+import java.io.InputStreamReader;
 import java.util.ArrayList;
 import java.util.List;
+import java.util.Objects;
 import java.util.Random;
 import org.springframework.beans.factory.annotation.Autowired;
 import org.springframework.beans.factory.annotation.Value;
@@ -43,8 +47,12 @@ public SatSolver findSolver(Problem<String> problem, List<MetaSolverSetting> met
   @Override
   public List<String> getExampleProblems() {
     try {
-      return resourceProvider.getExampleProblems(examplesDirectoryPath);
-    } catch (Exception e) {
+      var problemStream = Objects.requireNonNull(
+          getClass().getResourceAsStream("simple-and.txt"),
+          "Simple-And example for SAT is unavailable!"
+      );
+      return List.of(resourceProvider.readStream(problemStream));
+    } catch (IOException e) {
       throw new RuntimeException("Could not load example problems", e);
     }
   }

src/main/resources/edu/kit/provideq/toolbox/featuremodel/anomaly/voidmodel/sandwich.txt

@@ -0,0 +1,29 @@
+namespace Sandwich
+
+features
+    Sandwich {extended__}
+        mandatory
+            Bread
+                alternative
+                    "Full Grain" {Calories 203, Price 1.99, Organic true}
+                    Flatbread {Calories 90, Price 0.79, Organic true}
+                    Toast {Calories 250, Price 0.99, Organic false}
+        optional
+            Cheese
+                optional
+                    Gouda
+                        alternative
+                            Sprinkled {Fat {value 35, unit "g"}}
+                            Slice {Fat {value 35, unit "g"}}
+                    Cheddar
+                    "Cream Cheese"
+            Meat
+                or
+                    "Salami" {Producer "Farmer Bob"}
+                    Ham {Producer "Farmer Sam"}
+                    "Chicken Breast" {Producer "Farmer Sam"}
+            Vegetables
+                optional
+                    "Cucumber"
+                    Tomatoes
+                    Lettuce