IBM
Contents Index Previous Next



Overview of the Cmicro SDL to C Compiler


The SDL Analyzer, which can be invoked from the Organizer, contains an SDL parser, an SDL semantic checker, and - among other code generators - the Cmicro SDL to C Compiler.

Many options can be chosen from the user which affect the analysis of the SDL system. Furthermore, a lot of error checks are performed automatically before code generation starts. This makes it possible to improve written SDL specifications before any run-time testing must be done.

The options that the user may choose for analysis and the error checks that are performed by the analyzer are described in The SDL Analyzer.

At some places the Cmicro SDL to C Compiler can be used in exactly the same way as the Cadvanced/Cbasic SDL to C Compiler can be used. At some other places the use of this C Code Generator, or what this C Code Generator produce, is different.

The Cmicro SDL to C Compiler generally can process the same input as the Cadvanced/Cbasic SDL to C Compiler can. The differences are explained within this chapter.

The differences in the output of the both code generators are described within the subsection Output of Code Generation.

The overall differences of the both code generators are described in the section Differences between Cmicro and Cadvanced.

The following subsections describe how the Cmicro SDL to C Compiler might be used.


http://www.ibm.com/rational
Contents Index Previous Next