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

- Name describes the check to be performed.
For example, Attribute named the same as a state checks whether
an attribute and a state have the same name. By default, all possible
checks are selected. To not include a check, clear the applicable
check box. If all the checks are not selected and you want to do so,
click the Select All button. To clear all the
checks (to make it easier to select only certain checks), click the Deselect
All button.
The following that
when a name is long, you can move your mouse pointer over the name
to see its full name in a ToolTip.
- Domain specifies the area of the model that
is searched. You can select checks that belong to one domain or another
to limit the scope of the checks. The possible values are as follows:
- Class Model searches the structural part of the model.
- Statechart searches the behavioral part of the model.
- Common searches both the structural and behavioral parts
of the model. For example, Default names checks for default
names in either classes or states.
- AR3x_BMT searches the AR3x_BMT domain.
- AUTOSAR searches the AUTOSAR domain.
- MicroC searches the MicroC domain.
- There might be other domains that are from user‑defined
external checks.
- Severity specifies whether the condition
being checked for constitutes an error
, a warning
, or is informational .
The following table lists the errors that cause code generation to
stop.
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.
|
- Integrity specifies whether the check has
to do with the correctness or completeness of the model.
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.