编译指示和属性 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 . 例子 本节内容如下 :
命令:运行静态分析 象征: 功能 :该命令启动活动应用程序的静态分析,并在表格中显示所有 POU 的指标。 称呼 : 构建 → 静态分析 菜单 在代码分析过程中, CODESYS Static Analysis 生成代码就像 构建 → 生成代码 命令。分析结果显示为错误 和警告 在消息视图中( 建造 类别)。数字是指对应的 规则 因为它们是在项目设置中定义的。显示消息的语法是 SA<规则编号>:<
命令:设置 功能 :该命令打开 静态分析设置 对话。 称呼 : 构建 → 静态分析 菜单 要求 : 包裹 CODESYS Static Analysis 已安装。 一个项目已打开。 本节内容如下 :