本文介绍了CodeNavi检查规则语言如何描述代码中的表达式。主要包括对象创建表达式、强制类型转换、类型判断表达式、一元表达式、二元表达式、条件表达式、方法引用表达式、lambda表达式和匿名内部类表达式。CodeNavi是一种适合编写静态分析规则的语言，可以满足用户对代码检查的各种需求。

本文介绍了代码和检查规则的语法结构，包括代码的基本元素和检查规则的缺陷模式。还介绍了适合编写静态分析规则的语言和CodeNavi工具的语法结构。最后介绍了CodeNavi插件。