protected override void Initialize()
{
base.Initialize();
CoverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder <PexGeneratedTestName>();
var assemblyName = this.Services.CurrentAssembly.Assembly.Assembly.ShortName;
FieldAcccessFileName = InfoFileDirectory + assemblyName + ".fieldAccess.bin";
InsufficientObjectFactoryFieldFileName = InfoFileDirectory + assemblyName + ".insufficientFields.bin";
insufficientFieldInfoWithBranchInfoFileName = InfoFileDirectory + assemblyName +
".insufficientFields.branch.bin";
FactoryMethodDebugFileName = InfoFileDirectory + assemblyName + ".factories.txt";
FieldAccessInfoObj = (FieldAccessInfo)LoadFInfoFromFile(FieldAccessInfoObj, FieldAcccessFileName);
if (FieldAccessInfoObj == null)
{
FieldAccessInfoObj = new FieldAccessInfo();
}
InsufficientObjectFactoryFieldInfoObj =
(InsufficientObjectFactoryFieldInfo)
LoadFInfoFromFile(InsufficientObjectFactoryFieldInfoObj, InsufficientObjectFactoryFieldFileName);
if (InsufficientObjectFactoryFieldInfoObj == null)
{
InsufficientObjectFactoryFieldInfoObj = new InsufficientObjectFactoryFieldInfo();
}
insufficientFieldInfoWithBranchInfo = new InsufficientFieldInfoWithBranchInfo();
int countRelevantFiles = InsufficientObjectFactoryFieldInfoObj.ReleventFields.Count;
}
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder <PexGeneratedTestName> branchCovBuilder)
{
CoverageBuilderMaxAggregator.Max(branchCovBuilder);
}
/// <summary>
/// Accumulates the maximum coverage
/// </summary>
/// <param name="taggedCovered"></param>
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder <PexGeneratedTestName> newCoverage)
{
this.coverageBuilderMaxAggregator.Max(newCoverage);
}
/// <summary>
/// Initializes the PexMe Database
/// </summary>
protected override void Initialize()
{
//this.Log.LogMessage(PexMeLogCategories.MethodBegin, "Begin of PexMeDatabase.Initialize() method");
coverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder <PexGeneratedTestName>();
}
/// <summary>
/// Initializes the PexMe Database
/// </summary>
protected override void Initialize()
{
//this.Log.LogMessage(PexMeLogCategories.MethodBegin, "Begin of PexMeDatabase.Initialize() method");
coverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder<PexGeneratedTestName>();
}
/// <summary>
/// Accumulates the maximum coverage
/// </summary>
/// <param name="taggedCovered"></param>
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder<PexGeneratedTestName> newCoverage)
{
this.coverageBuilderMaxAggregator.Max(newCoverage);
}
protected override void Initialize()
{
base.Initialize();
CoverageBuilderMaxAggregator = new TaggedBranchCoverageBuilder<PexGeneratedTestName>();
var assemblyName = this.Services.CurrentAssembly.Assembly.Assembly.ShortName;
FieldAcccessFileName = InfoFileDirectory + assemblyName + ".fieldAccess.bin";
InsufficientObjectFactoryFieldFileName = InfoFileDirectory + assemblyName + ".insufficientFields.bin";
insufficientFieldInfoWithBranchInfoFileName = InfoFileDirectory + assemblyName +
".insufficientFields.branch.bin";
FactoryMethodDebugFileName = InfoFileDirectory + assemblyName + ".factories.txt";
FieldAccessInfoObj = (FieldAccessInfo) LoadFInfoFromFile(FieldAccessInfoObj, FieldAcccessFileName);
if (FieldAccessInfoObj == null)
{
FieldAccessInfoObj = new FieldAccessInfo();
}
InsufficientObjectFactoryFieldInfoObj =
(InsufficientObjectFactoryFieldInfo)
LoadFInfoFromFile(InsufficientObjectFactoryFieldInfoObj, InsufficientObjectFactoryFieldFileName);
if (InsufficientObjectFactoryFieldInfoObj == null)
{
InsufficientObjectFactoryFieldInfoObj = new InsufficientObjectFactoryFieldInfo();
}
insufficientFieldInfoWithBranchInfo = new InsufficientFieldInfoWithBranchInfo();
int countRelevantFiles = InsufficientObjectFactoryFieldInfoObj.ReleventFields.Count;
}
public void AccumulateMaxCoverage(TaggedBranchCoverageBuilder<PexGeneratedTestName> branchCovBuilder)
{
CoverageBuilderMaxAggregator.Max(branchCovBuilder);
}
