DebuggerMain.fxml 9.53 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 6 7
<?import edu.kit.formal.gui.controls.DebuggerStatusBar?>
<?import edu.kit.formal.gui.controls.InspectionViewTabPane?>
<?import edu.kit.formal.gui.controls.ScriptTabPane?>
8
<?import javafx.scene.control.*?>
9 10
<?import javafx.scene.layout.BorderPane?>
<?import javafx.scene.layout.VBox?>
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>
15 16
        <SplitPane fx:id="splitPane" dividerPositions="0.5" layoutY="29.0" prefHeight="371.0" prefWidth="600.0">
            <items>
17 18 19 20
                <VBox>
                    <children>
                        <ToolBar fx:id="toolbar">
                            <items>
Alexander Weigl's avatar
Alexander Weigl committed
21

22
                                <SplitMenuButton fx:id="buttonStartInterpreter" onAction="#executeScript"
Alexander Weigl's avatar
Alexander Weigl committed
23
                                                 disable="${controller.executeNotPossible}">
24 25 26 27 28 29
                                    <graphic>
                                        <MaterialDesignIconView glyphName="PLAY" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Execute Script"/>
                                    </tooltip>
Alexander Weigl's avatar
Alexander Weigl committed
30

Alexander Weigl's avatar
Alexander Weigl committed
31 32 33 34 35 36 37 38
                                    <items>
                                        <MenuItem text="Execute from Cursor"
                                                  onAction="#executeScriptFromCursor"
                                                  disable="${controller.executeNotPossible}">
                                            <graphic>
                                                <MaterialDesignIconView glyphName="CURSOR_TEXT" size="24.0"/>
                                            </graphic>
                                        </MenuItem>
Alexander Weigl's avatar
Alexander Weigl committed
39

Alexander Weigl's avatar
Alexander Weigl committed
40 41 42 43 44 45 46 47 48 49 50
                                        <MenuItem
                                                text="Run in debug mode"
                                                onAction="#executeInDebugMode"
                                                disable="${controller.executeNotPossible}">
                                            <graphic>
                                                <MaterialDesignIconView glyphName="PLAY_PAUSE" size="24.0"/>
                                            </graphic>
                                        </MenuItem>
                                    </items>

                                </SplitMenuButton>
alexander.weigl's avatar
alexander.weigl committed
51 52


53 54 55 56
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
                                    </graphic>
Sarah Grebing's avatar
Sarah Grebing committed
57 58 59
                                    <tooltip>
                                        <Tooltip text="Step Into"/>
                                    </tooltip>
60
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
61

Alexander Weigl's avatar
Alexander Weigl committed
62 63
                                <Button onAction="#stepOver"
                                        disable="${! controller.debugMode}">
64 65 66
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
                                    </graphic>
Sarah Grebing's avatar
Sarah Grebing committed
67 68 69
                                    <tooltip>
                                        <Tooltip text="Step Over"/>
                                    </tooltip>
70
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
71

Sarah Grebing's avatar
Sarah Grebing committed
72 73 74 75 76 77 78 79 80 81 82
                                <Button onAction="#stepOver"
                                        disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0" scaleX="-1"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Step Back"/>
                                    </tooltip>
                                </Button>


83 84 85 86
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
                                    </graphic>
Sarah Grebing's avatar
Sarah Grebing committed
87 88 89
                                    <tooltip>
                                        <Tooltip text="Step Out"/>
                                    </tooltip>
90
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
91

92 93 94 95
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                                    </graphic>
Sarah Grebing's avatar
Sarah Grebing committed
96 97 98
                                    <tooltip>
                                        <Tooltip text="Stop"/>
                                    </tooltip>
99 100 101
                                </Button>
                            </items>
                        </ToolBar>
102 103
                        <ScriptTabPane fx:id="tabPane" side="left" styleClass="tab-pane"
                                       tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS"/>
104 105 106 107 108 109 110 111 112 113
                        <!--    <TabPane fx:id="tabPane" side="left" styleClass="tab-pane"
                                     tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS">
                                <tabs>
                                    <Tab fx:id="startTab" text="Untitled">
                                        <content>
                                            <ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
                                        </content>
                                    </Tab>
                                </tabs>
                            </TabPane>-->
114 115


116 117
                    </children>
                </VBox>
118 119
                <InspectionViewTabPane fx:id="inspectionViewTabPane"></InspectionViewTabPane>
                <!--<SplitPane orientation="VERTICAL" dividerPositions="0.25,0.75">
Alexander Weigl's avatar
Alexander Weigl committed
120
                    <items>
121
                       <SectionPane title="Current Goals">
122 123 124 125 126 127 128
                            <headerRight>
                                <Button onMouseClicked="#showGoalOptions">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="WRENCH"/>
                                    </graphic>
                                </Button>
                            </headerRight>
Alexander Weigl's avatar
Alexander Weigl committed
129 130 131
                            <center>
                                <ListView fx:id="goalView"/>
                            </center>
132
                        </SectionPane>
Alexander Weigl's avatar
Alexander Weigl committed
133 134

                        <SplitPane>
135 136 137
                            <padding>
                                <Insets top="5" left="5" right="5" bottom="5"/>
                            </padding>
Alexander Weigl's avatar
Alexander Weigl committed
138
                            <items>
139 140 141 142 143 144 145 146
                                <SectionPane title="Sequent">
                                    <headerRight>
                                        <Button>
                                            <graphic>
                                                <MaterialDesignIconView glyphName="WRENCH"/>
                                            </graphic>
                                        </Button>
                                    </headerRight>
Alexander Weigl's avatar
Alexander Weigl committed
147 148 149
                                    <center>
                                        <SequentView fx:id="sequentView"/>
                                    </center>
150 151
                                </SectionPane>
                                <SectionPane title="Source Code">
Alexander Weigl's avatar
Alexander Weigl committed
152 153 154
                                    <center>
                                        <JavaArea fx:id="javaSourceCode"/>
                                    </center>
155
                                </SectionPane>
Alexander Weigl's avatar
Alexander Weigl committed
156 157 158
                            </items>
                        </SplitPane>
                    </items>
159
                </SplitPane>-->
160 161
            </items>
        </SplitPane>
162 163 164
    </center>
    <top>
        <MenuBar fx:id="menuBar">
165
            <menus>
Alexander Weigl's avatar
Alexander Weigl committed
166
                <Menu fx:id="fileMenu" text="File">
167
                    <items>
168
                        <MenuItem fx:id="openScriptFileMenuItem" onAction="#openScript" text="Open Script"/>
Alexander Weigl's avatar
Alexander Weigl committed
169
                        <SeparatorMenuItem/>
170 171
                        <MenuItem fx:id="loadKeYFileMenuItem" onAction="#loadKeYFile" text="Load KeY File"/>
                        <MenuItem fx:id="loadJavaFileMenuItem" onAction="#loadJavaFile" text="Load Java File"/>
Alexander Weigl's avatar
Alexander Weigl committed
172 173 174
                        <SeparatorMenuItem/>
                        <MenuItem onAction="#saveScript" text="Save Script"/>
                        <MenuItem onAction="#saveAsScript" text="Save Script As ..."/>
Alexander Weigl's avatar
Alexander Weigl committed
175
                        <MenuItem onAction="#saveProof" text="Save Proof"/>
Alexander Weigl's avatar
Alexander Weigl committed
176
                        <MenuItem fx:id="closeMenuItem" onAction="#closeProgram" text="Close"/>
177 178
                    </items>
                </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
179
                <Menu text="Edit">
180
                    <items>
Alexander Weigl's avatar
Alexander Weigl committed
181
                        <MenuItem text="Delete"/>
182 183
                    </items>
                </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
184
                <Menu text="Help">
185
                    <items>
Alexander Weigl's avatar
Alexander Weigl committed
186
                        <MenuItem text="About"/>
187 188 189 190
                    </items>
                </Menu>
            </menus>
        </MenuBar>
191
    </top>
Alexander Weigl's avatar
Alexander Weigl committed
192
    <bottom>
193
        <DebuggerStatusBar fx:id="statusBar"/>
Alexander Weigl's avatar
Alexander Weigl committed
194
    </bottom>
195
</BorderPane>