DebuggerMain.fxml 8.51 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.*?>
Alexander Weigl's avatar
Alexander Weigl committed
5
<?import edu.kit.iti.formal.psdbg.gui.controls.DebuggerStatusBar?>
6
<?import javafx.scene.control.*?>
7
8
<?import javafx.scene.layout.BorderPane?>
<?import javafx.scene.layout.VBox?>
Alexander Weigl's avatar
Alexander Weigl committed
9
<?import org.dockfx.DockPane?>
10
<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
11
            fx:controller="edu.kit.iti.formal.psdbg.gui.controller.DebuggerMain"
Alexander Weigl's avatar
Alexander Weigl committed
12
            prefWidth="1024" prefHeight="640">
13
    <center>
Alexander Weigl's avatar
Alexander Weigl committed
14
15
16
17
18
19
20
        <!--  <DockStation fx:id="dockStation">

          </DockStation>-->

        <DockPane fx:id="dockStation"/>

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

                     ScriptControllerPane fx:id="tabPane" side="left" styleClass="tab-pane"
                                       tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS"/>
                    </children>
                </VBox>
Alexander Weigl's avatar
Alexander Weigl committed
30
                <InspectionViewsController fx:id="inspectionViewsController"></InspectionViewsController>
Alexander Weigl's avatar
Alexander Weigl committed
31
32
33
34
35
36
37
38
39
            </items>
        </SplitPane>-->
    </center>
    <top>
        <VBox>
            <children>
                <MenuBar fx:id="menuBar">
                    <menus>
                        <Menu fx:id="fileMenu" text="File">
40
                            <items>
41
42
                                <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
43
                                <SeparatorMenuItem/>
44
45
                                <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
46
                                <SeparatorMenuItem/>
47
48
49
50
                                <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
51
52
53
54
55
56
57
                            </items>
                        </Menu>
                        <Menu text="Edit">
                            <items>
                                <MenuItem text="Delete"/>
                            </items>
                        </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
58
59
60
61
62
                        <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
63
                                <MenuItem onAction="#showProofTree" text="Show Proof Tree"/>
64
                                <MenuItem onAction="#showCommandHelp" text="Show Command Help"/>
Alexander Weigl's avatar
Alexander Weigl committed
65
66
                            </items>
                        </Menu>
67
68
69
70
71
                        <Menu fx:id="examplesMenu" text="Examples">
                            <items>
                                <MenuItem text="Examples not loaded" disable="true"/>
                            </items>
                        </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
72
73
74
75
76
77
78
79
80
                        <Menu text="Help">
                            <items>
                                <MenuItem text="About"/>
                            </items>
                        </Menu>
                    </menus>
                </MenuBar>
                <ToolBar fx:id="toolbar">
                    <items>
Alexander Weigl's avatar
Alexander Weigl committed
81

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

                            <items>
92
93
94
95
96
97
98
                                <!-- <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
99

Alexander Weigl's avatar
Alexander Weigl committed
100
                                <MenuItem
101
                                        text="Execute Script Stepwise From Start"
102
                                        onAction="#executeStepwise"
Alexander Weigl's avatar
Alexander Weigl committed
103
                                        disable="${controller.executeNotPossible}">
Sarah Grebing's avatar
Sarah Grebing committed
104
                                    <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
105
                                        <MaterialDesignIconView glyphName="PLAY_PAUSE" size="24.0"/>
Sarah Grebing's avatar
Sarah Grebing committed
106
                                    </graphic>
Alexander Weigl's avatar
Alexander Weigl committed
107
                                </MenuItem>
108
109
110
111
112
113
114
115
                                <MenuItem
                                        text="Run to Breakpoint"
                                        onAction="#executeToBreakpoint"
                                        disable="${controller.executeNotPossible}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="FAST_FORWARD" size="24.0"/>
                                    </graphic>
                                </MenuItem>
Alexander Weigl's avatar
Alexander Weigl committed
116
                            </items>
Sarah Grebing's avatar
Sarah Grebing committed
117

Alexander Weigl's avatar
Alexander Weigl committed
118
                        </SplitMenuButton>
Sarah Grebing's avatar
Sarah Grebing committed
119

Alexander Weigl's avatar
Alexander Weigl committed
120

121
                        <Button disable="${controller.stepNotPossible}">
Alexander Weigl's avatar
Alexander Weigl committed
122
123
124
125
126
127
128
129
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Into"/>
                            </tooltip>
                        </Button>

130
                        <Button onAction="#stepOver" disable="${controller.stepNotPossible}">
Alexander Weigl's avatar
Alexander Weigl committed
131
132
133
134
135
136
137
138
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Over"/>
                            </tooltip>
                        </Button>

139
                        <Button onAction="#stepBack" disable="${controller.stepNotPossible}">
Alexander Weigl's avatar
Alexander Weigl committed
140
141
142
143
144
145
146
147
148
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0" scaleX="-1"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Back"/>
                            </tooltip>
                        </Button>


149
                        <Button disable="${controller.stepNotPossible}">
Alexander Weigl's avatar
Alexander Weigl committed
150
151
152
153
154
155
156
157
                            <graphic>
                                <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Step Out"/>
                            </tooltip>
                        </Button>

158
                        <Button onAction="#stopDebugMode" disable="${controller.stepNotPossible}">
Sarah Grebing's avatar
Sarah Grebing committed
159
                            <!--disable="${! controller.debugMode}"-->
Alexander Weigl's avatar
Alexander Weigl committed
160
161
162
163
164
165
                            <graphic>
                                <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                            </graphic>
                            <tooltip>
                                <Tooltip text="Stop"/>
                            </tooltip>
Sarah Grebing's avatar
Sarah Grebing committed
166
                        </Button>
167
                    </items>
Alexander Weigl's avatar
Alexander Weigl committed
168
169
170
                </ToolBar>
            </children>
        </VBox>
171
    </top>
Alexander Weigl's avatar
Alexander Weigl committed
172
    <bottom>
173
        <DebuggerStatusBar fx:id="statusBar"/>
Alexander Weigl's avatar
Alexander Weigl committed
174
    </bottom>
175
</BorderPane>