예제 #1
0
 @Override
 public void contextDiscarded(Context context) {
   Transaction transaction = persistenceManager.beginDirtyTransaction();
   try {
     cliJPanel.message("Context:" + context.identifier(transaction) + " couldn't be proved!");
   } catch (InterruptedException e) {
     logger.error("Error", e);
   } finally {
     transaction.abort();
   }
 }
예제 #2
0
 @Override
 public void contextProved(Context context, Proof proof) {
   Transaction transaction = persistenceManager.beginTransaction();
   try {
     try {
       proof.execute(transaction);
       cliJPanel.message("Context:" + context.identifier(transaction) + " proved!");
       transaction.commit();
     } catch (ExecutionException e) {
       logger.error("Error", e);
       cliJPanel.exception(e);
     }
   } catch (InterruptedException e) {
     logger.error("Error", e);
   } finally {
     transaction.abort();
   }
 }