Exemplo n.º 1
0
 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);
     }
   }
 }
Exemplo n.º 2
0
 protected String getPVSDirectory() {
   IPreferenceStore store = Activator.getDefault().getPreferenceStore();
   return store.getString(PreferenceConstants.PVSPATH);
 }