: {analysis -<rule number> ( , -<further rule number [...] more further rule
' := '-<rule number> ( , -<further rule number [...] further rule numbers 例子
analysis . A rule set is [...] specific rule. CODESYS [...] rule SA0031 and SA
be read. See rule [...] . See rule SA0038 of
CODESYS Development System
>} -<Regelnummer> : 关闭规则 SA<rule [...] 查。 +<Regelnummer> : 激活规则 SA<rule [...] ' := '-<rule number>[,<other
File names ¶ Rule #1: Select a nice file name
SA0011:只有一个成员的无用声明 检测仅具有单个成员的结构或枚举 理由:不应声明只有一个成员的结构或枚举。此类声明可能会让读者感到困惑。只有一个元素的结构可以用别名类型替换。只有一个元素的枚举可以用常量替换。 PLCopen规则:CP22/CP24 重要性:低 例 22 . 例子 {attribute 'qualified_only'} {attribute 'strict'} TYPE SI
SA0012:可以声明为常量的变量 检测未使用写权限访问的变量,因此可以声明为常量 理由:如果变量仅在声明点写入并且仅用于读取,则静态分析假定该变量也不应该被更改。首先,声明为常量会导致检查程序更改时变量是否未更改。其次,声明为常量可能会导致代码更快。 重要 如果一个项目中存在多个应用程序,则仅影响当前活动应用程序下的对象。如果只有一个应用程序,那么公共 POU 池中的对象也会受到影响。 重要性: