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

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?>
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"
12 13
            fx:controller="edu.kit.formal.gui.controller.DebuggerMainWindowController"
            prefWidth="1024" prefHeight="640">
14
    <center>
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>
26 27 28 29 30

                     ScriptControllerPane fx:id="tabPane" side="left" styleClass="tab-pane"
                                       tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS"/>
                    </children>
                </VBox>
31
                <InspectionViewsController fx:id="inspectionViewsController"></InspectionViewsController>
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"/>
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"/>
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"/>
52 53 54 55 56 57 58
                            </items>
                        </Menu>
                        <Menu text="Edit">
                            <items>
                                <MenuItem text="Delete"/>
                            </items>
                        </Menu>
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"/>
65 66
                            </items>
                        </Menu>
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

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>
91
                                        <MaterialDesignIconView glyphName="CURSOR_TEXT" size="24.0"/>
92
                                    </graphic>
93
                                </MenuItem>
alexander.weigl's avatar
alexander.weigl committed
94

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

105
                        </SplitMenuButton>
106

alexander.weigl's avatar
alexander.weigl committed
107

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>
156 157 158
                </ToolBar>
            </children>
        </VBox>
159
    </top>
160
    <bottom>
161
        <DebuggerStatusBar fx:id="statusBar"/>
162
    </bottom>
163
</BorderPane>