解读代码检查规则语言CodeNavi的表达式节点和属性
原文中文，约10700字，阅读约需26分钟。
📝
内容提要
本文介绍了CodeNavi检查规则语言如何描述代码中的表达式。主要包括对象创建表达式、强制类型转换、类型判断表达式、一元表达式、二元表达式、条件表达式、方法引用表达式、lambda表达式和匿名内部类表达式。CodeNavi是一种适合编写静态分析规则的语言，可以满足用户对代码检查的各种需求。
❓
Q&A
CodeNavi是什么？
CodeNavi是一种适合编写静态分析规则的语言，旨在满足用户对代码检查的需求。
CodeNavi支持哪些类型的代码表达式？
CodeNavi支持对象创建表达式、强制类型转换、类型判断表达式、一元表达式、二元表达式、条件表达式、方法引用表达式、lambda表达式和匿名内部类表达式。
什么是一元表达式？
一元表达式包含单个操作数，执行单一操作，例如递增或逻辑非。
如何使用条件表达式？
条件表达式的格式为：result = condition ? value_if_true : value_if_false，根据条件的真假返回不同的值。
什么是lambda表达式？
Lambda表达式是一种匿名函数表达式，允许将行为作为参数传递给方法，简化代码。
CodeNavi中的token是什么？
Token是源代码中的最小语法单位，分为关键字、标识符、字面量、运算符和分隔符等。
