java - SableCC 解析给出错误结果

Question

我尝试使用 sablecc 解析有效消息。有三种有效的消息格式。

1. 啊；（三个连续的字母字符 +semi {messageid} messageid semi）
2. 毫米; （或两个连续的字母或数字字符{flightnum} carriercode semi）
3. -amm（或连字符 + 字母字符 + 2 个连续的字母或数字字符{load} hypene co semi）

当我向程序输入有效字符串时，它不起作用。

输入：

美国广播公司；//类型 1

Z Z; //类型 2

Z Z; //类型 2

-ab2; //type3

sablecc 语法代码：

 Helpers
    /* Our helpers */
    fa = ['0' .. '9'] ;
    a = [['a' .. 'z'] + ['A' .. 'Z']] ;
    m=  [a + fa];
    sp = ' ' ;
    cr = 13 ; // carriage return
    lf = 10 ; // line feed
    tab = 9 ; // tab char
    bl = sp | cr | lf | tab;


Tokens
    /* Our simple token definition(s). */
    semi = ';' bl*;
    co = (a)(m)(m);
    messageid = (a)(a)(a) ;
    carriercode = (m)(m);
    hypene ='-';

Productions
    program =  {single} statement |
                {sequence} program statement;
    statement = {messageid} messageid semi |
                {flightnum}carriercode semi |
                {load} hypene co semi ;

编译成功，运行java代码时抛出解析器异常：

simpleAdders.parser.ParserException：[1,1] 期望：messageid，carriercode，'-'

即使第一个字符串是有效的。

Answer 1

此错误是由重叠的令牌定义引起的。Sablecc 是自下而上的树结构而不是顺序方式。这是解决问题的代码。感谢 Etienne 解决了这个问题。

Helpers
    /* Our helpers */

    sp = ' ' ;
    cr = 13 ; // carriage return
    lf = 10 ; // line feed
    tab = 9 ; // tab char
    bl = sp | cr | lf | tab;


Tokens
    /* Our simple token definition(s). */

    fa = ['0' .. '9'] ;
    a = [['a' .. 'z'] + ['A' .. 'Z']] ;
    semi = ';' bl*;
    hypene ='-';

Productions
    program =  {single} statement |
                {sequence} program statement;
    m = {a} a | {fa} fa ;            
    co = hypene a [m1]:m [m2]:m semi;
    messageid = [a1]:a [a2]:a [a3]:a semi ;
    carriercode =[m1]:m [m2]:m semi;            
    statement = {messageid} messageid|
                {flightnum}carriercode |
                {load} co ;