Esempio n. 1
0
 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;
 }
Esempio n. 3
0
        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);
            }
        }
Esempio n. 4
0
        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);
            }
        }
Esempio n. 5
0
 public TestRepository(ITestFileReader testFileReader, ITestFileWriter testFileWriter, IFileHandler fileHandler)
 {
     _testFileReader = testFileReader;
     _testFileWriter = testFileWriter;
     _fileHandler    = fileHandler;
 }