/*
* (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);
}
}