public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className)
{
TestCase code;
try
{
code = p.ToTestCase(exceptionThrown, false, className);
}
catch (Exception)
{
code = TestCase.Dummy(className);
}
code.WriteToFile(fileName, true);
}
public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className)
{
TestCase code;
try
{
code = p.ToTestCase(exceptionThrown, false, className);
}
catch (Exception)
{
code = TestCase.Dummy(className);
}
code.WriteToFile(fileName, true);
}
public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className)
{
TestCase code;
bool writeTest = true; //[email protected] -- added for avoid writing "dummy" code
try
{
code = p.ToTestCase(exceptionThrown, true, className); //[email protected] -- if the middle parameter is set to "true", print plan for debugging
}
catch (Exception)
{
code = TestCase.Dummy(className);
writeTest = false;
}
if(writeTest)
code.WriteToFile(fileName, true);
}
public static void WritePlanToFile(Plan p, string fileName, Type exceptionThrown, string className, bool useRandoopContracts)
{
TestCase code;
bool writeTest = true; //[email protected] -- added for avoid writing "dummy" code
try
{
code = p.ToTestCase(exceptionThrown, true, className, useRandoopContracts); //[email protected] -- if the middle parameter is set to "true", print plan for debugging
}
catch (Exception)
{
code = TestCase.Dummy(className);
writeTest = false;
}
if (writeTest)
{
code.WriteToFile(fileName);
}
}