public bool Equals(BoundaryProblem other) { if (ReferenceEquals(null, other)) { return(false); } if (ReferenceEquals(this, other)) { return(true); } return(Equals(other.Kind, Kind) && Equals(other.TargetName, TargetName) && Equals(other.Message, Message) && Equals(other.FlippedLocation, FlippedLocation) && Equals(other.FlippedCondition, FlippedCondition)); }
public bool Equals(BoundaryProblem other) { if (ReferenceEquals(null, other)) return false; if (ReferenceEquals(this, other)) return true; return Equals(other.Kind, Kind) && Equals(other.TargetName, TargetName) && Equals(other.Message, Message) && Equals(other.FlippedLocation, FlippedLocation) && Equals(other.FlippedCondition, FlippedCondition); }
void Log_ExplorationBoundaryHandler(ExplorationBoundaryEventArgs e) { var database = Host.GetService<ProblemTrackDatabase>(); ProblemEventArgs successfulFlippedPathCondition = database.CurrentSuccessfulFlippedPathCondition; StringBuilder log = database.SimpleLog; SequencePoint sp; if (successfulFlippedPathCondition == null) { return; } CodeLocation location = successfulFlippedPathCondition.FlippedLocation; Host.Services.SymbolManager.TryGetSequencePoint(location.Method, location.Offset, out sp); StringBuilder sb = new StringBuilder("/////////////////////////////////// \n"); log.AppendLine("exception: " + e.Kind + " e.TargetName: " + e.TargetName + " message: " + e); sb.AppendLine("flipped location: " + sp.Document + " line: " + sp.Line); var branchInfo = new BranchInfo("",0,0,0,"",0); try { branchInfo = new BranchInfo(sp.Document, sp.Line, sp.Column, sp.EndColumn, location.Method.FullName, location.Offset); } catch (Exception) { } var flippedCondition = successfulFlippedPathCondition.Suffix; var stringWriter = new StringWriter(); var bodyWriter = this.Host.Services.LanguageManager.DefaultLanguage.CreateBodyWriter(stringWriter, VisibilityContext. Private); var emitter = new TermEmitter(successfulFlippedPathCondition.TermManager, new NameCreator()); if (emitter.TryEvaluate(Indexable.One(flippedCondition), 1000, bodyWriter)) { bodyWriter.Return(SystemTypes.Bool); } stringWriter.WriteLine(); stringWriter.WriteLine("Feasible prefixes:"); if (successfulFlippedPathCondition.FeasiblePrefix != null && successfulFlippedPathCondition.FeasiblePrefix.Length > 0) { var bodyWriter2 = this.Host.Services.LanguageManager.DefaultLanguage.CreateBodyWriter(stringWriter, VisibilityContext. Private); foreach (Term prefix in successfulFlippedPathCondition.FeasiblePrefix) { if (emitter.TryEvaluate(Indexable.One(prefix), 1000, bodyWriter2)) { bodyWriter2.Return(SystemTypes.Bool); } } } else { stringWriter.WriteLine("No feasible prefixes."); } this.Host.Log.Dump("My Category", "condition", stringWriter.ToString()); sb.AppendLine(stringWriter.ToString()); sb.AppendLine("///////////////////////////////////"); var issue = new BoundaryProblem(e.Kind.ToString(), e.TargetName.ToString(), e.Message, branchInfo, stringWriter.ToString()); Host.GetService<ProblemTrackDatabase>().BoundaryIssues.Add(issue); log.AppendLine(sb.ToString()); // e. }
void Log_ExplorationBoundaryHandler(ExplorationBoundaryEventArgs e) { var database = Host.GetService <ProblemTrackDatabase>(); ProblemEventArgs successfulFlippedPathCondition = database.CurrentSuccessfulFlippedPathCondition; StringBuilder log = database.SimpleLog; SequencePoint sp; if (successfulFlippedPathCondition == null) { return; } CodeLocation location = successfulFlippedPathCondition.FlippedLocation; Host.Services.SymbolManager.TryGetSequencePoint(location.Method, location.Offset, out sp); StringBuilder sb = new StringBuilder("/////////////////////////////////// \n"); log.AppendLine("exception: " + e.Kind + " e.TargetName: " + e.TargetName + " message: " + e); sb.AppendLine("flipped location: " + sp.Document + " line: " + sp.Line); var branchInfo = new BranchInfo("", 0, 0, 0, "", 0); try { branchInfo = new BranchInfo(sp.Document, sp.Line, sp.Column, sp.EndColumn, location.Method.FullName, location.Offset); } catch (Exception) { } var flippedCondition = successfulFlippedPathCondition.Suffix; var stringWriter = new StringWriter(); var bodyWriter = this.Host.Services.LanguageManager.DefaultLanguage.CreateBodyWriter(stringWriter, VisibilityContext. Private); var emitter = new TermEmitter(successfulFlippedPathCondition.TermManager, new NameCreator()); if (emitter.TryEvaluate(Indexable.One(flippedCondition), 1000, bodyWriter)) { bodyWriter.Return(SystemTypes.Bool); } stringWriter.WriteLine(); stringWriter.WriteLine("Feasible prefixes:"); if (successfulFlippedPathCondition.FeasiblePrefix != null && successfulFlippedPathCondition.FeasiblePrefix.Length > 0) { var bodyWriter2 = this.Host.Services.LanguageManager.DefaultLanguage.CreateBodyWriter(stringWriter, VisibilityContext. Private); foreach (Term prefix in successfulFlippedPathCondition.FeasiblePrefix) { if (emitter.TryEvaluate(Indexable.One(prefix), 1000, bodyWriter2)) { bodyWriter2.Return(SystemTypes.Bool); } } } else { stringWriter.WriteLine("No feasible prefixes."); } this.Host.Log.Dump("My Category", "condition", stringWriter.ToString()); sb.AppendLine(stringWriter.ToString()); sb.AppendLine("///////////////////////////////////"); var issue = new BoundaryProblem(e.Kind.ToString(), e.TargetName.ToString(), e.Message, branchInfo, stringWriter.ToString()); Host.GetService <ProblemTrackDatabase>().BoundaryIssues.Add(issue); log.AppendLine(sb.ToString()); // e. }