Architecture of Generated C Code : Structure Of The Generated Code : Control Files : Behavioral Modules

Behavioral Modules

The behavioral modules are the heart of the code and implement the logic as described by the statecharts and mini-specs. The specification is partitioned into behavioral modules in the compilation profile. For each specified module, two files are generated based on the user-defined module name.

The following header file exports all the specification objects defined in the module (for use by other modules), and the module execution procedure.

<module_name>.h

The following module body defines all the local objects (events, conditions, data-items), and the procedures that implement the logic of the statecharts and mini-specs.

<module_name>.c