//SafeSet<CodeLocation> unsuccessfullyFlippedCodeLocations = new SafeSet<CodeLocation>();
protected override void Initialize()
{
base.Initialize();
database = this.GetService <SeqexDatabase>();
/*if (database == null)
* database = new SeqexDatabase();*/
InsufficientObjectFactoryFieldInfoObj = database.InsufficientObjectFactoryFieldInfoObj;
this.ExplorationServices.ExplorableManager.AddExplorableInsufficienyObserver(this);
}
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");
}
}
