... | ... | @@ -4,9 +4,73 @@ Gryphon provides a stand-alone Python GUI interface for viewing graphs created u |
|
|
Please see [Installing MP Gryphon](Installing MP Gryphon).
|
|
|
|
|
|
# Example screenshot
|
|
|
Here is an example screenshot of the Gryphon GUI showing some of the views generated from [`martian_lander.mp`](https://gitlab.nps.edu/monterey-phoenix/mp-model-collection/preloaded-examples/-/blob/master/models/Application_examples/Martian_Lander.mp) MP code provided in the preloaded examples but with line `SHOW ACTIVITY DIAGRAM Landing;` added to the bottom to additionally show the activity diagram:
|
|
|
Here is an example screenshot of the Gryphon GUI showing trace 2 of preloaded example `Example03_ATMWithdrawal_BehaviorOfEnvironment.mp`, with regions of the screen identified using circled numbers:
|
|
|
|
|
|
![example main window](screenshots/main_window.png)
|
|
|
|
|
|
Regions:
|
|
|
1. Main menu
|
|
|
1. Toolbar
|
|
|
1. Code editor
|
|
|
1. Main graph
|
|
|
1. Navigation column
|
|
|
1. Action log
|
|
|
1. Action status
|
|
|
|
|
|
## Main Menu
|
|
|
Here is a brief summary of main menus:
|
|
|
* File:
|
|
|
* Open and save .mp files
|
|
|
* Open preloaded examples, search for .mp code by filename or by text within files
|
|
|
* Take session .gry snapshots, restore snapshots
|
|
|
* Import and export .gry sessions for backup, sharing, and transport
|
|
|
* Export graph views for publication
|
|
|
* Edit:
|
|
|
* Undo/redo, cut, copy, paste
|
|
|
* Find and replace
|
|
|
* Search for .mp code in other files
|
|
|
* Spellcheck management
|
|
|
* Actions:
|
|
|
* Show model statistics of the last run of the trace generator
|
|
|
* Settings:
|
|
|
* Control visibility of Type 1 probability
|
|
|
* Theme management:
|
|
|
* Preset themes
|
|
|
* Custom themes
|
|
|
* Export/import of colors or colors plus graph layout settings
|
|
|
* Code editor:
|
|
|
* Spellcheck management
|
|
|
* Line mode for managing word wrap
|
|
|
* Control whether to use auto-indent
|
|
|
* Control use of split screen editing
|
|
|
* Graph pane:
|
|
|
* Undo/redo move
|
|
|
* Zoom control
|
|
|
* Management of border and hidden components
|
|
|
* Navigation pane
|
|
|
* Scroll mode
|
|
|
* Reset GUI preferences to default values
|
|
|
* Allow ignoring model statistics warnings
|
|
|
* Gryphon configuration (for special circumstances; please leave these alone)
|
|
|
|
|
|
* Help:
|
|
|
* About Gryphon
|
|
|
* Keyboard shortcuts
|
|
|
* Online documentation
|
|
|
* Reporting issues
|
|
|
|
|
|
## Toolbar
|
|
|
* .mp file shortcuts: Open, save
|
|
|
* Trace generator management: Run, scope selection
|
|
|
* Event visibility management:
|
|
|
* Showing hidden events
|
|
|
* Collapsing/expanding Root and Composite events
|
|
|
* Managing opacity of hidden and collapsed events
|
|
|
* Zoom controls
|
|
|
* Selection of dark/light mode
|
|
|
|
|
|
## Code editor
|
|
|
|
|
|
![example_gryphon2](uploads/ec88a9ead6f10b8b27ef22bc221d2ff2/example_gryphon2.png)
|
|
|
|
|
|
# Example usage
|
|
|
Click on the Open button ![open](uploads/437f889fb210721f15868fb75a819c36/open.png) and under Open Example | Preloaded Examples select one of the examples, for example select Example 5 Car Race. Choose Scope one ![scope1](uploads/7dc51f4e8ba41eb1b1b823250e7bbaf5/scope1.png) to bound the scope of trace generation to one, then click Run ![run2](uploads/8d790e2f0894a8222f1d96b5014a31a9/run2.png). The MP code text is shown on the left, the selected trace is shown in the middle, and the list of generated traces along with any global view is shown on the right. From here, browse through, sort, and filter generated traces. Click on items in the main graph. Try out the toolbar and menu options. Modify the MP code and re-run the trace generator. Click Help menu ![help_menu](uploads/5c83ade4ce54fb5a6f93f7eee581418a/help_menu.png) for more information.
|
... | ... | |