柠檬语法的问题(优先?)

时间:2012-04-10 12:36:38

标签: php parser-generator lemon

我在创建一个简单的语法时遇到了麻烦,我支持函数调用 我正在使用Greg的基于柠檬的PHP_ParserGenerator。

这是语法的相关部分:

program ::= expr(A).                        { $this->result = A; }

value(A) ::= SIMPLE_STRING(B).              { A = B; }
value(A) ::= NUMBER(B).                     { A = B; }
value(A) ::= CONTEXT_REFERENCE(B).          { A = B; }

arg_list ::= arg_list SEPARATOR value(B).   { $this->args[] = B; }
arg_list ::= value(B).                      { $this->args[] = B; }
arg_list ::= . 

expr(A) ::= SIMPLE_STRING(B) PAREN_LEFT arg_list PAREN_RIGHT. { A = call_user_func_array(B, $this->args); }

expr(A) ::= CONTEXT_REFERENCE(B). {
    list($context, $key) = explode('.', B);
    A = $this->context[$context][$key]; 
}

当我使用array('user' => array('name' => 'Dennis'));的上下文初始化解析器并执行以下代码时:

$parser->doParse(PelParser::CONTEXT_REFERENCE, 'user.name');
$parser->doParse(0, 0);

$result如下:'丹尼斯'。生活很美好。

但是当我提供一个CONTEXT_REFERENCE作为函数调用的参数时,它不起作用:

$parser->doParse(PelParser::SIMPLE_STRING, 'str_replace');
$parser->doParse(PelParser::PAREN_LEFT, '(');
$parser->doParse(PelParser::SIMPLE_STRING, 'e');
$parser->doParse(PelParser::SEPARATOR, ',');
$parser->doParse(PelParser::NUMBER, 3);
$parser->doParse(PelParser::SEPARATOR, ',');
$parser->doParse(PelParser::CONTEXT_REFERENCE, 'user.name');
$parser->doParse(PelParser::PAREN_RIGHT, ')');
$parser->doParse(0, 0);

$result是'us3r.nam3'。不尽如人意。为了记录,预期的输出当然是'D3nnis'。 (user.name first 被替换为字符串'Dennis',之后传递给str_replace()函数。)

我怀疑它与优先级有关。但我无法想象我应该做些什么才能做到这一点。非常稀疏的Lemon文档没有太大的帮助。

任何帮助将不胜感激! 感谢

1 个答案:

答案 0 :(得分:1)

我似乎找到了问题的答案。

当我将语法改为:

program ::= expr(A).                        { $this->result = A; }

value(A) ::= SIMPLE_STRING(B).              { A = B; }
value(A) ::= NUMBER(B).                     { A = B; }
value(A) ::= CONTEXT_REFERENCE(B). {
    // B=='{context}.{name}' 
    list($context, $key) = explode('.', B);
    A = $this->context[$context][$key]; 
}

arg_list ::= arg_list SEPARATOR value(B).   { $this->args[] = B; }
arg_list ::= value(B).                      { $this->args[] = B; }
arg_list ::= . 

expr(A) ::= SIMPLE_STRING(B) PAREN_LEFT arg_list PAREN_RIGHT. { A = call_user_func_array(B, $this->args); }

它似乎按预期工作。
问题是我在第一个语法中产生了歧义:

value(A) ::= CONTEXT_REFERENCE(B).          { A = B; }

expr(A) ::= CONTEXT_REFERENCE(B). {
    list($context, $key) = explode('.', B);
    A = $this->context[$context][$key]; 
}

我会在这里留下问题和答案,以便其他人可以从我的错误中受益:) 如果有人要分享,请做。