Ada Code Generation : File Structure In Ada: Control Files

File Structure In Ada: Control Files

Behavioral Modules

The behavioral modules are the heart of the code and implement the state/transitions logic as described by the statecharts. 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 module specification file exports all the specification objects defined in the module (to use by other modules), and the module execution procedure.

<module_name>__.a

 

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

<module_name>.a