Adding filename and index to the mutation report

STAMP-project · Apr 24, 2019 · f727e5b · f727e5b
1 parent 9bf6fd6
commit f727e5b
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/main/java/eu/stamp_project/mutationtest/descartes/reporting/JSONReportListener.java b/src/main/java/eu/stamp_project/mutationtest/descartes/reporting/JSONReportListener.java
@@ -59,6 +59,10 @@ public void handleMutationResult(ClassMutationResults classMutationResults) {
                     report.writeAttribute("detected", status.isDetected());
                     report.writeAttribute("status", status.name());
                     report.writeAttribute("mutator", details.getMutator());
+                    report.writeAttribute("line", details.getLineNumber());
+                    report.writeAttribute("block", details.getBlock());
+                    report.writeAttribute("file", details.getFilename());
+                    report.writeAttribute("index", details.getFirstIndex()); // Saving only the first index
 
                     report.beginObjectAttribute("method");
                         report.writeAttribute("name", method);