... | ... | @@ -3,6 +3,9 @@ Gryphon provides a Python GUI interface for viewing graphs created using the Mon |
|
|
* Gryphon runs as a stand-alone application along with the trace generator and does not access the Internet. Firebird runs in the Browser and requires the Server to run the trace-generator.
|
|
|
* Each may have some differences in features and appearance.
|
|
|
|
|
|
# Installing MP Gryphon
|
|
|
Please see [Installing MP Gryphon](Installing MP Gryphon).
|
|
|
|
|
|
# Example screenshot
|
|
|
Here is an example screenshot of the Gryphon GUI showing graph 4 scope 1 for MP code example 45, martian lander, with line `SHOW ACTIVITY DIAGRAM Landing;` added to the bottom to additionally show the activity diagram:
|
|
|
|
... | ... | @@ -11,9 +14,6 @@ Here is an example screenshot of the Gryphon GUI showing graph 4 scope 1 for MP |
|
|
# 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.
|
|
|
|
|
|
# Installing MP Gryphon
|
|
|
Please see [Installing MP Gryphon](Installing MP Gryphon).
|
|
|
|
|
|
# Resources
|
|
|
* MP home page: https://wiki.nps.edu/display/MP/Monterey+Phoenix+Home
|
|
|
* MP Language manual v4: https://wiki.nps.edu/download/attachments/604667916/MP2-syntax-v4.pdf?api=v2
|
... | ... | |