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.