）。在对位域数据类型 [...] , WORD )，不报错。 理由： CODESYS 允许对有符号数据类型

作数按位移位（bit shift）的情况下，检测是否超出了操作数的数据类型宽度 理由：如果移位操作超出数据类型宽度，则为常数 0 生成。 如果旋转移位超过数据类型

约定 功能 ：在对话框中，您 定义 变量的数据类型和范围的前缀，以及 POU 和用户定义的数据类型 [...] 可以用占位符定义 {datatype} . 变量的前缀 可以根据数据类型

SA0133：显式缩小转换 检测从较大数据类型到较小数据类型的显式转换 理由：大量类型转换可能表明您为变量选择了错误的数据类型。因此，有一些编程指南要求对数据类型

SA0077：类型与 CASE 表达式不匹配 检测条件数据类型与条件数据类型不匹配的代码位置 CASE 分支 理由：如果数据类型

的并发访问 检测是否非原子变量（例如，具有数据类型 [...] 、64 位数据类型）用于多个任务 理由 [...] 会读到不一致的值。 重要性：中等 提示 对于某些数据类型

属性：nameprefix 该属性为结构化数据类型的变量定义前缀。前缀必须添加到此类型 [...] 此命名约定。 插入位置 ：在声明结构化数据类型

SA0130：隐式扩展转换 检测算术运算期间隐式执行从较小数据类型到较大数据类型的转换的代码位置 理由：当源类型的值范围完全包含在目标类型的值范围内时，编译器允许不同类型的任何赋值。但是

0111：不允许数据类型 POINTER 本节内容如下 : [...] SA0111：指针变量 检测类型变量 POINTER TO 理由：IEC 61131

0112：不允许数据类型引用 本节内容如下 : [...] SA0112：参考变量 检测类型变量 REFERENCE TO 理由：IEC 61131