检查结点的大小

检查 ID：mathworks.jmaab_v6.jc_0907

规范：jc_0907：结点的大小

描述

检查结点的大小是否与输入参数所设定的值相同。

此检查适用于以下目标组件：

  • Stateflow® 图中的结点。

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

检查参数化

此检查不包括子检查，因为 JMAAB 建模规范仅提供一个子 ID。

作为参考，JMAAB 建模标准组织建议使用的规范子 ID 为：

  • JMAAB - a

您可以配置以下输入参数来自定义此检查操作：

输入参数值默认值
结点的大小Stateflow 图中结点的大小14

结果和建议的操作

条件建议的操作
Stateflow 结点未设置为预期大小。将结点大小更改为结点的大小输入参数所指定的值。

功能和限制

  • 对库模型运行。

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

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

  • 允许排除图及其所有后代。