Esempio n. 1
0
  @Override
  public void createPartControl(Composite parent) {
    Control[] childern = parent.getChildren();
    for (Control control : childern) {
      control.setVisible(false);
    }
    form = new SashForm(parent, 512);
    form.setLayout(new FillLayout());
    folder = new TabFolder(form, 128);
    // theConjectures = new ValidationTable(form, this);
    // form.setWeights(new int[] { 85, 15 });
    theArch = new GenericTabItem("Architecture overview", folder, AllowedOverrunDirection.Both);
    theOverview =
        new GenericTabItem("Execution overview", folder, AllowedOverrunDirection.Vertical);
    cw.clear();
    IFile file = null;
    try {

      file = ((FileEditorInput) getEditorInput()).getFile();

      FileUtility.deleteMarker(file, null, TracefileViewerPlugin.PLUGIN_ID);

      theMarkers = new TracefileMarker(file);

      if (FileUtility.getContent(file).size() == 0) {
        ErrorDialog.openError(
            getSite().getShell(), "Editor open", "File is empty", Status.CANCEL_STATUS);
        return;
      }

    } catch (Exception e) {
      TracefileViewerPlugin.log(e);
    } catch (OutOfMemoryError m) {
      showMessage(
          "The trace file can not be visualized because the Java Virtual Machine ran out of heap space. Try to allow Overture more heap space using Virtual Machine custom arguments (e.g. -Xms40m -Xmx512m).");
      return;
    }

    try {
      parseFile(selectedFile.getAbsolutePath());
    } catch (Exception e) {
      TracefileViewerPlugin.log(e);
    }
    openValidationConjectures(file);
  }
Esempio n. 2
0
 private void openValidationConjectures(IFile editorInputFile) {
   IPath p = new Path(editorInputFile.getName());
   p = p.addFileExtension("vtc");
   IFile vtcFile = editorInputFile.getParent().getFile(p);
   if (vtcFile.exists()) {
     try {
       ValidationConjecturesView v = getValidationConjecturesView();
       if (v != null) {
         conjectureData.clear();
         v.initializeLink(new InputStreamReader(vtcFile.getContents()), this);
         updateOverviewPage();
       }
     } catch (PartInitException e) {
       TracefileViewerPlugin.log(e);
     } catch (CoreException e) {
       TracefileViewerPlugin.log(e);
     }
   }
 }
Esempio n. 3
0
  private void parseFile(final String fname) {

    Shell shell = super.getSite().getShell();

    try {
      IRunnableWithProgress op =
          new IRunnableWithProgress() {

            public void run(IProgressMonitor monitor)
                throws InvocationTargetException, InterruptedException {
              doParse(fname, monitor);
            }
          };
      new ProgressMonitorDialog(shell).run(false, true, op);
    } catch (InvocationTargetException e) {
      TracefileViewerPlugin.log(e);

    } catch (InterruptedException e) {
      TracefileViewerPlugin.log(e);
    }
  }
Esempio n. 4
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);
    }
  }
Esempio n. 5
0
  void openValidationConjectures() {
    FileDialog fDlg = new FileDialog(getSite().getShell());
    String valFileName = fDlg.open();

    ValidationConjecturesView v = getValidationConjecturesView();
    if (v != null) {
      conjectureData.clear();
      try {
        v.initializeLink(new FileReader(valFileName), this);
      } catch (FileNotFoundException e) {
        TracefileViewerPlugin.log(e);
      }
      updateOverviewPage();
    }
  }
Esempio n. 6
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);
    }
  }
Esempio n. 7
0
 private ValidationConjecturesView getValidationConjecturesView() {
   IViewPart v;
   try {
     if (PlatformUI.getWorkbench().isClosing()) {
       return null;
     }
     v =
         PlatformUI.getWorkbench()
             .getActiveWorkbenchWindow()
             .getActivePage()
             .showView(IRealTimeTaceViewer.CONJECTURE_VIEW_ID);
     if (v instanceof ValidationConjecturesView) {
       return (ValidationConjecturesView) v;
     }
   } catch (CoreException e) {
     TracefileViewerPlugin.log(e);
   }
   return null;
 }
Esempio n. 8
0
  private void createTabPages() {
    try {
      traceRunner.drawArchitecture(theArch);
      traceRunner.drawOverview(theOverview, new Long(currentTime));
      canExportJpg = true;
      canMoveHorizontal = true;
      canOpenValidation = true;
      Vector<Long> theCpus = traceRunner.getCpuIds();

      cpuTabs.clear();

      for (Long cpu : theCpus) {
        String cpuName = traceRunner.getCpuName(cpu);
        GenericTabItem theDetail =
            new GenericTabItem(cpuName, folder, AllowedOverrunDirection.Horizontal);
        traceRunner.drawCpu(theDetail, cpu, new Long(currentTime));
        cpuTabs.put(cpu, theDetail);
      }
    } catch (Exception e) {
      TracefileViewerPlugin.log(e);
    }
  }