VariableAssignmentWindow.fxml 1.63 KB
Newer Older
Lulu Luong's avatar
Lulu Luong committed
1
2
3
4
5
<?xml version="1.0" encoding="UTF-8"?>


<?import javafx.scene.control.*?>

6
<?import javafx.scene.layout.BorderPane?>
Lulu Luong's avatar
Lulu Luong committed
7
<?import javafx.scene.layout.HBox?>
Lulu Luong's avatar
Lulu Luong committed
8
<fx:root xmlns="http://javafx.com/javafx"
Lulu Luong's avatar
#55    
Lulu Luong committed
9
         xmlns:fx="http://javafx.com/fxml"
Lulu Luong's avatar
Lulu Luong committed
10
         type="edu.kit.iti.formal.psdbg.gui.controls.VariableAssignmentWindow"
Lulu Luong's avatar
#55    
Lulu Luong committed
11
         prefHeight="400.0" prefWidth="600.0">
12
13
14
15
16
17
18
19
20
21
22
    <top>
        <BorderPane>
            <top>
                <Label text="Match Variables"></Label>
            </top>
            <center>
                <TextArea fx:id="match_variables" minHeight="0.0" minWidth="0.0" prefHeight="30.0"
                          prefWidth="639.0"
                />
            </center>
            <bottom>
Lulu Luong's avatar
Lulu Luong committed
23
24
25
26
27
28
29
                <HBox>
                    <Button mnemonicParsing="false" text="Start Matching"
                            onMouseClicked="#startMatch"/>
                    <Button mnemonicParsing="false" text="Evaluate"
                            onMouseClicked="#evaluate"/>
                </HBox>

30
31
32
33
            </bottom>
        </BorderPane>
    </top>
    <center>
34
        <TabPane fx:id="tabPane" tabClosingPolicy="UNAVAILABLE">
35
36
37
38
39
40
41
            <tabs>
                <Tab text="Script Variables">
                    <TableView fx:id="declarative_tableView"></TableView>
                </Tab>
                <Tab text="KeY Control Variables">
                    <TableView fx:id="special_tableView"></TableView>
                </Tab>
42
43
                <Tab fx:id="watchesTab" text="Watches">
                    <TableView fx:id="watches_tableView"></TableView>
Lulu Luong's avatar
Lulu Luong committed
44
                </Tab>
45
46
47
48
            </tabs>
        </TabPane>
    </center>

Lulu Luong's avatar
Lulu Luong committed
49
50

</fx:root>