public void AnnotateMatch(IMatch match, bool addAnnotation)
{
AnnotateMatch(match, addAnnotation, "", 0, true);
if (addAnnotation)
{
renderRecorder.AnnotateGraphElements(ycompClient);
}
}
public void DoHighlight(List <object> sources, List <string> annotations)
{
if (ycompClient.dumpInfo.IsExcludedGraph())
{
ycompClient.ClearGraph();
}
for (int i = 0; i < sources.Count; ++i)
{
HighlightValue(sources[i], annotations[i], true);
}
if (ycompClient.dumpInfo.IsExcludedGraph())
{
// highlight values added in highlight value calls to excludedGraphNodesIncluded
ycompClient.AddNeighboursAndParentsOfNeededGraphElements();
}
renderRecorder.AnnotateGraphElements(ycompClient);
ycompClient.UpdateDisplay();
ycompClient.Sync();
Console.WriteLine("Press any key to continue...");
env.ReadKeyWithCancel();
for (int i = 0; i < sources.Count; ++i)
{
HighlightValue(sources[i], annotations[i], false);
}
ycompClient.UpdateDisplay();
ycompClient.Sync();
Console.WriteLine("End of highlighting");
}