Prototype with no filled view yet

keydeps/README.user

@@ -33,3 +33,7 @@ mvn install:install-file -Dfile=$COMPONENTS/../libs/recoderKey.jar\
                          -DartifactId=recoder \
                          -Dversion=2.7\
                          -Dpackaging=jar \
+
+						 
+//insgesamt efach in der Kommandozeile das eingeben
+

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/InspectionView.java

@@ -37,6 +37,7 @@ public class InspectionView extends BorderPane {
     );
 
     public GoalOptionsMenu goalOptionsMenu = new GoalOptionsMenu();
+    public SequentOptionsMenu sequentOptionsMenu = new SequentOptionsMenu();
 
     @FXML @Getter
     private ComboBox<PTreeNode<KeyData>> frames;
@@ -160,6 +161,11 @@ public class InspectionView extends BorderPane {
         goalOptionsMenu.show(n, actionEvent.getScreenX(), actionEvent.getScreenY());
     }
 
+    public void showSequentOptions(MouseEvent actionEvent) {
+        Node n = (Node) actionEvent.getTarget();
+        sequentOptionsMenu.show(n, actionEvent.getScreenX(), actionEvent.getScreenY());
+    }
+
     public InspectionModel getModel() {
         return model.get();
     }

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentMatcher.java

+package edu.kit.iti.formal.psdbg.gui.controls;
+
+import edu.kit.iti.formal.psdbg.gui.model.InspectionModel;
+import edu.kit.iti.formal.psdbg.interpreter.data.GoalNode;
+import edu.kit.iti.formal.psdbg.interpreter.data.KeyData;
+import javafx.beans.property.ReadOnlyObjectProperty;
+import javafx.beans.property.SimpleObjectProperty;
+import javafx.fxml.FXML;
+import javafx.scene.control.Button;
+import javafx.scene.control.ListView;
+import javafx.scene.layout.BorderPane;
+
+public class SequentMatcher extends BorderPane {
+
+
+    @FXML
+    private SequentView sequentView;
+
+    @FXML
+    private ListView<GoalNode<KeyData>> goalView;
+
+
+    public SequentMatcher() {
+        sequentView = new SequentView();
+
+    }
+
+    public void startMatch() {
+        System.out.println("Start Match got clicked");
+    }
+}

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentOptionsMenu.java

+package edu.kit.iti.formal.psdbg.gui.controls;
+
+import com.google.common.collect.BiMap;
+import com.google.common.collect.HashBiMap;
+import edu.kit.iti.formal.psdbg.interpreter.data.KeyData;
+import javafx.beans.property.ObjectProperty;
+import javafx.beans.property.SimpleObjectProperty;
+import javafx.event.ActionEvent;
+import javafx.event.EventHandler;
+import javafx.fxml.FXML;
+import javafx.fxml.FXMLLoader;
+import javafx.scene.Parent;
+import javafx.scene.Scene;
+import javafx.scene.control.*;
+import javafx.stage.Modality;
+import javafx.stage.Stage;
+import javafx.stage.StageStyle;
+
+import java.util.function.Function;
+
+public class SequentOptionsMenu extends ContextMenu {
+
+
+    @FXML
+    private MenuItem openSequentMatcher;
+
+
+    public SequentOptionsMenu() {
+        Utils.createWithFXML(this);
+
+        openSequentMatcher.setOnAction(new EventHandler<ActionEvent>() {
+            @Override
+            public void handle(ActionEvent event) {
+
+                //TODO: Abchecken ob überhaupt eine Sequenz vorhanden ist
+
+                try{
+                    FXMLLoader fxmlLoader = new FXMLLoader(getClass().getResource("SequentMatcher.fxml"));
+                    Parent root1 = (Parent) fxmlLoader.load();
+                    Stage stage = new Stage();
+                    stage.setTitle("Sequent Matcher");
+                    stage.setScene(new Scene(root1));
+                    stage.show();
+
+                    //TODO: probably have to add a few things here (Lulu)
+
+                } catch (Exception e){
+                    System.out.println(e);
+                }
+            }
+        });
+
+    }
+
+
+
+
+
+
+}
\ No newline at end of file

ui/src/main/java/edu/kit/iti/formal/psdbg/gui/controls/SequentView.java

@@ -134,6 +134,7 @@ public class SequentView extends CodeArea {
         filter = new IdentitySequentPrintFilter();
         filter.setSequent(sequent);
 
+
         ProgramPrinter prgPrinter = new ProgramPrinter(new StringWriter());
         this.backend = new LogicPrinter.PosTableStringBackend(80);
 

ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/InspectionView.fxml

@@ -34,7 +34,7 @@
 
                 <SectionPane title="Sequent">
                     <headerRight>
-                        <Button>
+                        <Button onMouseClicked="#showSequentOptions">
                             <graphic>
                                 <MaterialDesignIconView glyphName="WRENCH"/>
                             </graphic>

ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/SequentMatcher.fxml

+<?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>

ui/src/main/resources/edu/kit/iti/formal/psdbg/gui/controls/SequentOptionsMenu.fxml

+<?xml version="1.0" encoding="UTF-8"?>
+
+<?import javafx.scene.control.*?>
+<fx:root xmlns="http://javafx.com/javafx"
+         xmlns:fx="http://javafx.com/fxml"
+         prefHeight="400.0" prefWidth="600.0" type="javafx.scene.control.ContextMenu">
+    <items>
+        <MenuItem fx:id="openSequentMatcher" text="Open Sequent Matcher"/>
+    </items>
+</fx:root>
\ No newline at end of file