python如何如何打印javalang.ast.Node中所有节点名称

要打印`javalang.ast.Node`中所有节点名称，可以使用Python中的递归函数来遍历AST树，并且使用`type()`函数来获取每个节点的类型，然后打印出节点名称。

下面是一个示例代码：

import javalang

def print_node_names(node):
    print(type(node).__name__)
    for _, child_node in node.filter(javalang.tree.Node):
        print_node_names(child_node)

# 示例代码
source_code = '''
public class HelloWorld {
    public static void main(String[] args) {
        System.out.println("Hello, World!");
    }
}
'''

tree = javalang.parse.parse(source_code)
print_node_names(tree)

这里定义了一个递归函数`print_node_names()`，它接受一个`javalang.ast.Node`对象作为参数，并打印该节点的类型名称。然后，它遍历该节点的所有子节点，并对每个子节点调用`print_node_names()`函数。

在示例代码中，我们首先使用javalang库的`parse()`函数解析Java源代码并获取AST树。然后，我们调用`print_node_names()`函数来打印AST树中的所有节点类型名称。