Merge pull request #917 from JKutscha/Mutator_ID_API

Added the option to get all mutator IDs
hcoles · Jul 26, 2021 · be8dd2e · be8dd2e
2 parents 19f4e1d + a3e5207
commit be8dd2e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/pitest/src/main/java/org/pitest/mutationtest/engine/gregor/config/Mutator.java b/pitest/src/main/java/org/pitest/mutationtest/engine/gregor/config/Mutator.java
@@ -287,6 +287,10 @@ public static Collection<MethodMutatorFactory> all() {
     return fromStrings(MUTATORS.keySet());
   }
 
+  public static Collection<String> getAllMutatorIds() {
+    return MUTATORS.keySet();
+  }
+
   private static Collection<MethodMutatorFactory> stronger() {
     return combine(
         newDefaults(),