Ada Code Generation : Main Task—Partition and Flow Control for Ada : Structure of a Behavioral Module

Structure of a Behavioral Module

Each behavior module is translated into a package that contains objects and subprograms implementing that module in Ada. Two files are generated for such a package: one for the package specification and another for the package body.

The structure of the two files is explained for the module called RAIL_CROSS; the files are:

rail_cross_.a package specification
rail_cross.a package body