Skip to content

GitLab

Commit 96c6bdc4 authored by Joachim Müssig's avatar Joachim Müssig
Browse files
Options

change violation information display

parent 4d0e0a18
Hide whitespace changes
Inline Side-by-side
Showing with 61 additions and 72 deletions
src/gui/MainWindowFXMLDoc.fxml
View file @ 96c6bdc4
<?xml version="1.0" encoding="UTF-8"?>
<?import javafx.scene.control.Accordion?>
<?import javafx.scene.control.Button?>
<?import javafx.scene.control.ButtonBar?>
<?import javafx.scene.control.CheckMenuItem?>
......@@ -10,8 +11,7 @@
<?import javafx.scene.control.MenuItem?>
<?import javafx.scene.control.ProgressIndicator?>
<?import javafx.scene.control.SplitPane?>
<?import javafx.scene.control.Tab?>
<?import javafx.scene.control.TabPane?>
<?import javafx.scene.control.TitledPane?>
<?import javafx.scene.input.KeyCodeCombination?>
<?import javafx.scene.layout.AnchorPane?>
<?import javafx.scene.layout.ColumnConstraints?>
......@@ -22,7 +22,7 @@
<children>
<SplitPane dividerPositions="0.13377926421404682" layoutX="475.0" layoutY="120.0" orientation="VERTICAL" prefHeight="200.0" prefWidth="160.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="25.0">
<items>
<AnchorPane fx:id="anchorPaneBasicInfo" minHeight="0.0" minWidth="0.0" prefHeight="100.0" prefWidth="160.0">
<AnchorPane fx:id="anchorPaneBasicInfo" minHeight="0.0" minWidth="0.0" prefHeight="100.0" prefWidth="160.0" SplitPane.resizableWithParent="false">
<children>
<GridPane layoutX="140.0" layoutY="42.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<columnConstraints>
......@@ -85,82 +85,71 @@
<children>
<SplitPane dividerPositions="0.4085106382978723" layoutX="320.0" layoutY="113.0" orientation="VERTICAL" prefHeight="200.0" prefWidth="160.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<items>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="100.0" prefWidth="643.0">
<AnchorPane minHeight="0.0" minWidth="0.0">
<children>
<AnchorPane prefHeight="205.0" prefWidth="797.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<children>
<TabPane accessibleRole="COMBO_BOX" prefHeight="205.0" prefWidth="772.0" tabClosingPolicy="UNAVAILABLE" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<tabs>
<Tab text="Unchecked Violations Chops">
<content>
<AnchorPane minHeight="0.0" minWidth="0.0">
<children>
<SplitPane dividerPositions="0.5952080706179067" prefHeight="160.0" prefWidth="200.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<items>
<AnchorPane prefHeight="170.0" prefWidth="250.0">
<SplitPane dividerPositions="0.5952080706179067, 0.5" prefHeight="160.0" prefWidth="200.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<items>
<AnchorPane prefHeight="203.0" prefWidth="383.0">
<children>
<ListView fx:id="listViewUncheckedChops" layoutX="-51.0" layoutY="32.0" minWidth="-Infinity" prefHeight="173.0" prefWidth="328.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
<Label text="Violation to check" />
</children>
</AnchorPane>
<AnchorPane minHeight="0.0" minWidth="265.0" prefHeight="203.0" prefWidth="265.0">
<children>
<ListView fx:id="listViewUncheckedEdges" layoutY="30.0" prefHeight="173.0" prefWidth="249.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
<Label text="Summary Edges" AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0" />
</children>
</AnchorPane>
<AnchorPane minWidth="-Infinity" prefHeight="203.0" prefWidth="82.0">
<children>
<Accordion prefHeight="203.0" prefWidth="259.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<panes>
<TitledPane animated="false" text="Loops in Method">
<content>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="180.0" prefWidth="200.0">
<children>
<AnchorPane layoutX="0.40000000000000036" layoutY="-4.6" minHeight="0.0" minWidth="0.0" prefHeight="133.0" prefWidth="260.0" AnchorPane.bottomAnchor="-14.0" AnchorPane.leftAnchor="-10.0" AnchorPane.rightAnchor="-10.0" AnchorPane.topAnchor="-13.0">
<children>
<ListView fx:id="listViewUncheckedChops" layoutY="32.0" prefHeight="140.0" prefWidth="250.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="-3.0" AnchorPane.topAnchor="30.0" />
<Label text="Violation to check" />
<ListView fx:id="listViewLoopsOfSE" layoutX="-2.0" layoutY="-4.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="-3.0" AnchorPane.topAnchor="0.0" />
</children>
</AnchorPane>
<SplitPane dividerPositions="0.5" prefHeight="200.0" prefWidth="200.0">
<items>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="170.0" prefWidth="0.0">
<children>
<ListView fx:id="listViewUncheckedEdges" prefHeight="200.0" prefWidth="73.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
<Label text="Summary Edges" AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0" />
</children>
</AnchorPane>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="169.0" prefWidth="132.0">
<children>
<Label text="Formal In/Out Pairs" AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0" />
<ListView fx:id="listViewFormalInoutPairs" layoutX="-13.0" layoutY="-24.0" prefHeight="140.0" prefWidth="323.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="-13.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
</children>
</AnchorPane>
</items>
</SplitPane>
</items>
</SplitPane>
</children>
</AnchorPane>
</content>
</Tab>
<Tab text="Currently Not Disproven Summary Edges">
<content>
<AnchorPane minHeight="0.0" minWidth="0.0">
<children>
<SplitPane AnchorPane.bottomAnchor="-6.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<items>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="137.0" prefWidth="462.0">
</children>
</AnchorPane>
</content>
</TitledPane>
<TitledPane animated="false" text="Called Methods in Current Method">
<content>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="180.0" prefWidth="200.0">
<children>
<AnchorPane layoutX="10.4" layoutY="9.4" minHeight="0.0" minWidth="0.0" prefHeight="129.0" prefWidth="260.0" AnchorPane.bottomAnchor="-3.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="-1.0">
<children>
<SplitPane dividerPositions="0.5" layoutX="54.0" prefHeight="160.0" prefWidth="200.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="0.0">
<items>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="160.0" prefWidth="115.0">
<children>
<ListView fx:id="listViewLoopsOfSE" layoutX="-56.0" layoutY="14.0" prefHeight="200.0" prefWidth="200.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
<Label layoutX="7.0" layoutY="6.0" text="Loops in Method" AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0" />
</children>
</AnchorPane>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="160.0" prefWidth="100.0">
<children>
<ListView fx:id="listViewCalledMethodsOfSE" layoutX="14.0" layoutY="-34.0" prefHeight="200.0" prefWidth="200.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="0.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="30.0" />
<Label layoutX="28.0" layoutY="6.0" text="Called Methods in Current Method" AnchorPane.leftAnchor="0.0" AnchorPane.topAnchor="0.0" />
</children>
</AnchorPane>
</items>
</SplitPane>
<ListView fx:id="listViewCalledMethodsOfSE" layoutX="-12.0" layoutY="-8.0" AnchorPane.bottomAnchor="-10.0" AnchorPane.leftAnchor="-12.0" AnchorPane.rightAnchor="-11.0" AnchorPane.topAnchor="-8.0" />
</children>
</AnchorPane>
</items>
</SplitPane>
</children>
</AnchorPane>
</content>
</Tab>
</tabs>
</TabPane>
</children>
</AnchorPane>
</children>
</AnchorPane>
</content>
</TitledPane>
<TitledPane animated="false" text="Formal In/Out Pairs">
<content>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="124.0" prefWidth="176.0">
<children>
<AnchorPane layoutX="8.4" layoutY="9.4" prefHeight="137.0" prefWidth="189.0" AnchorPane.bottomAnchor="-12.0" AnchorPane.leftAnchor="-2.0" AnchorPane.rightAnchor="-11.0" AnchorPane.topAnchor="-1.0">
<children>
<ListView fx:id="listViewFormalInoutPairs" layoutX="-10.0" layoutY="-9.0" AnchorPane.bottomAnchor="0.0" AnchorPane.leftAnchor="-10.0" AnchorPane.rightAnchor="0.0" AnchorPane.topAnchor="-9.0" />
</children>
</AnchorPane>
</children>
</AnchorPane>
</content>
</TitledPane>
</panes>
</Accordion>
</children>
</AnchorPane>
</items>
</SplitPane>
</children>
</AnchorPane>
<AnchorPane minHeight="0.0" minWidth="0.0" prefHeight="100.0" prefWidth="160.0">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment