主要内容

检查信号线标签

检查 IDmathworks.maab.na_0008

规范:na_0008:信号上标签的显示

描述

检查信号线上的标注。

使用标签来标识:

  • 来自以下模块的信号(下面列出的所有模块均适用后文所述的模块图标例外,但 InportBus SelectorDemuxSelector 除外):

    • Bus Selector 模块(工具强制标注)

    • Chart 模块 (Stateflow®)

    • Constant 模块

    • Data Store Read 模块

    • Demux 模块

    • From 模块

    • Inport 模块

    • Selector 模块

    • Subsystem 模块

    模块图标例外

    • 对于 ConstantData Store Read 模块,如果信号标签在源模块的显示中可见,则无需显示连接信号的标签,除非信号目标规则要求在其他位置显示信号标签。

    • 对于 SubsystemChartFrom 模块,如果信号标签在源模块的显示中可见,并且信号属性 Show propagated signals 启用了该信号的信号传播,则无需显示连接信号的标签。

  • 连接到以下目标模块之一的信号(直接或通过执行非变换操作的基本模块间接连接):

    • Bus Selector 模块(工具强制标注)

    • Chart 模块 (Stateflow)

    • Data Store Write 模块

    • Goto 模块

    • Mux 模块

    • Outport 模块

    • Subsystem 模块

  • 任何感兴趣的信号。

此检查需要 Simulink® Check™ 许可证。

检查参数化

要自定义此检查的模块和封装,请使用模型顾问配置编辑器

  1. 打开模型配置编辑器并搜索检查 ID na_0008

  2. 输入参数下,从标准列表中选择自定义

  3. 要检查输出信号标签的模块类型列表要检查输入信号标签的模块类型列表表中添加或删除模块和/或封装。

  4. 点击应用并保存配置。

结果和建议的操作

条件建议的操作
来自 Bus SelectorChartConstantData Store ReadDemuxFromInportSelector 模块的信号未被标注。标注信号。
以下列表中接收信号的模块未被标注:OutportGotoDataStoreBusCreatorMuxSubSystem标注信号。

功能和限制

  • 对库模型运行。

  • 允许排除模块或图。

  • 可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on

  • 可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical

另请参阅