【问题标题】:Checking Java code fragments using eclipse AST使用 Eclipse AST 检查 Java 代码片段
【发布时间】:2011-04-24 09:27:50
【问题描述】:

我正在尝试使用 eclipse 抽象语法树检查一些 Java 代码片段的语法和逻辑正确性。

我对如何做到这一点进行了一些研究,我阅读了文档,但我没有找到一个明确的例子。

所以,我想检查一组语句的正确性,例如:

System.out.println("I'm doing something");
callAMethod(7);
 System.out.println("I'm done");**sdsds**

类似的东西。你明白了。在这里,sdsds 应该被标记为错误。

我的问题是如何检测 Java 文本在语法或词法上是否不正确?以及如何获取描述错误的消息?

我的代码是:

ASTParser parser = ASTParser.newParser(AST.JLS3);
parser.setKind(ASTParser.K_STATEMENTS);
parser.setSource(textToParse.toCharArray());
parser.setResolveBindings(false); 
ASTNode node = (ASTNode) parser.createAST(null); 
 // If MALFORMED bit is 1, then we have an error. The position of MALFORMED 
 being 1, then this should detect the error. **But it doesn't. What's the problem?**
    if (node.getFlags() % 2 == 1) { 
    // error detected
}

if (node instanceof CompilationUnit) {
    // there are severe parsing errors (unrecognized characters for example)
    if (((CompilationUnit) node).getProblems().length != 0) {
        // error detected
    }
}

希望有人可以帮助我。非常感谢!

【问题讨论】:

  • 您提供的“不正确”示例在句法或逻辑上并非不正确。只有在整个 Java 应用程序中没有包“Sy7stem”时,才语义上不正确。 解析器 不知道;您必须超越解析名称和类型解析(实际上您只能在整个程序上执行此操作。尝试一个不同的,明显损坏的,例如涉及文本 [;] 在任何情况下都不是有效的 Java 语法。
  • 谢谢。你对我的例子完全正确。我编辑了这个问题,这个例子现在很好(我认为)。代码仍然不起作用。 :(
  • 我不知道 Eclipse 解析器 API 的细节,所以我不知道如何帮助您检查“语法错误”。只是想明确一下,您可以从解析器中获得的 all 是“错误的语法”;您无法获得“逻辑正确性”(无论这意味着它是否不同于“语法上有效”)。如果您需要进行更复杂的检查而不仅仅是语法,那么整个方法是不完整的或不起作用。 Eclipse API 可能会提供更多帮助。

标签: java eclipse syntax abstract-syntax-tree


【解决方案1】:

如果将解析器类型更改为 K_COMPILATION_UNIT 并调用解析器,则可以询问返回的编译单元是否有问题。

    parser.setKind(ASTParser.K_COMPILATION_UNIT);
    final CompilationUnit cu = (CompilationUnit) parser.createAST(null);
    IProblem[] problems = cu.getProblems();
    for(IProblem problem : problems) {
        System.out.println("problem: " + problem.getMessage() + problem.getSourceStart());
    }

【讨论】:

  • 谢谢。它以某种方式工作。问题是,无论我向解析器提供什么文本,第一个问题始终是这个:标记“++”上的语法错误,* 预期在此标记0 之前。即使输入中的任何地方都没有“++”。这种行为的原因是什么?无论如何,再次感谢:)
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 2012-11-27
  • 2010-10-20
  • 1970-01-01
  • 2010-10-26
  • 2013-12-28
  • 1970-01-01
  • 2011-02-03
相关资源
最近更新 更多