Download 55 The SDL Analyzer

Chapter
55
The SDL Analyzer
Analyzer Files
When a diagram is being analyzed, a number of files are generated. The
file names consist of the diagram name appended with a file name extension. The following file name extensions are used:
•
.pr
The SDL/PR, (also known as phrasal representation), of the SDL
diagram. This file is generated by the conversion to PR pass. The
purpose of this file is an intermediate format for the Analyzer. The
format used in this file makes it not suitable to be read by the human.
•
.prm
After macros are expanded, the .pr file is used as input and expanded into a .prm file, which includes the SDL macros in an expanded
form. The appearance of this file makes it not suitable to be read by
the human.
•
.sdl
The pretty-printed SDL/PR file which is generated by the prettyprinter. This file uses a layout that is easy to read by the human.
•
.err
The error file containing the errors and warnings which were detected during the analysis.
•
.xrf
The files containing the listings of SDL definitions and cross-references.
•
.tsp
The file contains time stamp information from the last analysis.
•
.ins
The file containing instance information about the analyzed SDL
system. Read more about the contents of this file in “SDL Instance
Information” on page 2442.
•
predef.sdl
This file contains predefined SDL entities that the Analyzer needs
access to in order to function properly. The file is found using the
procedure in “Search Order for Included PR Files” on page 2436
with the directory $sdtdir.
2460
,um-st1
Telelogic Tau 4.5 User’s Manual
July 2003