Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
ide_model [2021/01/01 02:32] admin [State Properties] |
ide_model [2021/04/29 22:14] (current) admin [Context Menus] |
||
---|---|---|---|
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 // |