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