Supplementing Generated Ada : 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 is placed in the same package specification as the 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.a, and assigns names to the types based on the name of the Data-Item and the characters ty as a suffix. For example,