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;
}
private void LoadInfosFromFiles()
{
infoDirectory = "c:\\tempSeqex\\" + txtAssemblyName.Text + "\\";
assemblyName = txtAssemblyName.Text;
objectCreationProblemFileName = infoDirectory + assemblyName + ".object.bin";
notCoveredBranchFileName = infoDirectory + assemblyName + ".assembly.bin";
insufficientObjectFactoryFieldInfoFileName = infoDirectory + assemblyName + ".insufficientFields.bin";
insufficientFieldInfoWithBranchInfoFileName = infoDirectory + assemblyName +
".insufficientFields.branch.bin";
resultTrackingInfoFileName = infoDirectory + assemblyName + ".resultTrack.bin";
candidateObjectCreationProblemFileName = infoDirectory + assemblyName + ".candidateObjectCreationIssue.bin";
uninstrumentedMethodProblemFileName = infoDirectory + assemblyName + ".uninstrumented.bin";
foundUninstrumentedInObjectCreationFileName = infoDirectory + assemblyName + ".uninstrumentObj.bin";
exceptionExternalMethodsFileName = infoDirectory + assemblyName + ".exceptionExternalMethods.bin";
foundObjectTypeFileName = infoDirectory + assemblyName + ".foundObjectType.bin";
insufficientObjectFactoryFieldInfo =
(InsufficientObjectFactoryFieldInfo) LoadInfoFromFile(insufficientObjectFactoryFieldInfo,
insufficientObjectFactoryFieldInfoFileName);
_problemInfo =
(ProblemInfo) LoadInfoFromFile(_problemInfo, objectCreationProblemFileName);
_nonCoveredBranchInfo =
(NonCoveredBranchInfo) LoadInfoFromFile(_nonCoveredBranchInfo, notCoveredBranchFileName);
insufficientFieldInfoWithBranchInfo =
(InsufficientFieldInfoWithBranchInfo) LoadInfoFromFile(insufficientObjectFactoryFieldInfo,
insufficientFieldInfoWithBranchInfoFileName);
resultTrackingInfo = (ResultTrackingInfo) LoadInfoFromFile(resultTrackingInfo, resultTrackingInfoFileName);
unInstrumentedMethodNames =
(List<string>) LoadInfoFromFile(unInstrumentedMethodNames, uninstrumentedMethodProblemFileName);
_candidateObjectCreationProblems =
(HashSet<CandidateObjectCreationProblem>) LoadInfoFromFile(_candidateObjectCreationProblems,
candidateObjectCreationProblemFileName);
uninstrumentedMethodsFoundInObj =
(Dictionary<string, HashSet<BranchInfo>>) LoadInfoFromFile(uninstrumentedMethodsFoundInObj,
foundUninstrumentedInObjectCreationFileName);
ExceptionExternalMethods =
(HashSet<ExceptionExternalMethod>)
LoadInfoFromFile(ExceptionExternalMethods, exceptionExternalMethodsFileName);
FoundTypes = (HashSet<string>) LoadInfoFromFile(FoundTypes, foundObjectTypeFileName);
if (FoundTypes != null && FoundTypes.Contains("System.Object"))
{
FoundTypes.Remove("System.Object");
}
}
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;
}
