首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Antlr4中的Antr3规则重写

ANTLR(Another Tool for Language Recognition)是一种强大的工具,用于生成解析器和词法分析器。ANTLR4与ANTLR3在语法规则的定义和处理上有一些显著的变化。如果你有一个ANTLR3的语法规则,并希望将其迁移到ANTLR4,需要注意以下几点:

主要变化

  1. 语法文件头部声明
    • ANTLR3使用grammar关键字,而ANTLR4也使用grammar关键字,但有一些额外的选项和注释方式。
  2. 词法和语法规则的分离
    • 在ANTLR3中,词法规则和语法规则可以混合在一起。
    • 在ANTLR4中,词法规则(大写字母开头)和语法规则(小写字母开头)仍然可以混合,但推荐分开定义。
  3. 返回值和参数
    • ANTLR3使用returnsparameters来定义规则的返回值和参数。
    • ANTLR4使用->操作符来定义返回值,并且参数可以直接在规则中定义。
  4. 树结构
    • ANTLR3使用^!来构建抽象语法树(AST)。
    • ANTLR4不再使用这些符号,而是使用显式的树构建器和访问器。

示例

假设你有一个ANTLR3的语法文件Example.g,其中包含以下规则:

代码语言:javascript
复制
grammar Example;

options {
  output=AST;
}

tokens {
  PLUS = '+' ;
  MINUS = '-' ;
}

expr
  : term ( (PLUS^ | MINUS^) term )*
  ;

term
  : INT
  ;

INT
  : '0'..'9'+
  ;

重写为ANTLR4

以下是将上述ANTLR3语法重写为ANTLR4的示例:

代码语言:javascript
复制
grammar Example;

expr
  : term ( (PLUS | MINUS) term )*
  ;

term
  : INT
  ;

PLUS: '+';
MINUS: '-';
INT: [0-9]+;
WS: [ \t\r\n]+ -> skip;

详细解释

  1. 语法文件头部声明
    • 语法文件头部声明保持不变,但不再需要options块来指定output=AST,因为ANTLR4默认生成解析树。
  2. 词法和语法规则的分离
    • 词法规则(PLUS, MINUS, INT, WS)和语法规则(expr, term)仍然可以混合在一起,但推荐分开定义。
  3. 返回值和参数
    • 在ANTLR4中,不再需要显式地使用returnsparameters,可以直接在规则中定义。
  4. 树结构
    • ANTLR4不再使用^!来构建AST。相反,ANTLR4生成解析树,你可以使用访问器或监听器来遍历和处理解析树。

访问器和监听器

在ANTLR4中,你可以使用访问器(Visitor)或监听器(Listener)来处理解析树。以下是一个简单的访问器示例:

代码语言:javascript
复制
import org.antlr.v4.runtime.*;
import org.antlr.v4.runtime.tree.*;

public class ExampleVisitor extends ExampleBaseVisitor<Integer> {
    @Override
    public Integer visitExpr(ExampleParser.ExprContext ctx) {
        int left = visit(ctx.term(0));
        for (int i = 1; i < ctx.term().size(); i++) {
            if (ctx.getChild(2 * i - 1).getText().equals("+")) {
                left += visit(ctx.term(i));
            } else {
                left -= visit(ctx.term(i));
            }
        }
        return left;
    }

    @Override
    public Integer visitTerm(ExampleParser.TermContext ctx) {
        return Integer.parseInt(ctx.INT().getText());
    }

    public static void main(String[] args) throws Exception {
        CharStream input = CharStreams.fromString("3 + 5 - 2");
        ExampleLexer lexer = new ExampleLexer(input);
        CommonTokenStream tokens = new CommonTokenStream(lexer);
        ExampleParser parser = new ExampleParser(tokens);
        ParseTree tree = parser.expr();
        ExampleVisitor visitor = new ExampleVisitor();
        int result = visitor.visit(tree);
        System.out.println("Result: " + result);
    }
}
页面内容是否对你有帮助?
有帮助
没帮助

相关·内容

  • 笔记:写Flink SQL Helper时学到的一些姿势

    这块其实是编译原理的一部分,属于前端编译部分,并未涉及后端编译。见:github.com/camilesing/…中的 // 使用生成的词法分析器和解析器进行语法检查 const inputStream = new ANTLRInputStream(event.getText()); //词法解析 const lexer = new FlinkSQLLexer(inputStream); const tokenStream = new CommonTokenStream(lexer); //语法解析 const parser = new FlinkSQLParser(tokenStream); parser.removeErrorListeners(); parser.addErrorListener({ syntaxError: (recognizer: Recognizer<any, any>, offendingSymbol: any, line: number, charPositionInLine: number, msg: string, e: RecognitionException | undefined): void => { vscode.window.showErrorMessage("Parser flink sql error. line: " + line + " position: " + charPositionInLine + " msg: " + msg); }, }) parser.compileParseTreePattern // 解析文件内容并获取语法树 const parseTree = parser.program(); 写这块代码我用到了Antlr4-TS这个库。我根据一些Antlr4的语法规则,生成了对应的代码,并将输入内容丢进这些类,让它们吐出结果。在了解Antlr相关的语法规则时,让我特别震撼——类似于刚毕业一年时接触到DSL时的震撼。通过一系列规则的描述,竟然可以生产如此复杂、繁多的代码,巨幅解放生产力。这些规则是一种很美又具有实际价值的抽象。 那让我们抛开Antlr这个框架的能力,如果去手写一个词法、语法分析的实现,该怎么做呢? 在编程语言里,一般会有保留字和标识符的概念。保留字就是这个语言的关键字,比如SQL中的select,Java中的int等等,标识符就是你用于命名的文字。比如public class Person中的Person,select f1 as f1_v2 from t1 中的f1,f1_v2,t1。 再扩展一下概念,我们以int a=1;这样一段代码为例子,int 是关键字,a是标识符,=是操作符,;是符号(结束符)。搞清楚哪些词属于什么类型,这就是词法解析器要做的事。那怎么做呢?最简单的方法其实就是按照一定规则(比如A-Za-z$)一个个去读取,比如读到i的时候,它要去看后面是不是结束符或者空格,也就上文提到的的peek,如果不为空,就要继续往后读,直到读到空格或者结束符。那么读取出来是个int,就知道这是个关键字。 伪代码如下: 循环读取字符 case 空白字符 处理,并继续循环 case 行结束符 处理,并继续循环 case A-Za-z$_ 调用scanIden()识别标识符和关键字,并结束循环 case 0之后是X或x,或者1-9 调用scanNumber()识别数字,并结束循环 case , ; ( ) [ ]等字符 返回代表这些符号的Token,并结束循环 case isSpectial(),也就是% * + - | 等特殊字符 调用scanOperator()识别操作符 ... 这下我们知道了int a=1;在词法解析器看来其实就是关键字(类型) 标识符 操作符 数字 结束符。这样的写法其实是符合Java的语法规则的。反过来说:int int=1;是能够通过词法分析的,但是无法通过语法分析,因为关键字(类型) 关键字(类型) 操作符 数字 结束符是不符合Java的语法定义的。 这个时候可能会有人问,为啥要有词法分析这一层?都放到语法分析这一层也是可以做的啊。可以做,但会很复杂。而且一般软件工程中会都做分层,避免外面的变动影响到里面的核心逻辑。 举个例子:后续Java新增了一个类型,如果词法分析、语法分析是拆开的,那么只要改词法分析层的一些代码就行了,语法分析不用。但是如果没有词法分析这一层,语法分析的代码会有很多,而且一点点改动就很容易影响到这一层。 在此之后就会生成语法树。后续我打算做一些基于语法树的分析,Antlr提供了两种读语法节点的方式,一种是Vistor,一种是Listeners。前者意

    01

    我参与阿里巴巴 ASoC-Seata 的一些感悟

    我先来说说 Seata 这个项目的 idea 是怎么来的。一直就有参与开源项目的打算,一个事物的兴起必定或大或小引发一定的问题,微服务就是这样,分布式事务概念泛化的同时,也带来了一个技术问题,微服务架构下分布式数据一致性该如何保证?这几年涌现出不少分布式事务框架,比如ByteTCC、TCC-transaction、EasyTransaction 以及最近很火爆的 Seata。想要破解罪恶,就必须接近它,甚至成为它。我是去年 8 月份从 GitHub 开始关注 Seata 项目的,初步熟悉后,我觉得它的设计理念非常好,我对它产生了浓厚的兴趣,那个时候就萌发了我要成为这个项目的贡献者。偶然的机会看到 Seata issue发现了 ASoC 这个活动。

    02
    领券