![]() |
![]() |
![]() |
![]() |
![]() |
Conversion to PR
During the first pass of the Analyzer, an SDL/PR file suitable for processing by the following passes (Macro Expansion or Syntax analysis) is produced. The resulting PR file is not intended to be read by the human, and is not formatted for that purpose. Conversion to PR is needed when input is not already in SDL/PR format, i.e, for SDL/GR diagrams, ASN.1 files, and C header files.
Several tools might be invoked through the PostMaster to perform the actual conversion:
- The SDL Editor to process SDL/GR. See GR to PR Conversion.
- The ASN.1 Utilities to process ASN.1. See Translation of ASN.1 to SDL.
- The CPP2SDL Utility to process C/C++ header files. See C/C++ to SDL Translation Rules.
Additional SDL/PR files may be copied into the output of this pass.
A number of checks are performed during this conversion pass. Many of these are actually syntactic in their nature. They may result in error messages; see Error and Warning Messages.
http://www.ibm.com/rational |
![]() |
![]() |
![]() |
![]() |