对话框：静态分析设置：禁止符号 功能 ：在对话框中定义项目代码中不能使用的关键字和符号。有关更多信息，请参阅： 配置和运行静态分析 称呼 ： 项目 → 项目设置 菜单， 静态分析 类别， 打开配置对话框 关联 构建→静态分析→设置 菜单 要求 ： 这 CODESYS Static Analysis 包已安装。 一个项目已打开。 输入线 双击行打开行编辑器以指定关键字或符号。 ：输入助手打开以选择关

对话框：选项：自动格式化程序 调试模式 仅当您的 CODESYS 实例以调试模式启动。 为此，请使用以下命令行调用启动您的实例： codesys.exe --debug 象征： 功能 ：在此对话框中配置 IEC 代码的自动格式化。 称呼 ： 工具 → 选项 菜单， 自动格式化程序 类别 自动格式化程序 一般的 声明与实施 挤压空行 true （默认）：删除空行。 false ：保留空行。 界面 宣

参考：编程 本节内容如下 :

编译指示和属性 CODESYS Static Analysis 提供用于激活或停用个别规则或命名约定以进行静态代码分析的编译指示和属性。 要求：在项目设置中激活或定义规则或约定。 属性被插入到 POU 的声明部分以禁用整个编程对象的特定规则。 Pragma 用于 POU 的实现部分，以停用各个代码行的特定规则。一个例外是规则 164，它也可以在声明部分关闭。 提示 在项目设置中停用的规则无法通过编

语用：analysis 此 pragma 用于停用 POU 的各个代码行的代码规则，以便将它们排除在 静态分析 .您可以通过指定带有前置减号 ("-") 的规则编号来停用代码规则。前置加号 ("+") 激活规则。您可以在 pragma 中指定任意数量的规则。 插入位置 ：停用：在实现部分，用 {analysis - ...} 在停用代码分析的第一个代码行之前。激活：有 {analysis + ..

属性：analysis 该属性停用整个编程对象的特定规则，以便将它们排除在 静态分析 .您可以通过指定带有前置减号 ("-") 的规则编号来停用代码规则。您可以在属性中指定任意数量的规则。 插入位置 : 在 POU 的声明部分，在第一行。 句法 ： {attribute 'analysis' := '-<rule number> ( , -<further rule number> )* '} *

属性：'naming' 该属性标记了被排除在外的代码行 命名约定分析 .一个 off 在停用代码分析的第一个代码行之前分配给 pragma 属性。一个 on 在最后一行之后分配。当一个 omit 被分配，只有下一个代码行被忽略。 插入位置 ：停用：在 POU 和 DUT 的声明部分中，受影响的行上方。激活：在受影响的线下方。 句法 ： {attribute 'naming' := '<switch

命令：提取函数 功能 ：该命令打开 提取功能配置 对话。 该命令从 ST 编辑器中提取选定的代码，并创建一个包含该代码的新方法或函数。 ST 编辑器中受影响的代码被正确的调用替换。当从功能块或功能块的子项中提取代码时，会从代码中创建一个新方法。当从程序或函数中提取代码时，会从代码中创建一个新函数。 在这种情况下还要注意： 检测代码克隆 称呼 ： 上下文菜单： 重构 要求 ：当所选代码包含一个或多个

命令：反转 IF 语句 功能 ：该命令反转 IF 声明不改变语义 IF 陈述。条件被否定。中的陈述 THEN 和 ELSE 分支被交换。所有评论均被保留。 称呼 ：上下文菜单下 重构 命令 要求：光标位于任意位置 之内 一个 IF 陈述。 表 2 . 否定规则 表达 否定表达 描述 < >= “小于”的比较变为“大于”，反之亦然。 <= > “小于或等于”的比较变为“大于”，反之亦然。 = <>

命令：显示当前编辑器的恒定传播值 象征： 功能 ：该命令启动静态代码分析，并计算当前编辑器中代码不断传播的测量值。打开的对话框显示结果。列出分析的代码并显示确定的测量值。 称呼 : 构建 → 静态分析 菜单 要求 ：在编辑器中打开 ST 实现语言的编程对象。 有关更多信息，请参阅： 不断传播 对话：不断传播的结果 例 10 . 例子 本节内容如下 :