Model mapping for generating SPARK 95 (Ada code)
If the Model directly owns Attributes, Classes, Data Types, Exceptions, Operations or Type Definitions, ACS generates a package specification file and a package body file for the Model. The package specification and package body files declare and define the Model's items.
 |
ACS uses the tagged values of the Ada_Spec and Ada_Body tag definitions (applied by the «Ada Source» stereotype) to record the location of the associated package specification and body files. In Modeler, this information is used to populate the files listed on the Open Ada File context submenu for the Model.
|
If you want Model members to be generated in a specific order, apply the «Ada Source» stereotype to the Model and then use the Ada Generation Order tag definition to order the members in the required order. Within the appropriate part of a generated file, members referenced through the Ada Generation Order tag definition are ordered accordingly and are generated before members that are not referenced by the Ada Generation Order tag definition. For more information about ordering a Model's members through the Ada Generation Order tag definition, see Specifying the generation order of model, package, class or data type members (Ada code).