From 4d8c19c8744aa0bcad3d6866ee516ec2e66ac176 Mon Sep 17 00:00:00 2001
From: Sarah Grebing <grebing@ira.uka.de>
Date: Wed, 13 Sep 2017 10:13:43 +0200
Subject: [PATCH] Button for laoding a java file with an exmpty script

---
 .../psdbg/gui/controls/WelcomePane.java       | 33 +++++++++++++++++++
 .../psdbg/gui/controls/WelcomePane.fxml       | 11 ++++++-
 2 files changed, 43 insertions(+), 1 deletion(-)

diff --git a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.java b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.java
index ee7f3c4b..62e8a2e4 100644
--- a/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.java
+++ b/ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.java
@@ -17,6 +17,11 @@ public class WelcomePane extends AnchorPane {
         Utils.createWithFXML(this);
     }
 
+    /**
+     * Load the contraposition example
+     *
+     * @param event
+     */
     public void loadContraPosition(ActionEvent event) {
         proofScriptDebugger.getWelcomePaneDock().close();
         proofScriptDebugger.showActiveInspector(null);
@@ -35,6 +40,10 @@ public class WelcomePane extends AnchorPane {
         */
     }
 
+    /**
+     * Load a test example
+     * @param event
+     */
     public void loadJavaTest(ActionEvent event) {
         proofScriptDebugger.getWelcomePaneDock().close();
         proofScriptDebugger.showActiveInspector(null);
@@ -50,6 +59,10 @@ public class WelcomePane extends AnchorPane {
                 new File("src/test/resources/edu/kit/formal/psdb/interpreter/javaExample/Test.java"));*/
     }
 
+    /**
+     * Load teh help page documentation
+     * @param event
+     */
     public void loadHelpPage(ActionEvent event) {
         proofScriptDebugger.getWelcomePaneDock().close();
         proofScriptDebugger.showCommandHelp(event);
@@ -58,6 +71,10 @@ public class WelcomePane extends AnchorPane {
 
     }
 
+    /**
+     * Load a Java problem with an existing script
+     * @param event
+     */
     public void loadJavaProblem(ActionEvent event) {
         proofScriptDebugger.getWelcomePaneDock().close();
         proofScriptDebugger.showActiveInspector(null);
@@ -81,5 +98,21 @@ public class WelcomePane extends AnchorPane {
 
         proofScriptDebugger.openScript();
     }
+
+
+    /**
+     * Load a Java File and an Empty Script
+     *
+     * @param event
+     */
+    public void loadJavaProblemWithNewScript(ActionEvent event) {
+        proofScriptDebugger.getWelcomePaneDock().close();
+        proofScriptDebugger.showActiveInspector(null);
+
+        proofScriptDebugger.openJavaFile();
+        proofScriptDebugger.getScriptController().newScript();
+
+    }
+
 }
 
diff --git a/ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.fxml b/ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.fxml
index f95ff1e5..9a72a251 100644
--- a/ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.fxml
+++ b/ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/WelcomePane.fxml
@@ -14,7 +14,8 @@
             </font>
         </Label>
         <Label alignment="TOP_LEFT" layoutX="14.0" layoutY="71.0" prefHeight="129.0" prefWidth="573.0"
-               text="This application is the Proof Script debugger for the KeY system." wrapText="true"/>
+               text="This application is the Proof Script debugger for the KeY system. It allows to perform proofs using a proof scripting language on top of the KeY system."
+               wrapText="true"/>
 
         <HBox fillHeight="true" layoutX="117.0" layoutY="200.0" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" spacing="25.0">
             <padding>
@@ -74,6 +75,14 @@
                                 <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24"/>
                             </graphic>
                         </Button>
+                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308"
+                                text="Java File with Empty Script"
+                                onAction="#loadJavaProblemWithNewScript" GridPane.columnIndex="1" GridPane.rowIndex="2">
+                            <graphic>
+                                <MaterialDesignIconView glyphName="BOOK_OPEN_VARIANT" size="24"/>
+                            </graphic>
+                        </Button>
+
                     </children>
                     <StackPane.margin>
                         <Insets bottom="10.0" left="10.0" right="10.0" top="10.0" />
-- 
GitLab