public void Move(Randoop.Plan p, Exception exceptionThrown)
{
string className = this.testPrefix + p.TestCaseId;
string fileName = outputDir + "\\" + className + ".cs";
string savedFileName = fileName + ".saved";
File.Copy(fileName, savedFileName);
new FileInfo(fileName).Delete();
TestWriterHelperMethods.WritePlanToFile(p, fileName, exceptionThrown.GetType(), className);
new FileInfo(savedFileName).Delete();
}
public void WriteTest(Randoop.Plan p)
{
string className = this.testPrefix + p.TestCaseId;
string fileName = outputDir + "\\" + className + ".cs";
TestWriterHelperMethods.WritePlanToFile(p, fileName, null, className);
}
public void Remove(Randoop.Plan p)
{
string className = this.testPrefix + p.TestCaseId;
string fileName = outputDir + "\\" + className + ".cs";
new FileInfo(fileName).Delete();
}
public void MoveNormalTermination(Randoop.Plan p)
{
// Don't move anywhere.
}
