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返回List。但是，在var_dec中，当我尝试放置列表的第一个元素时（我只使用get(0)只是为了查看dec_list规则的返回值，我可以稍后迭代它，那是不是我的观点）到映射我得到一个像

这样的整个字符串

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

输入

int   a, b;

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

有没有人有任何想法？

Answer 1

+=运算符会创建List Token个Token，而不仅仅是List匹配的文本。您需要初始化规则的@init{...}块中的type_specifiers returns [String type_name] : 'int' { $type_name = "int";} | ... ;并自行添加令牌的内部文本。

此外，您不需要这样做：

type_specifiers

只需从您使用该规则的规则中访问text的{{1}}属性，然后删除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();
  }
}

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

1 个答案: