Supplementing the Model with Handwritten Code : Mapping Rational Statemate Types into C : Records

Records

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 will be modified to make all the names unique. This name mapping information is listed in the .info file.