Example #1
0
  void diagramExportAction() {
    theArch.exportJPG(fileName + ".arch");
    theOverview.exportJPG(fileName + ".overview");

    for (GenericTabItem tab : cpuTabs.values()) {
      tab.exportJPG(fileName + "." + tab.getName());
    }
  }
Example #2
0
  /*
   * (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);
    }
  }
Example #3
0
  /*
   * (non-Javadoc)
   * @see org.overture.ide.plugins.rttraceviewer.viewer.IViewCallback#panToTime(long, long)
   */
  public void panToTime(long time, long thrid) {
    for (Iterator<Long> iter = theTimes.iterator(); iter.hasNext(); ) {
      long theTime = iter.next().longValue();
      if (theTime < time) currentTime = theTime;
    }

    folder.setSelection(theOverview.getTabItem());
    updateOverviewPage();
  }
Example #4
0
  @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);
    }
  }