From 3fa31c5cb9a4e05b8438a691cc79ece901800ab5 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Thu, 30 Nov 2017 15:23:14 +0100 Subject: [PATCH] saveProof --- .../formal/psdbg/gui/controller/DebuggerMain.java | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java index 97c3da9c..71524a13 100644 --- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java +++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controller/DebuggerMain.java @@ -782,8 +782,20 @@ public class DebuggerMain implements Initializable { * @param actionEvent */ public void saveProof(ActionEvent actionEvent) { + FileChooser fc = new FileChooser(); + File file = fc.showOpenDialog(btnInteractiveMode.getScene().getWindow()); + if (file != null) { + try { + saveProof(file); + } catch (IOException e) { + e.printStackTrace(); + } + } + } - LOGGER.error("saveProof not implemented!!!"); + public void saveProof(File file) throws IOException { + if (FACADE.getProof() != null) + FACADE.getProof().saveToFile(file); } /** -- GitLab