如何用正确的行号和字符索引在ANTLR4中实现分离岛语法？

Question

我一直在开发一个支持嵌入式SQL语句的COBOL语法。对于不熟悉COBOL的人，这里有一个示例。

MOVE A TO B.
EXEC SQL
    SELECT C FROM T WHERE ID=1
    INTO :E
END-EXEC
MOVE F TO G

“exec SQL”和“end-exec”之间的代码使用了（经过特殊扩充的）SQL语法，这是孤岛语法的一个完美示例。

我知道这可以在ANTLR4中用Lexer模式实现。但我有另一个要求，即SQL语法应该与COBOL语法分离，以便SQL语法在嵌入到其他语言（如PL1）中时可以重用，而无需复制粘贴编程。

因此，我所做的是使用一个简单的lexer模式来捕获“exec SQL”和“end-exec”之间的任何内容，将SQL代码提取为字符串，并将其交给单独的SQL lexer（和解析器）。

所以问题是：在ANTLR4中是否有一种更简单的方法来单独实现岛语法（lexer和parser都是分开的），同时仍然在为岛部分生成的标记中保留正确的行号和char索引？

更新：我发现ANTLR4中有语法导入功能，我的同事告诉我我们一直在尝试，但失败了。问题是导入语法中的lexer模式不受支持，导致编译错误。这里正在跟踪这个问题。

Answer 1

为了扩展Bill的注释，在实例化SQL Parser/Lexer时，将EXEC块开头的行偏移量传递给它。实现一个自定义SQL标记，该标记将行号报告为偏移量加上SQL文本相对行号。让SQL TokenFactory将偏移量作为常量注入到生成的每个令牌中。

更新

使用模式来实现一个惯用的孤岛语法，不管是否使用include（至少对我来说很好），都是最自然的方法。

例如，如果解析树计算提供了一个用于动态执行SQL exec块的值，或者相反，依赖于这种执行返回的值，那么实际上您必须使用符号表，并将SQL执行的启动推迟到Walker。当然，您可以缓存每个不同的生成的SQL解析树，并用实例特定的数据重新初始化它们的符号表以便重用，而无需重新解析SQL块。

只是取决于你的真正要求是什么。