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 95 generation scheme > Summary of mappings for generating SPARK 95 (Ada code)
  
Summary of mappings for generating SPARK 95 (Ada code)
The Modeler items are mapped as follows:
Modeler
Ada Code
Aggregation
Variable or field within a record type
Association
Variable or field within a record type
Attribute
Constant, variable, field within a record type or discriminant
Basic type
Type
Class
Package specification and body, record type or variant record type
Data Type
Package specification and body, record type or variant record type
Exception
Not generated
Model
Package
Operation
Function or procedure
Package (folder)
Subfolder of the working directory
Package (namespace)
Package
Parameter
Parameter
Type definition
Type