private void Log_ExplorableHandler(PexExplorableEventArgs e)
{
var objectIssueDictionary = Host.GetService <ProblemTrackDatabase>().ObjectCreationIssueDictionary;
if (!objectIssueDictionary.ContainsKey(e.Kind))
{
objectIssueDictionary.Add(e.Kind, new SafeSet <TypeName>());
}
var set = objectIssueDictionary[e.Kind];
set.Add(e.ExplorableType);
}
/// <summary>
/// TODO:
/// </summary>
/// <param name="e"></param>
void Log_ExplorableHandler(PexExplorableEventArgs e)
{
//this.host.Log.LogMessage(PexMeLogCategories.MethodBegin, "Entered method Log_ExplorableHandler");
//this.host.Log.LogMessage(PexMeLogCategories.Debug, "Requested for type " + e.ExplorableType);
this.pmd.AddControllableType(e.ExplorableType.FullName);
//var objectIssueDictionary = Host.GetService<IssueTrackDatabase>().ObjectCreationIssueDictionary;
//if (!objectIssueDictionary.ContainsKey(e.Kind))
//{
// objectIssueDictionary.Add(e.Kind, new SafeSet<TypeName>());
//}
//var set = objectIssueDictionary[e.Kind];
//set.Add(e.ExplorableType);
}
/// <summary>
/// TODO:
/// </summary>
/// <param name="e"></param>
void Log_ExplorableHandler(PexExplorableEventArgs e)
{
//this.host.Log.LogMessage(PexMeLogCategories.MethodBegin, "Entered method Log_ExplorableHandler");
//this.host.Log.LogMessage(PexMeLogCategories.Debug, "Requested for type " + e.ExplorableType);
this.pmd.AddControllableType(e.ExplorableType.FullName);
//var objectIssueDictionary = Host.GetService<IssueTrackDatabase>().ObjectCreationIssueDictionary;
//if (!objectIssueDictionary.ContainsKey(e.Kind))
//{
// objectIssueDictionary.Add(e.Kind, new SafeSet<TypeName>());
//}
//var set = objectIssueDictionary[e.Kind];
//set.Add(e.ExplorableType);
}
private void Log_ExplorableHandler(PexExplorableEventArgs e)
{
var objectIssueDictionary = Host.GetService<ProblemTrackDatabase>().ObjectCreationIssueDictionary;
if (!objectIssueDictionary.ContainsKey(e.Kind))
{
objectIssueDictionary.Add(e.Kind, new SafeSet<TypeName>());
}
var set = objectIssueDictionary[e.Kind];
set.Add(e.ExplorableType);
}
