Records become C constructs. For example, a record
INVOICE_TYPE
might become a structure defined as:typedef struct INVOICE_TYPE {
char NAME[80+1];
char ITEM[80+1];
real AMOUNT;
} INVOICE_TYPE;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 C code names are modified to make all the names unique. This name mapping information is listed in the .info file.