指定要运行的检查

配置的“特征”窗口的检查选项卡列示了所有的可用检查。

关于此任务

下图所示的检查选项卡包含多个列。

“配置”窗口,“检查”选项卡
表 1. 导致代码生成功能停止的错误
名称冲突
  • 属性与状态同名。
  • 在另一子系统中存在同名的类。
  • 事件名称与生成的状态类的名称有冲突。
  • 事件与类同名。
其他错误
  • 存在没有缺省状态的“或”状态。
  • 派生到非正交状态。
  • 从非正交状态连接。
  • 引用了未解析的事件。
  • 引用了未解析的关系类。
  • 引用了未解析的超类。
  • 对称链接的前置条件失败。

要按某个列进行排序,请单击列标题。

您可以对所要执行的检查进行控制。产品将在您执行模型检查时自动执行预定义的代码生成检查。

过程

要指定所要运行的检查,请完成下列步骤:

  1. 打开模型。
  2. 将您要检查其代码的模型的配置设置为活动配置。(请参阅设置活动配置。)
  3. 打开活动配置的“特征”窗口,然后选择检查选项卡。请执行以下任一操作:
    • 选择工具 > 检查模型 > 配置
      这将打开“特征”窗口并选中检查选项卡。
    • 在主浏览器中,双击活动配置,然后选择检查选项卡。
  4. 根据要执行的操作:
    • 要选中所有检查,请单击全部选中按钮。
    • 要取消选中所有检查以便于选择要执行的检查,请单击全部不选按钮,然后选择要执行的检查。
    • 根据需要,选中或取消选中各项检查旁边的复选框。
    • 右键单击一项或多项检查,然后相应地选择选择取消选择反选
  5. 单击确定

反馈