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.
Was this helpful?