检查 Stateflow 注释的使用
检查 ID:mathworks.jmaab.jc_0738
规范:jc_0738:Stateflow® 注释的使用
描述
标识 Stateflow 中包含换行符或嵌套在中间的注释。
此检查需要 Simulink® Check™ 和 Stateflow 许可证。
检查参数化
此检查包含与 MAB 和 JMAAB 建模规范中指定的子 ID 对应的子检查。您可以使用模型顾问配置编辑器来指定要执行的子 ID(一个或多个)。
作为参考,NA-MAAB 和 JMAAB 建模标准组织建议使用的 MAB 规范子 ID 为:
NA-MAAB - a
JMAAB - a、b
结果和建议的操作
规范子 ID | 条件 | 建议的操作 |
---|---|---|
jc_0738_a:如果动作语言为 "C",则不得使用代码注释嵌套。 | 在 Stateflow 对象中,有一个或多个注释嵌套在一起。 | Stateflow 中的注释不能嵌套。 |
jc_0738_b:如果动作语言为 "C",则注释中不得包含换行符。 | 一个或多个 Stateflow 对象中的注释中间包含换行符。 | Stateflow 中的注释不能在中间包含换行符。 |
功能和限制
对库模型运行。
允许排除模块和图。
可以分析封装子系统中的内容。默认情况下,输入参数 Look under masks 设置为 graphical。
可以分析库链接模块的内容。默认情况下,输入参数 Follow links 设置为 on。