From 7e812ca49ad24882cce37f3d75a6dcfc69d91f19 Mon Sep 17 00:00:00 2001
From: Jonas Kutscha <jonas.kutscha@advantest.com>
Date: Thu, 22 Jul 2021 13:04:32 +0200
Subject: [PATCH] Added the option to get all mutator IDs

---
 .../org/pitest/mutationtest/engine/gregor/config/Mutator.java | 4 ++++
 1 file changed, 4 insertions(+)

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
index 27ca6b58d..85b2410ba 100644
--- 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(),