Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
ide_model [2021/01/05 03:00] – external edit 127.0.0.1 | ide_model [2024/01/02 19:37] (current) – external edit 127.0.0.1 | ||
---|---|---|---|
Line 80: | Line 80: | ||
---- | ---- | ||
==== Context Menus ==== | ==== Context Menus ==== | ||
- | //States and Transitions// | + | //States and Transitions// |
Menu items has hover title describing the action for the menu item. | Menu items has hover title describing the action for the menu item. | ||
Line 205: | Line 205: | ||
* play - visualize model execution synchronized with AUT / target process | * play - visualize model execution synchronized with AUT / target process | ||
- | This can be accomplished with the shortcut buttons: {{wiki: | + | This can be accomplished with the shortcut buttons: |
- | * {{wiki: | + | |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
- | * {{wiki: | + | * {{wiki: |
+ | * {{wiki: | ||
* {{wiki: | * {{wiki: | ||
- | * {{wiki: | + | * {{wiki: |
Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. | Model execution can be monitored with [[ide_monitor | Execution Monitor ]]. | ||
Line 218: | Line 219: | ||
---- | ---- | ||
====Log Files ==== | ====Log Files ==== | ||
- | There are two types of log files, they can be accessed via {{wiki: | + | There are two types of log files, they can be accessed via {{wiki: |
* Model Log - log messages written out by your script using // | * Model Log - log messages written out by your script using // | ||
* Server Log - System log messages and errors, it only shows the message for the current model execution. Can also be accessed through //Help Menu// on application header next to // | * Server Log - System log messages and errors, it only shows the message for the current model execution. Can also be accessed through //Help Menu// on application header next to // |