/* * (non-Javadoc) * @see org.overture.ide.plugins.rttraceviewer.viewer.IViewCallback#updateOverviewPage () */ public void updateOverviewPage() { try { theOverview.disposeFigures(); traceRunner.drawOverview(theOverview, new Long(currentTime)); for (Long cpu : cpuTabs.keySet()) { GenericTabItem tab = cpuTabs.get(cpu); tab.disposeFigures(); traceRunner.drawCpu(tab, cpu, new Long(currentTime)); } } catch (Exception e) { TracefileViewerPlugin.log(e); } }
@Override public void dispose() { try { ValidationConjecturesView v = getValidationConjecturesView(); if (v != null) { v.unlink(this); } theOverview.disposeFigures(); if (theMarkers != null) { theMarkers.dispose(); } } catch (Exception e) { TracefileViewerPlugin.log(e); } }