public void SetHighLightOccurrence(IOccurrence occ, PatternTree pt)
{
lblOccNumber.Text = string.Empty;
occurrences.Clear();
txtPatternTree.Text = string.Empty;
if (occ == null)
{
return;
}
occurrences.Add(occ);
txtPatternTree.Text = pt == null ? string.Empty : pt.ToString();
}
public void SetHighLightOccurrences(PatternTree pt)
{
lblOccNumber.Text = string.Empty;
occurrences.Clear();
txtPatternTree.Text = string.Empty;
if (pt == null)
{
return;
}
lblOccNumber.Text = string.Format("Occurrence Number: {0}", GetOccNumberInTree(pt));
foreach (var occ in pt.Occurrences)
{
occurrences.Add(occ);
}
txtPatternTree.Text = pt.ToString();
}