protected void restorePVSContext() throws PVSException {
IPreferenceStore store = Activator.getDefault().getPreferenceStore();
boolean restoreContext = store.getBoolean(PreferenceConstants.SAVEPVSCONTEXT);
if (restoreContext) {
String contextLocation = store.getString(PreferenceConstants.PVSCONTEXTPATH);
if (!PVSConstants.EMPTY.equals(contextLocation)) {
ArrayList<Object> args = new ArrayList<Object>();
args.add(contextLocation);
args.add(false);
PVSCommandManager.changeContext(args);
}
}
}
protected String getPVSDirectory() {
IPreferenceStore store = Activator.getDefault().getPreferenceStore();
return store.getString(PreferenceConstants.PVSPATH);
}
