Das ProB2 JavaFX Hauptfenster

In der Voreinstellung ist das Hauptfenster in drei vertikale Felder unterteilt (siehe unten).

• Auf der linken Seite, die Operationen-Ansicht, welche die Operationen anzeigt, deren Vor- und Schutzbedingungen in diesem Zustand wahr sind (Die Ansicht benutzt einen blauen Kreispfeil für den Fall, dass eine Operation den Zustand nicht ändert), und die Animationsansicht;
• In der Mitte
  • die Zustandsansicht, die den aktuellen Zustand der B-Maschine anzeigt und beispielsweise auflistet, welche Werte die Maschienvariablen derzeit haben,
  • die Zustandsfehleransicht, welche wohlmöglich auftretende Zustandsfehler anzeigt und
  • die Zustandsvisualisierungsansicht, die eine Visualisierung der Zustände anzeigt, falls vom Benutzer zur Verfügung gestellt;
• Im rechten Feld sind einige Unteransichten enthalten, die aktiviert werden können:
  • Der Verlauf der Operationen, die zu diesem Zustand geführt haben (Verlauf)
  • Die Projektansicht
  • Die Überprüfungsansicht
  • Die Statistikansicht

Mehr über ProB

Die ProB2 JavaFX Hauptmenüleiste

Die Menüleiste enthält die diversen Kommandos, um auf die Funktionen von ProB zuzugreifen. Sie beinhaltet die Menüs

• Datei,
• Ansicht,
• Visualisierung,
• Erweitert,
• Fenster und
• Hilfe

Das Dateiuntermenü erlaubt es ein neues Projekt anzulegen, existierende Projekte oder Maschinen zu öffnen, ein Projekt aus der Liste der zuletzt verwendete Projekte zu öffnen und/oder die Liste der zuletzt verwendeten Projekte zu löschen, das aktuelle Projekt oder die aktuelle Maschine zu speichern, die derzeitig laufende Maschine formatiert anzuzeigen oder neu zu laden oder Einstellungen zu editieren.

Dieses Untermenü erlaubt es die Schrift- und Buttongröße in dem ProB2 JavaFX UI anzupassen oder in den Fullscreen-Modus zu gehen.

Das Visualisierungsuntermenü stellt verschiedene Formen der Visualisierung zur Verfügung. Man kann eine Formel eingeben und als Graph oder Tabelle visualisieren lassen, sich das Zeitdiagramm anschauen oder einen Blick auf die Graphvisualisierung werfen.

Dieses Untermenü stellt eine Groovy-Konsole zur Verfügung und erlaubt es Plugins und eigene Visualisierungen zu verwalten.

Das Fensteruntermenü erlaubt es Perspektiven zu ändern und Komponenten abzutrennen. Dieses UI bringt 3 verschiedene voreingestellte Perspektiven. Es ist erlaubt eigene Perspektiven zu nutzen, indem man eine FXML-Datei, die die Ansichten enthält, zur Verfügung stellt, aber man sollte sich dabei bewusst sein, dass das die Fähigkeit Komponenten abzutrennen zerstören kann. Dieses Menü erlaubt es auch das ProB2UI zu schließen.

Das Hilfeuntermenü stellt Hilfe zum ProB2 JavaFX UI, Informationen zu dem ProB2 UI, dem ProB2 Kernel, dem ProB CLI und der Javaversion, die hier benutzt werden, und einen Weg, Probleme mit dem ProB2 JavaFX UI zu melden, zur Verfügung.