new ArrayList();

名称	描述	值类型	示例	DSL 规则
name	方法名	字符串	new MethodRefTypeTest();	objectCreationExpression obc where obc.name == “MethodRefTypeTest”;
type	返回值类型	objectType节点	new MethodRefTypeTest();	objectCreationExpression obc where obc.type.name == “com.huawei.secbrella.kirin.test.sourcefile.methodRefType.MethodRefTypeTest”;
function	调用的构造方法	functionDeclaration节点	public class MethodRefTypeTest { MethodRefTypeTest() {} public static void main(String[] args) { new MethodRefTypeTest(); }	objectCreationExpression obc where obc.function.name == “MethodRefTypeTest”;
arguments	入参集合	valueAccess类节点、functionCall节点等的集合	new String(“Hello”);	objectCreationExpression obc where obc.arguments.size() == 1;
arguments[n]	第n个入参	valueAccess类节点、functionCall节点等的集合	new String(“Hello”);	objectCreationExpression obc where obc.arguments[0].value == “Hello”;

3.2. 强制类型转换(castExpression)

类型强制转换（Type Casting）是指将一个类型的对象转换成另一个类型的对象。

代码样例

double d = 10.5; // 强制转换，需要显式指定目标类型 int i = (int) d; Object obj = new String("Hello"); // 安全的向下转型 String str = (String) obj;

图例

名称	描述	值类型	示例	DSL 规则
castType	目标类型	node	ArrayList second = (ArrayList) list;	castExpression ce where ce.castType.name == “java.util.ArrayList”;
operand	操作对象	node	ArrayList second = (ArrayList) list;	castExpression ce where ce.operand.name == “list”;

3.3. 类型判断表达式(instanceofExpression)

instanceof 关键字用于检查一个对象是否是特定类的实例或者是其子类的实例。

代码样例

if (animal instanceof Dog) { ((Dog) animal).makeSound(); } Object[] objects = new Object[10]; if (objects instanceof Object[]) { System.out.println("objects is an array of Object"); }

图例

名称	描述	值类型	示例	DSL 规则
lhs	左值	任意节点	father instanceof Father	instanceofExpression ie where ie.lhs.name == “father”;
rhs	右值，类型值	全类名常量	list instanceof List	instanceofExpression ie where ie.rhs.name == “java.util.List”;

3.4. 一元表达式(unaryOperation)

一元表达式包含单个操作数。

代码样例

// 一元算术表达式 // 递增：++x（将 x 的值增加 1） // 递减：--x（将 x 的值减少 1） // 前置递增/递减： int a = 5; int b = ++a; // a 和 b 都是 6 int c = a--; // a 是 6, c 是 5 // 后置递增/递减： int a = 5; int b = a++; // a 是 6, b 是 5 int c = a--; // a 是 5, c 是 6 // 一元逻辑表达式 // 逻辑非：!x（如果 x 为 true，则结果为 false，反之亦然） boolean flag = true; boolean notFlag = !flag; // notFlag 是 false // 一元位运算表达式 // 按位取反：~x（将 x 的每个位取反） int num = 5; // 二进制表示为 101 int bitNotNum = ~num; // 结果是 -6, 二进制表示为 110...（32 个 1），因为整数溢出

图例

名称	描述	值类型	示例	DSL 规则
isPrefix	是否运算符前置	布尔值	a++;	unaryOperation uo where uo.isPrefix == false;
operand	操作对象	任意节点	i++;	unaryOperation uo where uo.operand.name == “i”;
operator	运算符	字符串	i++;	unaryOperation uo where uo.operator == “++”;

3.5. 二元表达式(binaryOperation)

二元表达式包含两个操作数，并且返回一个单一的值。

代码样例

// 算术二元表达式 // 加法：x + y // 减法：x - y // 乘法：x * y // 除法：x / y // 取模（求余数）：x % y int a = 10; int b = 3; int sum = a + b; // 13 int difference = a - b; // 7 int product = a * b; // 30 int quotient = a / b; // 3 int remainder = a % b; // 1 // 比较二元表达式 // 等于：x == y // 不等于：x != y // 大于：x > y // 小于：x < y // 大于等于：x >= y // 小于等于：x <= y int x = 5; int y = 10; boolean isEqual = (x == y); // false boolean isNotEqual = (x != y); // true boolean isLessThan = (x < y); // true boolean isGreaterThan = (x > y); // false boolean isLessThanOrEqual = (x <= y); // true boolean isGreaterThanOrEqual = (x >= y); // false // 逻辑二元表达式 // 逻辑与：x && y // 逻辑或：x || y // 逻辑异或：x ^ y // 条件与（&）：x & y（当 x 为 true 时才判断 y） // 条件或（|）：x | y（当 x 为 true 时，y 的结果将被忽略） boolean condition1 = true; boolean condition2 = false; boolean andResult = condition1 && condition2; // false boolean orResult = condition1 || condition2; // true boolean xorResult = condition1 ^ condition2; // true int num1 = 5; int num2 = 3; boolean bitAndResult = num1 & num2; // true, 因为 5 & 3 的二进制表示都是 101 // 位运算二元表达式 // 位与：x & y // 位或：x | y // 位异或：x ^ y // 位左移：x << n（将 x 的二进制表示向左移动 n 位） // 位右移（算术）：x >> n（将 x 的二进制表示向右移动 n 位，右边用符号位填充） // 位右移（逻辑）：x >>> n（将 x 的二进制表示向右移动 n 位，右边用0填充） int number = 5; // 在内存中的表示是 101 int resultBitwiseAnd = number & 3; // 结果是 1, 因为 101 & 011 = 001 int resultBitwiseOr = number | 3; // 结果是 7, 因为 101 | 011 = 111 int resultBitwiseXor = number ^ 3; // 结果是 2, 因为 101 ^ 011 = 110 int resultLeftShift = number << 1; // 结果是 10, 因为 101 向左移动一位变成 1010 int resultRightShift = number >> 1; // 结果是 2, 因为 101 向右移动一位变成 10 int resultRightShiftLogical = number >>> 1; // 结果是 2, 逻辑右移，忽略符号位 // 赋值二元表达式 // 简单赋值：x = y // 加等于：x += y // 减等于：x -= y // 乘等于：x *= y // 除等于：x /= y // 模等于：x %= y // 位与等于：x &= y // 位或等于：x |= y // 位异或等于：x ^= y // 位左移等于：x <<= n // 位右移等于：x >>= n // 位右移逻辑等于：x >>>= n int num = 5; num += 3; // num 现在是 8 num *= 2; // num 现在是 16 num /= 4; // num 现在是 4 num %= 3; // num 现在是 1

图例

名称	描述	值类型	示例	DSL 规则
lhs	二元表达式的左值	literal类节点、valueAccess类节点、functionCall类节点	int i = 1;	binaryOperation bo where bo.lhs.name == “i”;
operator	二元表达式的操作符	字符串	while (i == 1)	binaryOperation bo where bo.operator == “==”;
rhs	二元表达式的右值	literal类节点、valueAccess类节点、functionCall类节点	a > b;	binaryOperation bo where bo.rhs.name == “b”;
operands	二元表达的操作对象（左值和右值）	节点集合	a > b;	binaryOperation bo where bo.operands contain op where op.name == “a”;

3.6. 条件表达式/三目运算(ternaryOperation)

条件表达式，也称为三目运算符（Ternary Operator），是一种简洁的条件语句，格式如下：

result = condition ? value_if_true : value_if_false;

这里的 condition 是一个布尔表达式，value_if_true 是当条件为 true 时的结果，而 value_if_false 是当条件为 false 时的结果。这个表达式的结果 result 将是两个值中的一个，取决于条件的真假。

样例代码

// 基本使用 int a = 10; int b = 20; // max 将被赋值为 20，因为 20 大于 10 int max = (a > b) ? a : b; // 嵌套使用 int x = 5; // result 将是 "x 大于 5" String result = (x > 10) ? "x 大于 10" : ((x > 5) ? "x 大于 5" : "x 小于等于 5"); // 与赋值结合 int score = 85; // grade 将被赋值为 "B" String grade = (score >= 90) ? "A" : ((score >= 80) ? "B" : "C"); // 用于方法调用 // outcome 将随机是 "Heads" 或 "Tails" String outcome = (Math.random() > 0.5) ? "Heads" : "Tails"; // 与循环结合 for (int i = 0; i < 10; i++) { // 将打印出 0, -1, 4, -3, 等等 int value = (i % 2 == 0) ? i * i : -i; System.out.println(value); }

图例

名称	描述	值类型	示例	DSL 规则
condition	判断条件	binaryOperation	boolean res = num > 1 ? true : false;	ternaryOperation tp where tp.condition.lhs.name == “num”;
thenExpression	真的操作	任意节点	boolean res = num > 1 ? true : false;	ternaryOperation tp where tp.thenExpression contain literal ll where ll.value == true;
elseExpression	假的操作	任意节点	String str = num > 1 ? “true” : “false”;	ternaryOperation tp where tp.elseExpression contain literal ll where ll.value == “false”;

3.7. 方法引用表达式(methodReferenceExpression)

方法引用（Method References），它是一种快捷的Lambda表达式，允许你直接引用已有方法或构造函数。方法引用通常用于实现简单的函数式接口。

样例代码

// 静态方法引用 List<String> list = Arrays.asList("a", "b", "c"); // System.out::println 是一个方法引用，它引用了 System.out 对象的 println 静态方法。 list.forEach(System.out::println); // 实例方法引用 // 当Lambda体需要调用一个实例方法时，第一个参数将成为方法的调用者： List<String> list = Arrays.asList("hello", "world"); // String::toLowerCase 是一个方法引用，它引用了 String 类的 toLowerCase 实例方法。 String result = list.stream() .map(String::toLowerCase) .collect(Collectors.joining(" ")); // result 将是 "hello world" // 构造函数引用 // StringBuilder::new 是一个构造函数引用，它引用了 StringBuilder 类的构造函数。 Function<String, StringBuilder> constructor = StringBuilder::new; StringBuilder sb = constructor.apply("Hello World"); // 特定类的任意对象的实例方法引用 // 当Lambda的第一个参数是某个类的对象时，可以使用类名加 :: 加方法名的方式引用该类的实例方法： List<String> names = Arrays.asList("Alice", "Bob", "Charlie"); // upperCaseNames 包含了 "ALICE", "BOB", "CHARLIE" List<String> upperCaseNames = names.stream() .map(String::toUpperCase) .collect(Collectors.toList()); // 数组的实例方法引用 // 对于数组，可以使用数组类型加 ::new 来引用数组的构造方法： // String[]::new 是一个方法引用，它引用了 String[] 类型的构造方法。 Function<Integer, String[]> creator = String[]::new; // 创建了一个长度为3的String数组 String[] strings = creator.apply(3);

图例

名称	描述	值类型	示例	DSL 规则
name	方法名	字符串	Supplier<Integer> size = list::size;	methodReferenceExpression mf where mf.name == “size”;
function	调用的方法	functionDeclaration节点	Supplier<Integer> size = list::size;	methodReferenceExpression mf where mf.function.name == “size”;
type	方法返回值类型	objectType节点	Supplier<Integer> size = list::size;	methodReferenceExpression mf where mf.type.name == “int”;

3.8. lambda表达式(lambdaExpression)

Lambda 表达式是一种简洁的匿名函数表达式，允许你将行为作为参数传递给方法或存储在变量中。Lambda 表达式提供了一种非常灵活和强大的方式来处理函数式编程，使得代码更加简洁和表达性强。

样例代码

// 基本 Lambda 表达式 // 这个 Lambda 表达式没有参数，执行的操作是打印 "Hello, World!"。 () -> System.out.println("Hello, World!"); // 带参数的 Lambda 表达式 // 这个 Lambda 表达式接受两个参数 x 和 y，执行的操作是将它们相加。 (x, y) -> x + y // 使用 Lambda 表达式实现 Runnable // 这里创建了一个 Runnable 实例，它将在调用 run 方法时执行 Lambda 表达式。 Runnable runnable = () -> System.out.println("I'm running on a thread!"); runnable.run(); // 使用 Lambda 表达式排序集合 // 在这个例子中，Lambda 表达式实现了 Comparator 接口，用于按字典顺序排序字符串。 List<String> names = Arrays.asList("Alice", "Bob", "Charlie"); Collections.sort(names, (name1, name2) -> name1.compareTo(name2)); // 使用 Lambda 表达式过滤集合 // 这里使用 Lambda 表达式创建了一个流，过滤出长度小于 5 的名字。 List<String> shortNames = names.stream() .filter(name -> name.length() < 5) .collect(Collectors.toList()); // 输出集合中的单数 list.forEach(integer -> { if (integer % 2 == 1) { System.out.println("单数"); } }); // 使用 Lambda 表达式转换集合 // 在这个例子中，Lambda 表达式用于将每个名字转换为其长度。 List<Integer> lengths = names.stream() .map(name -> name.length()) .collect(Collectors.toList()); // 使用 Lambda 表达式实现简单的函数 // Lambda 表达式 name -> name.length() 实现了 Function 接口，用于返回字符串的长度。 Function<String, Integer> lengthFunction = name -> name.length(); int length = lengthFunction.apply("Hello"); // 使用 Lambda 表达式实现消费者 // Lambda 表达式 name -> System.out.println(name.toUpperCase()) 实现了 Consumer 接口，用于打印字符串的大写形式。 Consumer<String> consumer = name -> System.out.println(name.toUpperCase()); consumer.accept("Alice"); // 使用 Lambda 表达式实现供应商 // Lambda 表达式 () -> "Hello, Lambda!" 实现了 Supplier 接口，用于提供字符串。 Supplier<String> supplier = () -> "Hello, Lambda!"; String message = supplier.get();

图例

名称	描述	值类型	示例	DSL 规则
parameters	参数	paramDeclaration节点	list.forEach(integer -> { if (integer == 1) { System.out.println(“单数”); } });	lambdaExpression le where le.parameters contain p where p.name == “integer”;
body	方法体	block语句块	list.forEach(integer -> { if (integer == 1) { System.out.println(“单数”); } });	lambdaExpression le where le.body contain variableAccess va where va.name == “integer”;
body.statementNum	语句数量	数值	list.forEach(integer -> { if (integer == 1) { System.out.println(“单数”); } });	lambdaExpression le where le.body.statementNum == 1;
firstStatement	第一条语句	任意节点	list.forEach(integer -> { if (integer == 2) { System.out.println(“单数”); } });	lambdaExpression le where le.firstStatement contain ifBlock;
lastStatement	最后一条语句	任意节点	list.forEach(integer -> { if (integer == 3) { System.out.println(“单数”); } System.out.print(“双数”); });	lambdaExpression le where le.lastStatement contain functionCall fc where fc.name == “print”;

3.9. 匿名内部类表达式(anonymousInnerClassExpression)

匿名内部类是当需要创建一个仅用于一次使用的类时使用的一种特殊类。它没有名称，并且通常是在声明的同时实例化。

匿名内部类提供了一种快速实现接口或继承类的方法，而无需定义一个具体的类名。这在创建一次性使用的类时非常有用，可以减少代码的冗余。

样例代码

// 作为方法参数 // 调用方法时使用匿名内部类 // 假设有一个方法需要一个 List 作为参数，我们可以直接在调用时创建一个匿名内部类： // 这里，我们创建了一个实现了 ArrayList 的匿名内部类，并在构造器中添加了元素。 process(new ArrayList<String>() { { add("Item 1"); add("Item 2"); } }); // 实现接口 // 在这个例子中，我们创建了一个实现了 Runnable 接口的匿名内部类，并重写了 run 方法。 new Thread(new Runnable() { @Override public void run() { System.out.println("Hello from a thread!"); } }).start(); // 重写接口的多个方法 // 使用 Comparator 进行排序 // 在这个例子中，我们创建了一个实现了 Comparator 接口的匿名内部类，用于按字典顺序比较字符串。 List<String> names = Arrays.asList("Bob", "Alice", "Eve"); Collections.sort(names, new Comparator<String>() { @Override public int compare(String o1, String o2) { return o1.compareTo(o2); } }); // 如果需要实现一个接口并重写多个方法，也可以使用匿名内部类： new SomeInterface() { @Override public void method1() { // 实现细节 } @Override public void method2() { // 实现细节 } }; // 继承一个类 // 匿名内部类也可以继承一个类，并重写其方法： // 在这个例子中，我们创建了一个继承自 SomeClass 的匿名内部类，并重写了 someMethod 方法。 new SomeClass() { @Override public void someMethod() { // 重写方法 } }; new MemberClass() { // 告警行 @Override public void f() { int i = 0; System.out.println("aaaaa"); } }.f();

图例

名称	描述	值类型	示例	DSL 规则
name	名字	字符串	public static void main(String[] args) { new MemberClass() { @Override public void f() { } }.f(); }	anonymousInnerClassExpression ac where and( ac.name == “MemberClass”, ac.enclosingFunctionName == “main” );
anonymousClassBody	类代码块	任意节点集合	public static void main(String[] args) { new MemberClass() { @Override public void f() { } }.f(); }	anonymousInnerClassExpression ac where ac.anonymousClassBody ab contain functionDeclaration;

4. CodeNavi插件

在Vscode 的插件中，查询:codenavi，并安装。

使用插件的链接安装： https://marketplace.visualstudio.com/items?itemName=HuaweiCloud.codenavi

点击关注，第一时间了解华为云新鲜技术~