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