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); }
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); }