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

Alexander Weigl's avatar
Alexander Weigl committed
3

alexander.weigl's avatar
alexander.weigl committed
4
<?import de.jensd.fx.glyphs.materialdesignicons.*?>
5
<?import edu.kit.formal.gui.controls.DebuggerStatusBar?>
6
<?import javafx.scene.control.*?>
7
<?import javafx.scene.input.KeyCodeCombination?>
8 9
<?import javafx.scene.layout.BorderPane?>
<?import javafx.scene.layout.VBox?>
Alexander Weigl's avatar
Alexander Weigl committed
10
<?import org.dockfx.DockPane?>
11
<BorderPane xmlns:fx="http://javafx.com/fxml/1" fx:id="rootPane" xmlns="http://javafx.com/javafx/8.0.112"
Alexander Weigl's avatar
Alexander Weigl committed
12 13
            fx:controller="edu.kit.formal.gui.controller.DebuggerMainWindowController"
            prefWidth="1024" prefHeight="640">
14
    <center>
Alexander Weigl's avatar
Alexander Weigl committed
15 16 17 18 19 20 21
        <!--  <DockStation fx:id="dockStation">

          </DockStation>-->

        <DockPane fx:id="dockStation"/>

        <!--
22 23
        <SplitPane fx:id="splitPane" dividerPositions="0.5" layoutY="29.0" prefHeight="371.0" prefWidth="600.0">
            <items>
24 25
                <VBox>
                    <children>
Alexander Weigl's avatar
Alexander Weigl committed
26 27 28 29 30

                     ScriptControllerPane fx:id="tabPane" side="left" styleClass="tab-pane"
                                       tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS"/>
                    </children>
                </VBox>
Alexander Weigl's avatar
Alexander Weigl committed
31
                <InspectionViewsController fx:id="inspectionViewsController"></InspectionViewsController>
Alexander Weigl's avatar
Alexander Weigl committed
32 33 34 35 36 37 38 39 40
            </items>
        </SplitPane>-->
    </center>
    <top>
        <VBox>
            <children>
                <MenuBar fx:id="menuBar">
                    <menus>
                        <Menu fx:id="fileMenu" text="File">
41
                            <items>
42 43
                                <MenuItem fx:id="newScriptMenuItem" onAction="#newScript" text="_New Script" accelerator="Shortcut+n"/>
                                <MenuItem fx:id="openScriptFileMenuItem" onAction="#openScript" text="_Open Script" accelerator="Shortcut+o"/>
Alexander Weigl's avatar
Alexander Weigl committed
44
                                <SeparatorMenuItem/>
45 46
                                <MenuItem fx:id="loadKeYFileMenuItem" onAction="#loadKeYFile" text="Load _KeY File" accelerator="Shortcut+Alt+o"/>
                                <MenuItem fx:id="loadJavaFileMenuItem" onAction="#loadJavaFile" text="Load _Java File" accelerator="Shortcut+Shift+o"/>
Alexander Weigl's avatar
Alexander Weigl committed
47
                                <SeparatorMenuItem/>
48 49 50 51
                                <MenuItem onAction="#saveScript" text="_Save Script" accelerator="Shortcut+s"/>
                                <MenuItem onAction="#saveAsScript" text="Save Script _As ..." accelerator="Shortcut+Shift+s"/>
                                <MenuItem onAction="#saveProof" text="_Save Proof" accelerator="Shortcut+Alt+s"/>
                                <MenuItem fx:id="closeMenuItem" onAction="#closeProgram" text="_Close" accelerator="Shortcut+q"/>
Alexander Weigl's avatar
Alexander Weigl committed
52 53 54 55 56 57 58
                            </items>
                        </Menu>
                        <Menu text="Edit">
                            <items>
                                <MenuItem text="Delete"/>
                            </items>
                        </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
59 60 61 62 63
                        <Menu text="View">
                            <items>
                                <MenuItem onAction="#showCodeDock" text="Show Java Code window"/>
                                <MenuItem onAction="#showWelcomeDock" text="Show Welcome window"/>
                                <MenuItem onAction="#showActiveInspector" text="Show Active Inspector window"/>
Alexander Weigl's avatar
Alexander Weigl committed
64
                                <MenuItem onAction="#showProofTree" text="Show Proof Tree"/>
Alexander Weigl's avatar
Alexander Weigl committed
65 66
                            </items>
                        </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
67 68 69 70 71 72 73 74 75
                        <Menu text="Help">
                            <items>
                                <MenuItem text="About"/>
                            </items>
                        </Menu>
                    </menus>
                </MenuBar>
                <ToolBar fx:id="toolbar">
                    <items>
alexander.weigl's avatar
alexander.weigl committed
76

Alexander Weigl's avatar
Alexander Weigl committed
77 78 79 80 81 82 83 84 85 86 87 88 89
                        <SplitMenuButton fx:id="buttonStartInterpreter" onAction="#executeScript"
                                         disable="${controller.executeNotPossible}">
                            <graphic>
                                <MaterialDesignIconView glyphName="PLAY" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Execute Script"/>
                            </tooltip>

                            <items>
                                <MenuItem text="Execute from Cursor"
                                          onAction="#executeScriptFromCursor"
                                          disable="${controller.executeNotPossible}">
90
                                    <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
91
                                        <MaterialDesignIconView glyphName="CURSOR_TEXT" size="24.0"/>
92
                                    </graphic>
Alexander Weigl's avatar
Alexander Weigl committed
93
                                </MenuItem>
alexander.weigl's avatar
alexander.weigl committed
94

Alexander Weigl's avatar
Alexander Weigl committed
95 96 97 98
                                <MenuItem
                                        text="Run in debug mode"
                                        onAction="#executeInDebugMode"
                                        disable="${controller.executeNotPossible}">
Sarah Grebing's avatar
Sarah Grebing committed
99
                                    <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
100
                                        <MaterialDesignIconView glyphName="PLAY_PAUSE" size="24.0"/>
Sarah Grebing's avatar
Sarah Grebing committed
101
                                    </graphic>
Alexander Weigl's avatar
Alexander Weigl committed
102 103
                                </MenuItem>
                            </items>
Sarah Grebing's avatar
Sarah Grebing committed
104

Alexander Weigl's avatar
Alexander Weigl committed
105
                        </SplitMenuButton>
Sarah Grebing's avatar
Sarah Grebing committed
106

alexander.weigl's avatar
alexander.weigl committed
107

Alexander Weigl's avatar
Alexander Weigl committed
108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154
                        <Button disable="${! controller.debugMode}">
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Into"/>
                            </tooltip>
                        </Button>

                        <Button onAction="#stepOver"
                                disable="${! controller.debugMode}">
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Over"/>
                            </tooltip>
                        </Button>

                        <Button onAction="#stepBack"
                                disable="${! controller.debugMode}">
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0" scaleX="-1"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Back"/>
                            </tooltip>
                        </Button>


                        <Button disable="${! controller.debugMode}">
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Out"/>
                            </tooltip>
                        </Button>

                        <Button onAction="#stopDebugMode" disable="${! controller.debugMode}">
                            <graphic>
                                <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Stop"/>
                            </tooltip>
                        </Button>
155
                    </items>
Alexander Weigl's avatar
Alexander Weigl committed
156 157 158
                </ToolBar>
            </children>
        </VBox>
159
    </top>
Alexander Weigl's avatar
Alexander Weigl committed
160
    <bottom>
161
        <DebuggerStatusBar fx:id="statusBar"/>
Alexander Weigl's avatar
Alexander Weigl committed
162
    </bottom>
163
</BorderPane>