配置的“特征”窗口的检查选项卡列示了所有的可用检查。
关于此任务
下图所示的检查选项卡包含多个列。
- 名称描述要执行的检查。例如,属性与状态同名检查属性与状态是否同名。在缺省情况下,将选中所有可能的检查。如果您不想包括某项检查,请取消选中相应的复选框。如果所有检查都处于未选中状态,那么您可以单击全部选中按钮(如果您愿意)。要取消选中所有检查(以便于只选择某些检查),请单击全部不选按钮。
名称较长时,您可以将鼠标指针移到名称上,以便在工具提示中查看其全名。
- 域指定要搜索的模型区域。您可以选择属于某个域的检查,以便限制检查范围。可能的值如下所示:
- 类模型将搜索模型的结构部分。
- 状态图将搜索模型的行为部分。
- 公共将同时搜索模型的结构部分和行为部分。例如,缺省名称将检查类或状态中的缺省名称。
- AR3x_BMT 将搜索 AR3x_BMT 域。
- AUTOSAR 将搜索 AUTOSAR 域。
- MicroC 将搜索 MicroC 域。
- 可能存在其他来自用户定义的外部检查的域。
- 严重性指定所检查的情况是构成错误
、警告
还是参考 。
下表列示了导致代码生成功能停止的错误。
表 1. 导致代码生成功能停止的错误| 名称冲突 |
- 属性与状态同名。
- 在另一子系统中存在同名的类。
- 事件名称与生成的状态类的名称有冲突。
- 事件与类同名。
|
| 其他错误 |
- 存在没有缺省状态的“或”状态。
- 派生到非正交状态。
- 从非正交状态连接。
- 引用了未解析的事件。
- 引用了未解析的关系类。
- 引用了未解析的超类。
- 对称链接的前置条件失败。
|
要按某个列进行排序,请单击列标题。
您可以对所要执行的检查进行控制。产品将在您执行模型检查时自动执行预定义的代码生成检查。
过程
要指定所要运行的检查,请完成下列步骤:
- 打开模型。
- 将您要检查其代码的模型的配置设置为活动配置。(请参阅Setting the active configuration。)
- 打开活动配置的“特征”窗口,然后选择检查选项卡。请执行以下任一操作:
- 选择。
这将打开“特征”窗口并选中检查选项卡。
- 在主浏览器中,双击活动配置,然后选择检查选项卡。
- 根据要执行的操作:
- 要选中所有检查,请单击全部选中按钮。
- 要取消选中所有检查以便于选择要执行的检查,请单击全部不选按钮,然后选择要执行的检查。
- 根据需要,选中或取消选中各项检查旁边的复选框。
- 右键单击一项或多项检查,然后相应地选择选择、取消选择或反选。
- 单击确定。