public TestRepository(ITestFileReader testFileReader, ITestFileWriter testFileWriter, IFileHandler fileHandler, IConfiguration configuration)
{
_testFileReader = testFileReader;
_testFileWriter = testFileWriter;
_fileHandler = fileHandler;
_configuration = configuration;
}
public UnitTestClassWriter(
IClassInformationFactory classInfoFactory,
ITestConfigurationFactory testConfigFactory,
IClassContentFactory classContentFactory,
ITestFileWriter testFileWriter)
{
_classInfoFactory = classInfoFactory;
_testConfigFactory = testConfigFactory;
_classContentFactory = classContentFactory;
_testFileWriter = testFileWriter;
}
public static int numDistinctContractViolPlans = 0; // counts the # of plans that violates contract (may violate same contract)
public PlanManager(RandoopConfiguration config)
{
this.config = config;
this.builderPlans = new PlanDataBase("builderPlans", config.typematchingmode);
this.exceptionPlans = new PlanDataBase("exceptionThrowingPlans", config.typematchingmode);
this.observerPlans = new PlanDataBase("observerPlans", config.typematchingmode);
Plan.uniqueIdCounter = config.planstartid;
if (config.singledir)
{
this.testFileWriter = new SingleDirTestWriter(new DirectoryInfo(config.outputdir), config.testPrefix);
}
else
{
DirectoryInfo outputDir = new DirectoryInfo(config.outputdir);
this.testFileWriter = new ClassifyingTestFileWriter(outputDir, config.testPrefix);
}
}
public PlanManager(RandoopConfiguration config)
{
this.config = config;
this.builderPlans = new PlanDataBase("builderPlans", config.typematchingmode);
this.exceptionPlans = new PlanDataBase("exceptionThrowingPlans", config.typematchingmode);
this.observerPlans = new PlanDataBase("observerPlans", config.typematchingmode);
Plan.uniqueIdCounter = config.planstartid;
if (config.singledir)
{
this.testFileWriter = new SingleDirTestWriter(new DirectoryInfo(config.outputdir), config.testPrefix);
}
else
{
DirectoryInfo outputDir = new DirectoryInfo(config.outputdir);
this.testFileWriter = new ClassifyingTestFileWriter(outputDir, config.testPrefix);
}
}
public TestRepository(ITestFileReader testFileReader, ITestFileWriter testFileWriter, IFileHandler fileHandler)
{
_testFileReader = testFileReader;
_testFileWriter = testFileWriter;
_fileHandler = fileHandler;
}
