Skip to content
Permalink
Browse files

add id mutators in json

  • Loading branch information
danglotb committed Mar 23, 2018
1 parent 857b070 commit c0f7231db083144efd1921521eedffa466a2b167
@@ -95,8 +95,9 @@ private static void createDetailledTestClassDataJson(InputConfiguration configur
pitResult.getFullQualifiedNameOfMutatedClass(),
pitResult.getNameOfMutatedMethod(),
pitResult.getLineNumber(),
pitResult.getStateOfMutant().toString()
))
pitResult.getStateOfMutant().toString(),
pitResult.getFullQualifiedNameMutantOperator())
)
);
Gson gson = new GsonBuilder().setPrettyPrinting().create();
final File file = new File(configuration.getOutputDirectory() + "/" + qualifiedName + "_" + a + "_" + i + ".json");
@@ -11,11 +11,13 @@
public final String methodName;
public final int line;
public final String status;
public final String idMutator;

public MutantDataJSON(String fullQualifiedClassName, String methodName, int line, String status) {
public MutantDataJSON(String fullQualifiedClassName, String methodName, int line, String status, String idMutator) {
this.fullQualifiedClassName = fullQualifiedClassName;
this.methodName = methodName;
this.line = line;
this.status = status;
this.idMutator = idMutator;
}
}

0 comments on commit c0f7231

Please sign in to comment.
You can’t perform that action at this time.