来自野牛的 ANTLR 语法 [英] ANTLR grammar from bison

问题描述

我正在尝试将一个语法从 bison 翻译成 ANTLR.野牛的语法本身非常简单，但我找不到这样做的简单方法.

I'm trying to translate a grammar from bison to ANTLR. The grammar itself is pretty simple in bison but I cannot find a simple way for doing this.

bison 中的语法:

Grammar in bison:

expr = expr or expr | expr and expr | (expr)

欢迎任何提示/链接/指针.

Any hints/links/pointers are welcome.

谢谢，尤利安

推荐答案

在 ANTLR 中，您不能创建左递归规则:

In ANTLR, you cannot create left recursive rules:

a : a b
  ;

尾递归很好:

a : b a
  ;

有关左递归规则的更多信息，请参阅 ANTLR 的 Wiki.

For more information on left recursive rules, see ANTLR's Wiki.

因此，您的示例可能如下所示:

So, your example could look like:

parse
  :  expr+ EOF
  ;

expr
  :  orExpr
  ;

orExpr
  :  andExpr ('or' andExpr)*
  ;

andExpr
  :  atom ('and' atom)*
  ;

atom
  :  Boolean
  |  '(' expr ')'
  ;

Boolean
  :  'true'
  |  'false'
  ;

这是 Java 中的一个小演示:

Here's a small demo in Java:

grammar BoolExp;

@members {
  public static void main(String[] args) throws Exception {
    if(args.length != 1) {
      System.out.println("Usage:");
      System.out.println(" - Windows    : java -cp .:antlr-3.2.jar BoolExpParser \"EXPRESSION\"");
      System.out.println(" - *nix/MacOS : java -cp .;antlr-3.2.jar BoolExpParser \"EXPRESSION\"");
      System.exit(0);
    }
    ANTLRStringStream in = new ANTLRStringStream(args[0]);
    BoolExpLexer lexer = new BoolExpLexer(in);
    CommonTokenStream tokens = new CommonTokenStream(lexer);
    BoolExpParser parser = new BoolExpParser(tokens);
    parser.parse();
  }
}

parse
  :  e=expr EOF {System.out.println($e.bool);}
  ;

expr returns [boolean bool]
  :  e=orExpr {$bool = $e.bool;}
  ;

orExpr returns [boolean bool]
  :  e1=andExpr       {$bool = $e1.bool;} 
     ('or' e2=andExpr {$bool = $bool || $e2.bool;}
     )*
  ;

andExpr returns [boolean bool]
  :  e1=atom        {$bool = $e1.bool;} 
     ('and' e2=atom {$bool = $bool && $e2.bool;}
     )*
  ;

atom returns [boolean bool]
  :  b=Boolean      {$bool = new Boolean($b.text).booleanValue();}
  |  '(' e=expr ')' {$bool = $e.bool;}
  ;

Boolean
  :  'true'
  |  'false'
  ;

Space
  :  (' ' | '\t' | '\n' | '\r') {skip();}
  ;

首先创建一个词法分析器 &解析器 (1) 然后编译所有源文件 (2).最后，执行BoolExpParser类(3).

First create a lexer & parser (1) and then compile all source files (2). Finally, execute the BoolExpParser class (3).

// Windows & *nix/MacOS
java -cp antlr-3.2.jar org.antlr.Tool BoolExp.g

2

// Windows
javac -cp .;antlr-3.2.jar *.java

// *nix/MacOS
javac -cp .:antlr-3.2.jar *.java

3

// Windows
java -cp .;antlr-3.2.jar BoolExpParser "false and true or true"

// *nix/MacOS
java -cp .:antlr-3.2.jar BoolExpParser "false and true or true"

Terence Parr 的 ANTLR 参考资料 是关于 ANTLR 的书.Scott 创造了一些优秀的 关于 ANTLR 3(使用 Eclipse)的视频教程.

Terence Parr's ANTLR reference is the book on ANTLR. And Scott created some excellent video tutorials on ANTLR 3 (with Eclipse).

这篇关于来自野牛的 ANTLR 语法的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！