No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
* Version 1. | * Version 1.1.0 and current snapshots of this new UI is available at [https://www3.hhu.de/stups/downloads/prob2/ https://www3.hhu.de/stups/downloads/prob2/] or [https://github.com/hhu-stups/prob2_ui https://github.com/hhu-stups/prob2_ui]. | ||
* The sources are available at [https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_ui https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_ui]. You can also start the application from source using the Gradle run task (./gradlew run on Linux/macOS/etc., gradlew.bat --exclude-task createHelp run on Windows). | * The sources are available at [https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_ui https://gitlab.cs.uni-duesseldorf.de/stups/prob/prob2_ui]. You can also start the application from source using the Gradle run task (./gradlew run on Linux/macOS/etc., gradlew.bat --exclude-task createHelp run on Windows). | ||
Compared to the original UI based on Tcl/Tk, this new UI has some unique new features: | Compared to the original UI based on Tcl/Tk, this new UI has some unique new features: | ||
* Visualisation of models using the SVG-based plugin VisB | |||
* Projects which store formal models and ProB preferences | * Projects which store formal models and ProB preferences | ||
* Managing and storing multiple trace files for a model, being able to replay all traces | * Managing and storing multiple trace files for a model, being able to replay all traces | ||
Line 10: | Line 11: | ||
* Visualization based on SVG graphics | * Visualization based on SVG graphics | ||
* A view for managing LTL formulas for a model | * A view for managing LTL formulas for a model | ||
* Load Rodin models from Rodin workspaces (without having to export them within Rodin) | |||
== The ProB2 JavaFX Main Window == | == The ProB2 JavaFX Main Window == |
Compared to the original UI based on Tcl/Tk, this new UI has some unique new features:
By default the main window is split into three vertical panes (see below).
The menu bar contains the various commands to access the features of ProB. It includes the menus
The File submenu allows you to create a new Project, open an existing project or a machine, open recent projects shown as list and/or clear the list of recent projects, close the ProB2 JavaFX UI, save your project or reload the currently running machine.
The Edit submenu provides two ways to edit the current machine (either in the editor provided by the ProB2 JavaFX UI or in the your operating systems standard editor) and allows to edit your general and global preferences by opening a seperate window.
Here you can add formulas for visualization and open the history chart window.
This submenu leads to two consoles, one Groovy, one B.
The Perspectives submenu allows you to change the appearance of the main view. The default view is shown at the top and two additional perspectives (Seperated History and Seperated History and Statistics) are preset. By Detach Components the view can be shown in seperate windows. Load allows you to make your own perspective by providing an FXML file containing the views but be aware that this might ruin the ability to detach components.
This submenu allows you to adjust font and button size in the ProB2 JavaFX UI.
The Help submenu provides you with help about the ProB2 JavaFX UI, information about the ProB2 UI, ProB2 kernel, ProB CLI and Java version used here and a way to report issues regarding the ProB2 JavaFX UI.