约定 功能 :在对话框中,您 定义 变量的数据类型和范围的前缀,以及 POU 和用户定义的数据类型 [...] 0102:名称无效… 表示违反 POU 类型
SA0133:显式缩小转换 检测从较大数据类型到较小数据类型的显式转换 理由:大量类型转换可能表明您为变量选择了错误的数据类型。因此,有一些编程指南要求对数据类型
号转换 检测从有符号数据类型到无符号数据类型的显式转换,反之亦然 理由:过度使用类型转换可能表明为变量选择了错误的数据类型。因此,有一些编程指南要求对数据类型
SA0130:隐式扩展转换 检测算术运算期间隐式执行从较小数据类型到较大数据类型的转换的代码位置 理由:当源类型的值范围完全包含在目标类型的值范围内时,编译器允许不同类型的任何赋值。但是
原子数据的并发访问 检测是否非原子变量(例如,具有数据类型 [...] 、64 位数据类型)用于多个任务 理由 [...] 会读到不一致的值。 重要性:中等 提示 对于某些数据类型
作数按位移位(bit shift)的情况下,检测是否超出了操作数的数据类型宽度 理由:如果移位操作超出数据类型宽度,则为常数 0 生成。 如果旋转移位超过数据类型
SA0111:指针变量 检测类型变量 POINTER TO 理由:IEC 61131 [...] 0111:不允许数据类型 POINTER 本节内容如下 :
属性:nameprefix 该属性为结构化数据类型的变量定义前缀。前缀必须添加到此类型 [...] 此命名约定。 插入位置 :在声明结构化数据类型
位访问 -strict 检测未对位域数据类型 [...] 61131-3 标准只允许对位域数据类型进行位访问。但是,那 CODESYS 编译器还允许对无符号数据类型
SA0112:参考变量 检测类型变量 REFERENCE TO 理由:IEC 61131 [...] 0112:不允许数据类型引用 本节内容如下 :