Checking the model

Before generating code, IBM® Rational® Rhapsody® automatically performs certain checks for the correctness and completeness of the model. You can also perform selected checks at any time during the design process. These predefined checks, also known as internal checks, are provided with Rational Rhapsody.

About this task

In addition, you can create checks that you code and customize to meet your needs. These user‑defined checks are also known as external checks because they are not part of the set of predefined internal checks. Both types of checks are displayed in the Rational Rhapsody GUI.

For more specific information about external checks, see Creating user-defined checks.

The checker works on either the active configuration or selected classes. It generates a list of the errors and warnings found in the model, with errors listed first. Errors prevent code generation from proceeding, while warnings draw your attention to unusual conditions in the model that do not prevent code generation. If there are no errors or warnings, the checker generates a message stating that all checks were completed successfully.

When you double-click a message, the checker opens the location in the model where the offending element or statement can be found, with the source of the error highlighted.

Note: The checker verifies the structural model by checking object model diagrams, and the behavioral model by checking statecharts. These are the main constructive diagrams in the model.

Feedback