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