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