Download 53 The SDL Validator

Graphical User Interface
Expand Substructure
Expand the collapsed node to show all
nodes on all levels below it.
(Not applicable on a report node.)
Collapse
Collapse the node to hide all nodes on
all levels below it. This is the same as
double-clicking the node (top node or
report type node).
(Not applicable on a report node.)
Quick Buttons
The following quick buttons are special to the Report Viewer. The general quick buttons are described in “General Quick-Buttons” on page 24
in chapter 1, User Interface and Basic Operations.
Close
Closes the Report Viewer.
Structure
Switches between a tree structure and a list structure in the report area.
Show Validator UI
Raises the Validator UI window.
Definition Files
In the ValUI, the syntax and contents of the definition files are the same
as for the SimUI; see “Definition Files” on page 2152 in chapter 50, The
SDL Simulator. The default file names for the definition files are
val_def.btns, val_def.cmds and val_def.vars, respectively.
July 2003
Telelogic Tau 4.5 User’s Manual
,um-st1
2297