CodeNavi自定义规则节点属性（类型节点）

节点

描述

示例

属性

名称

描述

值类型

示例

type

类型节点，是AST节点的通用属性，表示一个变量、字段、方法返回值等的类型，变量声明的类型按”=“左边的声明类型算类型

public static <R> List<R> list(List<R> list) {
    List<R> values = new ArrayList<>(list.size());
    values.addAll(list);

    return values;
}

name

类型的名称（包含包名的全类型）
int
String

字符串

public class Person {

}

public class MyClass {
    public void fun() {
        Person person = new Person();
        List<R> values = new ArrayList<>(list.size());
    }
}

variableDeclaration vd where
    vd.type.name == "java.util.List";

definition

类型的定义

recordDeclaration节点

public class Person {

}

public class MyClass {
    public void fun() {
        Person person = new Person();
    }
}

variableDeclaration vd where
    vd.type.definition.name
    == "com.huawei.secbrella.kirin.Persion";

superTypes

类型的父类型

type节点

List<R> values = new ArrayList<>(list.size());

variableDeclaration vd where
    vd.type.superTypes contain parentType where
    parentType.name == "java.util.Collection";

arrayType

数组类型，继承于type节点

int[] arr = new int[1];

name

数组类型的名称

字符串

int[] arr = new int[1];

variableDeclaration vd where and(
    vd.type is arrayType,
    vd.type.name == "int[]"
);

dimension

数组的维度大小

数字

int[][] arr = new int[1][1];

variableDeclaration vd where and(
    vd.type is arrayType,
    vd.type.dimension == 2
);

baseType

数组类型的基础类型

objectType节点

int[] arr = new int[1];

variableDeclaration vd where and(
    vd.type is arrayType,
    vd.type.baseType.name == "int"
);

objectType

对象类型，包括类、接口类、枚举类、泛型类，继承与objectType节点

Map<String, String> map = new HashMap<>();
Person person = new Person();

name

类型的名称（包含包名的全类型）

名称

Person person;
Map<Integer, List<List<List<String>>>>

variableDeclaration vd where
     vd.type.name == "java.util.Map";

isBounded

泛型类型是否 extends/super 了另一个类, 仅对泛型类型生效

布尔值

Map<String, ? extends List> // true

variableDeclaration vd where
vd.type isBounded;

boundedOperator

泛型类型绑定符号是"extends" 或 "super", 仅对泛型类型生效

字符串

Map<String, ? extends List>

variableDeclaration vd where
     vd.type.boundedOperator == "extends";

genericBoundedType

泛型类型绑定的类型

type节点

Map<String, ? extends List>

variableDeclaration vd where
     vd.type.boundedType.name endWith "List";

generics

类型的直接泛型类

type节点集合

Map<Integer, List<List<List<String>>>>

variableDeclaration vd where vd.type vt where
vt.generics.size() == 2;

allGenerics

类型的所有直接+间接泛型类

type节点集合

Map<Integer, List<List<List<String>>>>

variableDeclaration vd where vd.type vt where
    vt.allGenerics.size() == 5;

terminalGenerics

类型的末端泛型类

node list

Map<Integer, List<List<List<String>>>>

variableDeclaration vd where vd.type vt where
    vt.terminalGenerics contain ty where ty.name == "java.lang.String";