list - 在 ANTLR 中返回列表以进行类型检查，语言 java

Question

我正在研究 ANLTR 以支持类型检查。我有时遇到麻烦了。我将尝试用一个示例语法来解释它，假设我有以下内容:

@members {
    private java.util.HashMap<String, String> mapping = new java.util.HashMap<String, String>();
}

var_dec  
    : type_specifiers d=dec_list? SEMICOLON 
    {
         mapping.put($d.ids.get(0).toString(), $type_specifiers.type_name);
         System.out.println("identext = " + $d.ids.get(0).toString() + " - " + $type_specifiers.type_name);
    };

type_specifiers returns [String type_name]
    : 'int' { $type_name = "int";}
    | 'float' {$type_name = "float"; }
    ;

dec_list returns [List ids]
    : ( a += ID brackets*) (COMMA ( a += ID brackets* ) )* 
    {$ids = $a;}
    ; 

brackets : LBRACKET (ICONST | ID) RBRACKET;

ID : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')*;
LBRACKET : '[';  
RBRACKET : ']';

在规则 dec_list 中，您会看到我正在返回带有 ID 的列表。但是，在 var_dec 中，当我尝试放入列表的第一个元素时(我只使用 get(0) 只是为了查看 dec_list< 的返回值 规则，我可以稍后对其进行迭代，这不是我的重点)到映射中我得到一个完整的字符串，如

[@4,6:6='a',<17>,1:6] 

输入

int   a, b;

我想做的是获取每个 ID 的文本，在本例中是索引 0 和 1 列表中的 a 和 b。

有人知道吗？

Answer 1

+= 运算符创建一个 List Token，而不仅仅是这些 Token 匹配的文本.您需要在规则的 @init{...} block 中初始化 List 并自行添加标记的内部文本。

此外，您不需要这样做:

type_specifiers returns [String type_name]
  :  'int' { $type_name = "int";}
  |  ...
  ;

只需从您使用它的规则中访问 type_specifiers 的 text 属性并删除 returns 语句，如下所示:

var_dec
  :  t=type_specifiers ... {System.out.println($t.text);}
  ;

type_specifiers
  :  'int'
  |  ...
  ;

尝试这样的事情:

grammar T;

var_dec  
  :  type dec_list? ';' 
     {
       System.out.println("type = " + $type.text);
       System.out.println("ids  = " + $dec_list.ids);
     }
  ;

type
  :  Int
  |  Float
  ;

dec_list returns [List ids]
@init{$ids = new ArrayList();}
  :  a=ID {$ids.add($a.text);} (',' b=ID {$ids.add($b.text);})*
  ;

Int   : 'int';
Float : 'float';
ID    : ('a'..'z'|'A'..'Z'|'_') ('a'..'z'|'A'..'Z'|'0'..'9'|'_')*;
Space : ' ' {skip();};

这会将以下内容打印到控制台:

type = int
ids  = [a, b, foo]

如果你运行下面的类:

import org.antlr.runtime.*;

public class Main {
  public static void main(String[] args) throws Exception {
    TLexer lexer = new TLexer(new ANTLRStringStream("int a, b, foo;"));
    TParser parser = new TParser(new CommonTokenStream(lexer));
    parser.var_dec();
  }
}