DebuggerMain.fxml 8.45 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.formal.psdb.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.formal.psdb.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
92
93
94
                        <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}">
95
                                    <graphic>
Alexander Weigl's avatar
Alexander Weigl committed
96
                                        <MaterialDesignIconView glyphName="CURSOR_TEXT" size="24.0"/>
97
                                    </graphic>
Alexander Weigl's avatar
Alexander Weigl committed
98
                                </MenuItem>
Alexander Weigl's avatar
Alexander Weigl committed
99

Alexander Weigl's avatar
Alexander Weigl committed
100
                                <MenuItem
101
                                        text="Execute Script Stepwise"
Alexander Weigl's avatar
Alexander Weigl committed
102
103
                                        onAction="#executeInDebugMode"
                                        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

Alexander Weigl's avatar
Alexander Weigl committed
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
155
156
157
158
159
160
161
162
163
164
165
166
167
                        <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>
168
                    </items>
Alexander Weigl's avatar
Alexander Weigl committed
169
170
171
                </ToolBar>
            </children>
        </VBox>
172
    </top>
Alexander Weigl's avatar
Alexander Weigl committed
173
    <bottom>
174
        <DebuggerStatusBar fx:id="statusBar"/>
Alexander Weigl's avatar
Alexander Weigl committed
175
    </bottom>
176
</BorderPane>