File Structure In Ada: Control Files
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.
The following module body defines all the local objects (events, conditions, data-items), and the procedures that implement the logic of the statecharts.