检查转移线的箭尖大小

检查 ID：mathworks.jmaab_v6.jc_0902

规范：jc_0902：转移线的箭尖大小

描述

检查转移线的箭尖大小是否与输入参数所设定的数值一致。

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

  • Stateflow® 图中的转移。

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

检查参数化

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

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

  • JMAAB - a

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

输入参数值默认值
箭尖大小Stateflow 图中转移线末端的箭尖大小8

结果和建议的操作

条件建议的操作
转移线的箭尖未设置为预期大小。将转移线的箭尖大小更改为箭尖大小输入参数所指定的值。

功能和限制

  • 对库模型运行。

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

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

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