Integrations (PTC products, 3rd party products and code) > Code integration (Ada, ARINC 653, C, C#, C++, IDL, Java, SQL and VB) > Ada Code > Generating Ada code > Mapping information for generation > Mapping information for SPARK 83 generation scheme > Parameter mapping for generating SPARK 83 (Ada code)
  
Parameter mapping for generating SPARK 83 (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.
* 
• The «Ada Access» stereotype does not apply to the SPARK 83 Code Generator DLL.
• The «Ada Attribute Designator» stereotype is ignored.