private void UpdateResults()
{
if (!CloneDetectiveManager.IsCloneReportAvailable)
{
CloseResults();
}
else
{
for (int i = documentContainer.Documents.Length - 1; i >= 0; i--)
{
DockControl dockControl = documentContainer.Documents[i];
CloneResultPageControl pageControl = (CloneResultPageControl)dockControl.Controls[0];
CloneClass newCloneClass = CloneDetectiveManager.CloneDetectiveResult.FindCloneClass(pageControl.CloneClass.Fingerprint);
if (newCloneClass == null)
{
documentContainer.RemoveDocument(dockControl);
}
else
{
pageControl.CloneClass = newCloneClass;
}
}
}
}
public void Add(CloneClass cloneClass)
{
CloneResultPageControl pageControl = new CloneResultPageControl();
pageControl.CloneClass = cloneClass;
string resultName = FormattingHelper.FormatCloneClassName(cloneClass);
DockControl dockControl = new DockControl(pageControl, resultName);
documentContainer.AddDocument(dockControl);
documentContainer.ActiveDocument = dockControl;
}