使用 Rascal 在 Java 中定位方法/变量声明

Question

我正在寻找一个库或工具，它们提供构建数据结构的功能，我可以使用它来查找在另一个范围内的类中使用的变量或方法声明。

示例代码：

class A
{
    public void methodA()
    {
         B external = new B();
         external.methodB();    // I would like to know the name/location where this method is declared. something like: classB.java ... line 3
    }
}

class B
{
    public void methodB()
    {

    }
}`

Rascal 会是检索此类信息的好人选吗？我以前一直在使用该工具。据我所知，我可以创建一个 AST，但这没有足够的信息来确定某些变量/方法的声明范围。 如果这不是合适的候选人，对替代方案有什么想法吗？我目前正在研究的候选人名单是：Antlr/symtab； JavaParser/JavaSymbolSolver；勺子;流氓； JDT

Answer 1

是的，肯定有几个选项可以找出声明的位置。

第一个答案是从 AST 中的任何节点检索decl 信息，如下所示，例如：

 rascal>myTree.decl
 loc: |java+parameter:///myClass/fac(int)/n|

从位置值可以看出这是myClass类中名为fac的方法中名为n的参数。

现在您可以使用位置的访问字段和功能（例如myTree.decl.path 等）剖析位置以查找父级，或者您可以在 AST 构建器也可以构建的 M3 模型中进一步查找您的信息：

 model = createM3FromEclipseProject(|project://myProject);

此模型包含如下关系：rel[loc, loc] containment，均在此处定义：

• 核心语言模型：https://github.com/usethesource/rascal/blob/master/src/org/rascalmpl/library/analysis/m3/Core.rsc
• Java 扩展：https://github.com/usethesource/rascal/blob/master/src/org/rascalmpl/library/lang/java/m3/Core.rsc

要找到包含关系中的父母，您可以尝试以下操作：

model.containment[myTree.decl]

或者这个用于反向查找：

invert(model.containment)[myTree.decl]

对于您的特定问题，rel[loc src, loc name] uses 关系也很有趣，它将完全限定的声明名称映射到源位置使用，rel[loc name, loc src] declarations 将限定名称映射到它们被声明的位置。