Supplementing Generated Ada : Structured Elements : Records and Unions

Records and Unions

Rational Statemate records and unions are translated into Ada records. For example, a record INVOICE_TYPE is translated into:

type INVOICE_TYPE is record
NAME : string(1..81);
ITEM : string(1..81);
AMOUNT : float64;
end record;
 
 

Note that the name INVOICE_TYPE is normally named the same as the User-Defined Type name. If, however, the Rational Statemate model contains multiple textual elements with the same name, the Ada code names is modified to make all the names unique. This name mapping information is listed in the .info file.