主要内容

检查 Stateflow 状态中代码的缩进

检查 IDmathworks.jmaab.jc_0736

规范:jc_0736:Stateflow® 模块中的统一缩进

描述

检查 Stateflow 状态和转移中标签字符串的统一缩进。

检查 Stateflow 模块中的缩进是否描述一致,并符合以下建议:

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

检查参数化

此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。

作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:

  • NA-MAAB - 无建议

  • JMAAB - a、b、c

您可以使用输入参数单字节空格数将阈值设置为所需值。默认情况下,该值设置为 1

结果和建议的操作

规范子 ID条件建议的操作
jc_0736_a:检查 Stateflow 状态中动作语言的统一缩进。模型中的一个或多个 Stateflow 状态没有统一缩进。请考虑删除状态操作类型前的空白,并在可执行语句前添加输入参数中定义的确切数量的单字节空格。
jc_0736_b:检查转移动作类型的统一空格格式。模型中一个或多个 Stateflow 转移的空格格式不统一。请考虑不要在转移条件的 '[' 之前、转移动作的 '{' 之前以及转移中事件的 '/' 之前添加空格。
jc_0736_c:检查转移动作的统一空格格式。模型中一个或多个 Stateflow 转移的空格格式不统一。请考虑在转移操作的 '/' 之后添加输入参数中定义的确切数量的单字节空格。

功能和限制

  • 对库模型运行。

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

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

  • 允许排除图。

  • 不支持 Truth Table (Stateflow) 模块和 Stateflow 转移表。