Supplementing Generated C : Structured Elements

Structured Elements

For complex Data-Items in the Rational Statemate model (e.g., a Data-Item record) a type is defined for the Data-Item. This happens even if the Data-Item is not defined as a user type. The type declaration (typedef statement) is placed in the same .h file as the external declaration for the Data-Item. These implicitly defined types are treated the same way as ordinary User-Defined Types.

Rational Statemate defines structured elements and user-defined types in a file called <profile name>_type_utils.c, and assigns names to the types based on the name of the Data-Item and the characters ty as a suffix. For example,