0

我正在开发一个小型编译器。在过去使用过的编译器中，我只是忽略了单元测试，通过系统测试进行所有测试。它工作得相当好，但我觉得它总是远非完美。这一次我很想尝试以不同的方式制作东西。

现在特别关注语义分析阶段，我希望我的每个访问者都有一组相关的单元测试。但要做到这一点，我必须完成两件事中的一件。我要么：

  1. 当我只想对与方法相关的访问者进行单元测试时，以允许我不必定义包、定义类等的方式构建我的语法。一个例子是测试给定方法中没有定义重复的变量——理想情况下，我不需要知道这个方法在包内的类中。遵循这条路径，我的 ANTLR 语法将能够解析诸如void m() { int x = 1; int y = 2; int x = 3; }尽管在现实世界中（对于最终用户）这不是允许的源代码，因为在我的语言中，方法必须始终包含在一个类中始终包含在包装中；

  2. 花时间学习 ANTLR 的来龙去脉，以及如何在我的 junit-tests 中以编程方式创建节点。诸如此类的东西

    MethodNode method = new MethodNode(); method.setName("m"); method.addChildren(new VarDecl("x", new IntegerExpr("1"))); method.addChildren(new VarDecl("y", new IntegerExpr("2"))); method.addChildren(new VarDecl("x", new IntegerExpr("3")));

    如果 ANTLR 的 API 对这种目的“友好”，这可能是一个合适的解决方案。我查了一下，被节点构造函数中的一些血腥细节吓到了（ProgramContext(ParserRuleContext parent, int invokingState)<-这绝对不是我，程序员，但我可能错了..）；

  3. 创建我自己的 AST，作为解析阶段的第一步，我将 ANTLR 的树转换为我的树。一方面这会有点麻烦，另一方面，完全控制树可以促进其他事情。

我只能假设这是编译器开发人员经常关注的问题。您如何处理这种特殊情况？

谢谢

4

2 回答 2

1

我确实有同样的问题（至少我希望如此，我承认我不太明白你对包中的包和类的了解是什么意思）并且由于我没有找到另一个解决方案，所以我自己创建了一个示例 -完整源代码可以在 GitHub 上找到。

该项目最重要的部分显然是Visitor：

public class MyVisitor extends DemoBaseVisitor<String> {
    @Override
    public String visitPlus(final DemoParser.PlusContext ctx) {
        return visit(ctx.left) + " PLUS " + visit(ctx.right);
    }

    @Override
    public String visitLiteralNumber(final DemoParser.LiteralNumberContext ctx) {
        return ctx.getText();
    }
}

我对该访客的任何测试：

public class MyVisitorTest {
    private final MyVisitor myVisitor = new MyVisitor();

    @Test
    public void visitPlus_joinsOperatorsWithWordPLUSAsSeparator() throws Exception {
        // setup
        final DemoParser.PlusContext plusNode = mock(DemoParser.PlusContext.class);
        plusNode.left = mockForVisitorResult(DemoParser.ExpressionContext.class, "2");
        plusNode.right = mockForVisitorResult(DemoParser.ExpressionContext.class, "4");

        // execution
        final String actual = myVisitor.visitPlus(plusNode);

        // evaluation
        assertEquals(actual, "2 PLUS 4");
    }

    private<T extends RuleContext> T mockForVisitorResult(final Class<T> nodeType, final String visitResult) {
        final T mock = mock(nodeType);
        when(mock.accept(myVisitor)).thenReturn(visitResult);
        return mock;
    }

    @Test
    public void visitLiteralNumber_returnsTextValueOfNumber() throws Exception {
        // setup
        final DemoParser.LiteralNumberContext literalNumberNode = mock(DemoParser.LiteralNumberContext.class);
        when(literalNumberNode.getText()).thenReturn("42");

        // execution
        final String actual = myVisitor.visitLiteralNumber(literalNumberNode);

        // evaluation
        assertEquals(actual, "42");
    }
}

此方法类似于您的解决方案 2：

花时间学习 ANTLR 的来龙去脉，以及如何在我的 junit-tests 中以编程方式创建节点。

然而，没有学习 ANTLR 的来龙去脉。相反，IO 只是使用一个模拟框架 (Mockito) 来生成我认为合适的树节点，并模拟树节点的接受方法，这样我就可以模拟访问的孩子而不模拟访问者本身的任何内容。

于 2015-03-21T16:26:24.787 回答
0

一个典型的解决方案是创建您希望以特定方式运行的输入文件，然后通过语义分析器运行它们以验证它们确实以这种方式运行。

于 2014-08-23T21:12:25.697 回答