Specifying which checks to run

The Checks tab of the Features window for a configuration lists all the available checks.

About this task

The Checks tab, as shown in the following figure, contains a number of columns.

Configuration window, Checks tab
Table 1. Errors that cause code generation to stop
Name conflicts
  • An attribute is named the same as a state.
  • A class is named the same in a different subsystem.
  • An event and a generated state class have conflicting names.
  • An event is named the same as a class.
Other errors
  • An OR state exists with no default state.
  • A fork to non-orthogonal states.
  • A join from non-orthogonal states.
  • A reference to an unresolved event.
  • A reference to an unresolved relational class.
  • A reference to an unresolved superclass.
  • A precondition for symmetric links failed.

To sort by a column, click the column header.

You can control which checks are done. The product automatically performs the predefined code generation checks when you do a check model.

Procedure

To specify which checks to run:

  1. Open your model.
  2. Set the configuration for the model whose code you want to check to be the active configuration. (See Setting the active configuration.)
  3. Open the Features window for the active configuration and select the Checks tab. Do either of the following actions:
    • Choose Tools > Check Model > Configure.
      The Features window opens with the Checks tab selected.
    • From the main browser, double-click the active configuration and select the Checks tab.
  4. Depending on what you want to do:
    • To select all the checks, click the Select All button.
    • To deselect all the checks so that you can more easily select the checks that you do want, click the Deselect All button and then select the checks you do want to perform.
    • Select and clear the check boxes next to the checks as you want.
    • Right-click one or more checks and select Select, Deselect, Invert Selection, as applicable.
  5. Click OK.

Feedback