0

我现在坐在一个看起来很容易解决但我无法解决的问题前面几个小时：/

我在 jison 中定义了一种类似 javascript 的小型语言。问题是 Parameter 规则和 AssignStatement 规则都（可以）以 CHAR_SEQUENCE 开头，并且它总是选择参数规则。例如，即使代码a = 5;到达了，throw "reached parameter";所以它似乎将其解析a为参数而不是a = 5;AssignStatement

我语法的相关部分：

Parameter
    : InlineVariable
        { $$ = $1; }
    | CHAR_SEQUENCE
        { throw "reached parameter"; checkUndefined($1, @1); $$ = vars[$1]; }
    ;

InlineVariable
    : NUMBER
        { $$ = new Runtime.Integer(parseInt($1)); }
    | '"' CHAR_SEQUENCE '"'
        { $$ = new Runtime.String($2); }
    | FUNCTION '(' ParameterList ')' Statement
        { $$ = new Container($5); }
    ;

AssignStatement
    : CHAR_SEQUENCE AssignmentOperator Parameter ';'
        {
            $$ = function()
            {
                if((typeof vars[$1] == 'undefined' && $3 instanceof Runtime.Integer) || (vars[$1] instanceof Container && $3 instanceof Runtime.Integer))
                    vars[$1] = new Runtime.Integer(0, $1);
                else if(typeof vars[$1] == 'undefined' || (vars[$1] instanceof Container && !($3 instanceof Container)))
                    vars[$1] = $3.constructor.call();

                $2(vars[$1], vars[$3]);
            }
        }
    | CHAR_SEQUENCE SingleAssignmentOperator ';'
        {
            $$ = function()
            {
                if(typeof vars[$1] == 'undefined')
                    vars[$1] = new Runtime.Integer(0, $1);

                $2(vars[$1]);
            };
        }
    ;

我在https://gist.github.com/M4GNV5/36c2550946c1a1f6ec91上发布了完整的语法

那么有没有办法解决这个问题呢？我当然已经尝试过使用 %left、%right、%assoc 和 %precedence 但它没有用（或者我做错了什么？

4

1 回答 1

2

您误解了自下而上解析器中的流控制。

当相关生产减少（即完全识别）时执行操作，直到生产中的所有非终端都减少后才会发生。

AssignmentStatement生产是：

AssignStatement
    : CHAR_SEQUENCE AssignmentOperator Parameter ';'

因此，在其关联的动作可以执行之前，必须执行AssignmentOperator和的产生式。Parameter在这种情况下，Parameter匹配5.

于 2015-02-10T22:06:41.173 回答