DebuggerMain.fxml 9.49 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.*?>
6
<?import javafx.geometry.Insets?>
7
8
<?import javafx.scene.control.*?>
<?import javafx.scene.layout.*?>
9
<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
10
11
            fx:controller="edu.kit.formal.gui.controller.DebuggerMainWindowController"
            prefWidth="1024" prefHeight="640">
12
    <center>
13
14
        <SplitPane fx:id="splitPane" dividerPositions="0.5" layoutY="29.0" prefHeight="371.0" prefWidth="600.0">
            <items>
15
16
17
18
                <VBox>
                    <children>
                        <ToolBar fx:id="toolbar">
                            <items>
Alexander Weigl's avatar
Alexander Weigl committed
19
20
                                <Button fx:id="buttonStartInterpreter" onAction="#executeScript"
                                        disable="${controller.executeNotPossible}">
21
22
23
24
25
26
27
                                    <graphic>
                                        <MaterialDesignIconView glyphName="PLAY" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Execute Script"/>
                                    </tooltip>
                                </Button>
Alexander Weigl's avatar
Alexander Weigl committed
28
29
30
31
32
33
34
35
36
37
38
39
40

                                <Button fx:id="btnExecuteFromCursor" onAction="#executeScriptFromCursor"
                                        disable="${controller.executeNotPossible}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="CURSOR_TEXT" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Execute from Cursor"/>
                                    </tooltip>
                                </Button>

                                <Button fx:id="startDebugMode" onAction="#executeInDebugMode"
                                        disable="${controller.executeNotPossible}">
41
42
43
44
45
46
47
                                    <graphic>
                                        <MaterialDesignIconView glyphName="PLAY_PAUSE" size="24.0"/>
                                    </graphic>
                                    <tooltip>
                                        <Tooltip text="Change to Debug Mode"/>
                                    </tooltip>
                                </Button>
Alexander Weigl's avatar
Alexander Weigl committed
48

49
                                <Separator/>
Alexander Weigl's avatar
Alexander Weigl committed
50

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

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

Sarah Grebing's avatar
Sarah Grebing committed
70
71
72
73
74
75
76
77
78
79
80
                                <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>


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

90
91
92
93
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                                    </graphic>
Sarah Grebing's avatar
Sarah Grebing committed
94
95
96
                                    <tooltip>
                                        <Tooltip text="Stop"/>
                                    </tooltip>
97
98
99
                                </Button>
                            </items>
                        </ToolBar>
100
101
102
103
104
105
106
107
108
109
110
111
                        <ScriptTabsController fx:id="tabPane" side="left" styleClass="tab-pane"
                                              tabClosingPolicy="SELECTED_TAB" VBox.vgrow="ALWAYS"/>
                        <!--    <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>-->
112
113


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

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