检查 Stateflow 状态中代码的缩进
检查 ID:mathworks.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 转移表。