DebuggerMain.fxml 5.48 KB
Newer Older
1 2
<?xml version="1.0" encoding="UTF-8"?>

alexander.weigl's avatar
alexander.weigl committed
3
<?import de.jensd.fx.glyphs.materialdesignicons.*?>
4 5 6 7
<?import edu.kit.formal.gui.controls.ScriptArea?>
<?import edu.kit.formal.gui.controls.JavaArea?>
<?import edu.kit.formal.gui.controls.SequentView?>
<?import javafx.geometry.Insets?>
8 9
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
alexander.weigl's avatar
alexander.weigl committed
10 11


12 13 14
<BorderPane fx:id="rootPane" xmlns="http://javafx.com/javafx/8.0.112" xmlns:fx="http://javafx.com/fxml/1"
            fx:controller="edu.kit.formal.gui.controller.DebuggerMainWindowController">
    <center>
15 16
        <SplitPane fx:id="splitPane" dividerPositions="0.5" layoutY="29.0" prefHeight="371.0" prefWidth="600.0">
            <items>
17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36
                <VBox>
                    <children>
                        <ToolBar fx:id="toolbar">
                            <items>
                                <Button fx:id="buttonStartInterpreter" onAction="#executeScript">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="PLAY" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Execute Script"/>
                                    </tooltip>
                                </Button>
                                <Button fx:id="startDebugMode" onAction="#changeToDebugMode">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="PLAY_PAUSE" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Change to Debug Mode"/>
                                    </tooltip>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
37

38
                                <Separator/>
alexander.weigl's avatar
alexander.weigl committed
39

40 41 42 43 44
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
45

46 47 48 49 50
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
51

52 53 54 55 56
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
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
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                                    </graphic>
                                </Button>
                            </items>
                        </ToolBar>
                        <ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
                    </children>
                </VBox>
                <BorderPane SplitPane.resizableWithParent="true">
                    <center>
                        <Accordion>
                            <padding>
                                <Insets top="5" left="5" right="5" bottom="5"/>
                            </padding>
                            <panes>
                                <TitledPane text="Current Goals:" VBox.vgrow="ALWAYS">
                                    <ListView fx:id="goalView" VBox.vgrow="ALWAYS"/>
                                </TitledPane>
                                <TitledPane text="Sequent">
                                    <SequentView fx:id="sequentView" VBox.vgrow="ALWAYS"/>
                                </TitledPane>
                                <TitledPane text="Source Code">
                                    <JavaArea fx:id="javaSourceCode"/>
                                </TitledPane>
                            </panes>
                        </Accordion>
                    </center>
                </BorderPane>
88 89
            </items>
        </SplitPane>
90 91 92
    </center>
    <top>
        <MenuBar fx:id="menuBar">
93 94 95
            <menus>
                <Menu fx:id="fileMenu" mnemonicParsing="false" text="File">
                    <items>
96 97 98
                        <MenuItem fx:id="openScriptFileMenuItem" onAction="#openScript" text="Open Script"/>
                        <MenuItem fx:id="loadKeYFileMenuItem" onAction="#loadKeYFile" text="Load KeY File"/>
                        <MenuItem fx:id="loadJavaFileMenuItem" onAction="#loadJavaFile" text="Load Java File"/>
99

100 101 102 103 104 105 106 107 108 109 110 111 112 113 114
                        <MenuItem fx:id="closeMenuItem" mnemonicParsing="false" onAction="#closeProgram" text="Close"/>
                    </items>
                </Menu>
                <Menu mnemonicParsing="false" text="Edit">
                    <items>
                        <MenuItem mnemonicParsing="false" text="Delete"/>
                    </items>
                </Menu>
                <Menu mnemonicParsing="false" text="Help">
                    <items>
                        <MenuItem mnemonicParsing="false" text="About"/>
                    </items>
                </Menu>
            </menus>
        </MenuBar>
115 116
    </top>
</BorderPane>