Ejemplo n.º 1
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();
    }
  }
Ejemplo 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);
     }
   }
 }
Ejemplo n.º 3
0
 public void addUpperError(Long time, Long threadID, String name) {
   conjectureData.addConjecture(new Conjecture(time, threadID, name, ConjectureType.DESTINATION));
 }
Ejemplo n.º 4
0
 public void addLowerError(Long time, Long threadID, String name) {
   conjectureData.addConjecture(new Conjecture(time, threadID, name, ConjectureType.SOURCE));
 }