DebuggerMain.fxml 7.61 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 fx:id="rootPane" xmlns="http://javafx.com/javafx/8.0.112" xmlns:fx="http://javafx.com/fxml/1"
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
55
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_INTO" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
56

Alexander Weigl's avatar
Alexander Weigl committed
57
58
                                <Button onAction="#stepOver"
                                        disable="${! controller.debugMode}">
59
60
61
62
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OVER" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
63

64
65
66
67
68
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="DEBUG_STEP_OUT" size="24.0"/>
                                    </graphic>
                                </Button>
alexander.weigl's avatar
alexander.weigl committed
69

70
71
72
73
74
75
76
77
78
79
                                <Button disable="${! controller.debugMode}">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="STOP" size="24.0"/>
                                    </graphic>
                                </Button>
                            </items>
                        </ToolBar>
                        <ScriptArea fx:id="scriptArea" VBox.vgrow="ALWAYS"/>
                    </children>
                </VBox>
Alexander Weigl's avatar
Alexander Weigl committed
80
81
                <SplitPane orientation="VERTICAL" dividerPositions="0.25,0.75">
                    <items>
82
83
84
85
86
87
88
89
                        <SectionPane title="Current Goals">
                            <headerRight>
                                <Button onMouseClicked="#showGoalOptions">
                                    <graphic>
                                        <MaterialDesignIconView glyphName="WRENCH"/>
                                    </graphic>
                                </Button>
                            </headerRight>
Alexander Weigl's avatar
Alexander Weigl committed
90
91
92
                            <center>
                                <ListView fx:id="goalView"/>
                            </center>
93
                        </SectionPane>
Alexander Weigl's avatar
Alexander Weigl committed
94
95

                        <SplitPane>
96
97
98
                            <padding>
                                <Insets top="5" left="5" right="5" bottom="5"/>
                            </padding>
Alexander Weigl's avatar
Alexander Weigl committed
99
                            <items>
100
101
102
103
104
105
106
107
                                <SectionPane title="Sequent">
                                    <headerRight>
                                        <Button>
                                            <graphic>
                                                <MaterialDesignIconView glyphName="WRENCH"/>
                                            </graphic>
                                        </Button>
                                    </headerRight>
Alexander Weigl's avatar
Alexander Weigl committed
108
109
110
                                    <center>
                                        <SequentView fx:id="sequentView"/>
                                    </center>
111
112
                                </SectionPane>
                                <SectionPane title="Source Code">
Alexander Weigl's avatar
Alexander Weigl committed
113
114
115
                                    <center>
                                        <JavaArea fx:id="javaSourceCode"/>
                                    </center>
116
                                </SectionPane>
Alexander Weigl's avatar
Alexander Weigl committed
117
118
119
120
                            </items>
                        </SplitPane>
                    </items>
                </SplitPane>
121
122
            </items>
        </SplitPane>
123
124
125
    </center>
    <top>
        <MenuBar fx:id="menuBar">
126
            <menus>
Alexander Weigl's avatar
Alexander Weigl committed
127
                <Menu fx:id="fileMenu" text="File">
128
                    <items>
129
                        <MenuItem fx:id="openScriptFileMenuItem" onAction="#openScript" text="Open Script"/>
Alexander Weigl's avatar
Alexander Weigl committed
130
                        <SeparatorMenuItem/>
131
132
                        <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
133
134
135
136
137
                        <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"/>
138
139
                    </items>
                </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
140
                <Menu text="Edit">
141
                    <items>
Alexander Weigl's avatar
Alexander Weigl committed
142
                        <MenuItem text="Delete"/>
143
144
                    </items>
                </Menu>
Alexander Weigl's avatar
Alexander Weigl committed
145
                <Menu text="Help">
146
                    <items>
Alexander Weigl's avatar
Alexander Weigl committed
147
                        <MenuItem text="About"/>
148
149
150
151
                    </items>
                </Menu>
            </menus>
        </MenuBar>
152
    </top>
Alexander Weigl's avatar
Alexander Weigl committed
153
154
155
156
157
158
159
160
161
    <bottom>
        <HBox>
            <Label fx:id="lblStatusMessage" HBox.hgrow="ALWAYS"/>
            <Separator/>
            <Label fx:id="lblCurrentNodes"/>
            <Separator/>
            <Label fx:id="lblFilename"/>
        </HBox>
    </bottom>
162
</BorderPane>