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 pretty-printer. 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.
- 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 with the directory $sdtdir.