SequentMatcher.fxml 2.75 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
<?xml version="1.0" encoding="UTF-8"?>

<?import edu.kit.iti.formal.psdbg.gui.controls.SequentView?>
<?import javafx.geometry.Insets?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.Label?>
<?import javafx.scene.control.ListView?>
<?import javafx.scene.control.SplitPane?>
<?import javafx.scene.control.TextArea?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.BorderPane?>
<?import javafx.scene.layout.VBox?>

<BorderPane prefHeight="600" prefWidth="1200" xmlns="http://javafx.com/javafx/8.0.121" xmlns:fx="http://javafx.com/fxml/1" fx:controller="edu.kit.iti.formal.psdbg.gui.controls.SequentMatcher">
    <center>
            <SplitPane dividerPositions="0.4189895470383275" prefHeight="625.0" prefWidth="800">
              <items>
            <VBox prefHeight="200.0" prefWidth="100.0">
               <children>
                  <Label text="Sequent" />
                      <SequentView minHeight="0.0" minWidth="0.0" prefHeight="633.0" prefWidth="341.0" />
               </children>
            </VBox>
                <AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="348.0" prefWidth="814.0">
                     <children>
                        <SplitPane dividerPositions="0.28551136363636365" layoutX="11.0" layoutY="12.0" orientation="VERTICAL" prefHeight="706.0" prefWidth="641.0">
                          <items>
                        <VBox prefHeight="293.0" prefWidth="639.0">
                           <children>
                              <Label text="Matching Pattern" />
                                  <TextArea minHeight="0.0" minWidth="0.0" prefHeight="159.0" prefWidth="639.0" text="Geben Sie hier Ihr Matching Pattern ein ... " />
                              <Button mnemonicParsing="false" text="Start Matching" onMouseClicked = "#startMatch" />
                           </children>
                        </VBox>
                        <VBox prefHeight="349.0" prefWidth="664.0">
                           <children>
                              <Label text="Matches" />
                           </children>
                        </VBox>
                          </items>
                        </SplitPane>
                     </children>
                  </AnchorPane>
              </items>
            </SplitPane>
    </center>
    <top>
        <VBox prefHeight="218.0" prefWidth="1150.0">
            <Label id="title" alignment="CENTER" contentDisplay="TOP" prefHeight="0.0" prefWidth="107.0" style="-fx-font-weight: bold; -fx-font-size: 110%;" text="Sequent Matcher" />
         <Label text="Goal List" />
            <ListView id="goalView" />
        </VBox>
        
    </top>
    <padding>
        <Insets bottom="25.0" left="25.0" right="25.0" top="25.0" />
    </padding>

    </BorderPane>