WelcomePaneFMEdition.fxml 7.05 KB
Newer Older
Alexander Weigl's avatar
Alexander Weigl committed
1 2 3 4 5 6 7 8 9
<?xml version="1.0" encoding="UTF-8"?>

<?import de.jensd.fx.glyphs.materialdesignicons.*?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
<?import javafx.scene.text.Font?>
<fx:root prefHeight="485.0" prefWidth="716.0" type="AnchorPane" xmlns="http://javafx.com/javafx/8.0.121"
         xmlns:fx="http://javafx.com/fxml/1">
Sarah Grebing's avatar
Sarah Grebing committed
10 11 12
    <padding>
        <Insets top="25" right="25" bottom="25" left="25"/>
    </padding>
Alexander Weigl's avatar
Alexander Weigl committed
13

Sarah Grebing's avatar
Sarah Grebing committed
14 15 16 17 18 19 20 21 22 23 24 25 26
    <children>
        <VBox>
            <Label layoutX="14.0" layoutY="14.0" text="Welcome to the ProofScriptDebugger">
                <font>
                    <Font size="24.0"/>
                </font>
            </Label>
            <Label text="FM 2018 - Edition">
                <font>
                    <Font size="20.0"/>
                </font>
            </Label>
        </VBox>
Alexander Weigl's avatar
Alexander Weigl committed
27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106
        <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. 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>
                <Insets bottom="25.0" left="25.0" right="25.0" top="25.0"/>
            </padding>
        </HBox>
        <StackPane layoutX="-31.0" layoutY="180.0" prefHeight="195.0" prefWidth="621.0" AnchorPane.bottomAnchor="10"
                   AnchorPane.leftAnchor="-31.0" AnchorPane.rightAnchor="10">
            <children>
                <GridPane hgap="25.0" layoutX="13.0" layoutY="155.0" vgap="25.0" StackPane.alignment="CENTER">
                    <columnConstraints>
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0"/>
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0"/>
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0"/>
                        <ColumnConstraints hgrow="SOMETIMES" minWidth="10.0" prefWidth="100.0"/>
                    </columnConstraints>
                    <rowConstraints>
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0"
                                        valignment="CENTER" vgrow="ALWAYS"/>
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0"
                                        valignment="CENTER" vgrow="ALWAYS"/>
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0"
                                        valignment="CENTER" vgrow="ALWAYS"/>
                        <RowConstraints maxHeight="1.7976931348623157E308" minHeight="50.0" prefHeight="30.0"
                                        valignment="CENTER" vgrow="ALWAYS"/>
                    </rowConstraints>
                    <children>

                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" onAction="#loadNewScript"
                                text="New Script" GridPane.columnIndex="0" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="NEW_BOX" size="24"/>
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308" onAction="#openScript"
                                text="Open Script..." GridPane.columnIndex="1" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="CODE" size="24"/>
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadJavaProblem" text="Open Java..."
                                GridPane.columnIndex="2" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="BOOK_OPEN_VARIANT" size="24"/>
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadKeyProblem" text="Open KeY Problem"
                                GridPane.columnIndex="3" GridPane.rowIndex="0">
                            <graphic>
                                <MaterialDesignIconView glyphName="BARCODE_SCAN" size="24"/>
                            </graphic>
                        </Button>


                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308" onAction="#loadHelpPage" text="Introduction"
                                GridPane.columnIndex="3" GridPane.rowIndex="1">
                            <graphic>
                                <MaterialDesignIconView glyphName="HELP_CIRCLE" size="24"/>
                            </graphic>
                        </Button>

                        <Button contentDisplay="TOP" maxWidth="1.7976931348623157E308"
                                onAction="#loadJavaProblemWithNewScript" text="Java File with Empty Script"
                                GridPane.columnIndex="2" GridPane.rowIndex="1">
                            <graphic>
                                <MaterialDesignIconView glyphName="BOOK_OPEN" size="24"/>
                            </graphic>
                        </Button>


Sarah Grebing's avatar
Sarah Grebing committed
107 108 109 110
                        <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308"
                                maxWidth="1.7976931348623157E308"
                                onAction="#loadQuicksort" text="Quicksort Example" GridPane.columnIndex="1"
                                GridPane.rowIndex="1">
Alexander Weigl's avatar
Alexander Weigl committed
111 112 113 114 115 116 117 118 119 120 121 122
                             <graphic>
                                 <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
                             </graphic>
                         </Button>

                         <Button contentDisplay="TOP" maxHeight="1.7976931348623157E308" maxWidth="1.7976931348623157E308"
                                 onAction="#loadContraPosition" text="Contraposition"
                                 GridPane.columnIndex="0" GridPane.rowIndex="1">
                             <graphic>
                                 <MaterialDesignIconView glyphName="NEW_BOX" size="24" />
                             </graphic>
                         </Button>
Sarah Grebing's avatar
Sarah Grebing committed
123

Alexander Weigl's avatar
Alexander Weigl committed
124 125 126 127 128 129 130 131 132
                    </children>
                    <StackPane.margin>
                        <Insets bottom="10.0" left="10.0" right="10.0" top="10.0"/>
                    </StackPane.margin>
                </GridPane>
            </children>
        </StackPane>
    </children>
</fx:root>