![]() |
![]() |
![]() |
![]() |
![]() |
Graphical User Interface
This section describes the appearance and functionality of the graphical user interface to the explorer monitor (ExpUI). Some user interface descriptions general to all tools can be found in User Interface and Basic Operations. These general descriptions are not repeated in this chapter.
For an explanation of the Explorer main window, depicted in Figure 483, see Graphical User Interface.
Starting the ExpUI
A new ExpUI is started by selecting SDL > Explorer UI from the Tools menu in the Organizer. When the ExpUI is started, a number of definition files are read, controlling the contents of the main window and some status windows. See Definition Files for more information.
No explorer is started automatically by the ExpUI in this way. The user must start an explorer by selecting Open from the File menu, as stated in the text area of the main window, or by using the Open quick button.
A simple way to generate an explorer, start the ExpUI and open the explorer is to click the Explore quick button in the Organizer.
When a simulator is started, a file selection dialog may be opened if the SDL system contains external synonyms. For more information, see Supplying Values of External Synonyms.
The Default Button Modules
The following tables list the default buttons in the button modules and the corresponding monitor command. See Monitor Commands for more information.
The buttons in the button modules are specified in the button definition file. If the default button file is not used, the button modules may be different than described here. See Button and Menu Definitions for more information.
The EXPLORE Module
The VIEW Module
The TEST VALUES Module
The Menu Bar
This section describes the additional menus of the ExpUI's menu bar in comparison with the SimUI. The menus common to both the ExpUI and the SimUI is described in The Menu Bar.
The menu bar contains the following menus:
- File Menu
(See File Menu.)- View Menu
(See View Menu.)- Buttons Menu
(See Buttons Menu.)- Log Menu
(See Log Menu.)- Help Menu
(See Help Menu.)- Commands Menu
- Options1 Menu
- Options2 Menu
- Autolink1 Menu
- Autolink2 Menu
Additional SDL Explorer Menus
In addition to the standard SimUI menus, a few special explorer menus are included in the menu bar. The menu choices in these menus simply execute a monitor command, i.e. they are functionally equivalent to buttons in the button modules. If the monitor command requires parameters, they are prompted for using dialogs in the same way as the command buttons.
The following tables list the default menu choices and the corresponding monitor command. See Monitor Commands for more information.
The additional menus in the ExpUI are specified in the button definition file. If the default button file is not used, the additional menus may be different than described here. See Button and Menu Definitions for more information.
Commands Menu
Options1 Menu
Define-Scheduling All ; Define-Priorities 1 1 1 1 1 ; Define-Max-Input-Port-Length 2 ; Define-Report-Log MaxQueuelength Off
Options2 Menu
Autolink1 Menu
Autolink2 Menu
The Command and Watch Windows
The Command window of the ExpUI is identical to the SimUI (see Command Window). The only difference is that the default commands to execute are "List-Process -" and "Print-Trace 1". The set of commands to execute are stored in a command definition file (see Definition Files). The default command definition file can be changed with the Preference Manager.
The Watch window of the ExpUI is identical to the SimUI (see Watch Window).
The Navigator Tool
The Navigator is a separate tool in the ExpUI that is used for navigating in the behavior tree. It can be opened in the following ways:
- By issuing the monitor command Show-Navigator
- By selecting Show Navigator from the Commands menu.
- By clicking the Navigator button in the button area.
The Navigator window consists of the tree area and the tool bar. There is no menu bar or status bar in the Navigator window.
Tree Area
The tree area of the Navigator window shows the structure of the behavior tree around the current system state. Each box, or node, represents a tree transition from one system state to another.
- The up node, always labelled Up 1, shows the tree transition leading to the current system state.
- The down nodes, labelled Next 1, Next 2, etc., show the possible tree transitions from the current system state. One of the down nodes may be labelled with three asterisks "***" to show which node is part of the current path, i.e., which part of the tree that already has been explored.
The text in the boxes contains the textual trace describing the tree transition. This may represent a complete or partial SDL process graph transition, depending on how the behavior tree is set up. The number of down nodes also depends on the structure of the behavior tree. This is determined by the state space options; see State Space Options.
Double-clicking a node in the Navigator executes the corresponding tree transition and moves one level up or down in the behavior tree. The current system state is changed and the Navigator window is updated to show the situation around the new system state.
Double-clicking a collapsed node (see below) does not expand the node; it always executes the corresponding transition.
The Navigator window is also updated whenever a monitor command is executed that changes the current system state.
Popup Menus
Each node in the node area has an associated popup menu.
On the up node: Go up one level in the tree. This is the same as double-clicking the up node.
On the up nodes: Go up in the tree until more than one transition is possible (see Continue-Up-Until-Branch command).
On the down nodes: Go down this branch of the tree. This is the same as double-clicking the down node.
On the down nodes: Go down this branch of the tree until more than one transition is possible (see Continue-Until-Branch command).
Expand the collapsed node to show the down nodes.
(Not applicable on a down node.)Collapse the node to hide the down nodes. A small triangle below the node shows that it is collapsed.
(Not applicable on a down node.)Quick Buttons
The following quick buttons are special to the Navigator tool. The general quick buttons are described in General Quick-Buttons.
Close Structure Switches between a tree structure and a list structure in the node area.
Show Explorer UI The Report Viewer
The Report Viewer is a separate tool in the ExpUI that is used for examining the reports generated during an automatic state space exploration. It is opened in one of the following ways:
- Automatically when an automatic state space exploration has finished, unless the option Report Viewer Autopopup is off
- By issuing the monitor command Show-Report-Viewer
- By selecting Show Report Viewer from the Commands menu.
The Report Viewer window consists of the Report Area, containing Popup Menus, and the tool bar, containing Quick Buttons. There is no menu bar or status bar in the Report Viewer window.
Report Area
The report area of the Report Viewer shows the current reports from the latest state space exploration in the form of a report tree. The report tree contains three levels of nodes (see Figure 485):
- The top node shows how many reports there are. This node is always visible.
- The next level contains one node for each report type. The text shows the report type and how many reports of that type there are. When the Report Viewer is started, the report type nodes are shown, but they are collapsed (indicated by a small triangle below the node). For a list of possible report types, see Rules Checked During Exploration.
- The bottom level contains one node for each actual report. The text shows the error or warning message, and the depth in the behavior tree where the report was generated. If the same report has been generated more than once, only one report is shown; the one generated at the lowest depth in the tree. When the Report Viewer is started, the report nodes are not visible.
Double-clicking a report node at the bottom level causes the Explorer to "go to" the report, i.e., go to the system state where the report was generated. The following things happen:
- The textual trace from the transition where the report was generated is printed in the text area of the main window.
- If the Navigator tool is opened, it is updated to show the transition where the report was generated and the error message.
- An MSC Editor is opened, showing the MSC trace from the start state to the state where the report was generated. The MSC Editor is not opened if the option MSC Trace Autopopup is off.
Double-clicking the top node or a report type node will expand or collapse the node, depending on its state. A collapsed node hides its underlying nodes and is indicated by a small triangle below the node.
Popup Menus
Quick Buttons
The following quick buttons are special to the Report Viewer. The general quick buttons are described in General Quick-Buttons.
Close Structure Switches between a tree structure and a list structure in the report area.
Show Explorer UI Definition Files
In the ExpUI, the syntax and contents of the definition files are the same as for the SimUI; see Definition Files. The default file names for the definition files are val_def.btns, val_def.cmds and val_def.vars, respectively.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |