Parameter mapping for generating SPARK 95 (Ada code)
For each Parameter, ACS generates a subprogram parameter within the subprogram declaration and definition.
The generation of a subprogram parameter is derived from the properties of the Parameter and the Stereotypes and Tag Definitions that are applied to it:
• If the parameter has no data type, an error is added to the Log.
• The parameter Mechanism is used to generate In, Out and In Out modifiers.
• If the Parameter is stereotyped by the «Ada Attribute Designator» and a tagged value is set for the Ada 'Attribute tag definition (applied by the «Ada Attribute Designator» stereotype), the tagged value (preceded by an apostrophe) is generated after the data type.
 |
The «Ada Access» stereotype does not apply to the SPARK 95 Code Generator DLL.
|