Commit 4d8c19c8 authored by Sarah Grebing's avatar Sarah Grebing

Button for laoding a java file with an exmpty script

parent 126a35d7
Pipeline #13604 failed with stage
in 2 minutes and 17 seconds
...@@ -17,6 +17,11 @@ public class WelcomePane extends AnchorPane { ...@@ -17,6 +17,11 @@ public class WelcomePane extends AnchorPane {
Utils.createWithFXML(this); Utils.createWithFXML(this);
} }
/**
* Load the contraposition example
*
* @param event
*/
public void loadContraPosition(ActionEvent event) { public void loadContraPosition(ActionEvent event) {
proofScriptDebugger.getWelcomePaneDock().close(); proofScriptDebugger.getWelcomePaneDock().close();
proofScriptDebugger.showActiveInspector(null); proofScriptDebugger.showActiveInspector(null);
...@@ -35,6 +40,10 @@ public class WelcomePane extends AnchorPane { ...@@ -35,6 +40,10 @@ public class WelcomePane extends AnchorPane {
*/ */
} }
/**
* Load a test example
* @param event
*/
public void loadJavaTest(ActionEvent event) { public void loadJavaTest(ActionEvent event) {
proofScriptDebugger.getWelcomePaneDock().close(); proofScriptDebugger.getWelcomePaneDock().close();
proofScriptDebugger.showActiveInspector(null); proofScriptDebugger.showActiveInspector(null);
...@@ -50,6 +59,10 @@ public class WelcomePane extends AnchorPane { ...@@ -50,6 +59,10 @@ public class WelcomePane extends AnchorPane {
new File("src/test/resources/edu/kit/formal/psdb/interpreter/javaExample/Test.java"));*/ 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) { public void loadHelpPage(ActionEvent event) {
proofScriptDebugger.getWelcomePaneDock().close(); proofScriptDebugger.getWelcomePaneDock().close();
proofScriptDebugger.showCommandHelp(event); proofScriptDebugger.showCommandHelp(event);
...@@ -58,6 +71,10 @@ public class WelcomePane extends AnchorPane { ...@@ -58,6 +71,10 @@ public class WelcomePane extends AnchorPane {
} }
/**
* Load a Java problem with an existing script
* @param event
*/
public void loadJavaProblem(ActionEvent event) { public void loadJavaProblem(ActionEvent event) {
proofScriptDebugger.getWelcomePaneDock().close(); proofScriptDebugger.getWelcomePaneDock().close();
proofScriptDebugger.showActiveInspector(null); proofScriptDebugger.showActiveInspector(null);
...@@ -81,5 +98,21 @@ public class WelcomePane extends AnchorPane { ...@@ -81,5 +98,21 @@ public class WelcomePane extends AnchorPane {
proofScriptDebugger.openScript(); 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();
}
} }
...@@ -14,7 +14,8 @@ ...@@ -14,7 +14,8 @@
</font> </font>
</Label> </Label>
<Label alignment="TOP_LEFT" layoutX="14.0" layoutY="71.0" prefHeight="129.0" prefWidth="573.0" <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"> <HBox fillHeight="true" layoutX="117.0" layoutY="200.0" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308" spacing="25.0">
<padding> <padding>
...@@ -74,6 +75,14 @@ ...@@ -74,6 +75,14 @@
<MaterialDesignIconView glyphName="HELP_CIRCLE" size="24"/> <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24"/>
</graphic> </graphic>
</Button> </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> </children>
<StackPane.margin> <StackPane.margin>
<Insets bottom="10.0" left="10.0" right="10.0" top="10.0" /> <Insets bottom="10.0" left="10.0" right="10.0" top="10.0" />
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment