grako的规则优先级问题

问题内容：

我正在重做一种最初基于Perl构建的迷你语言（请参阅github上的Chessa＃），但是当我应用语义时遇到了很多问题。

(* integers *)
DEC = /([1-9][0-9]*|0+)/;
int = /(0b[01]+|0o[0-7]+|0x[0-9a-fA-F]+)/ | DEC;
(* floats *)
pointfloat = /([0-9]*\.[0-9]+|[0-9]+\.)/;
expfloat = /([0-9]+\.?|[0-9]*\.)[eE][+-]?[0-9]+/;
float = pointfloat | expfloat;
list = '[' @+:atom {',' @+:atom}* ']';
(* atoms *)
identifier = /[_a-zA-Z][_a-zA-Z0-9]*/;
symbol = int        |
         float      |
         identifier |
         list;
(* functions *)
arglist = @+:atom {',' @+:atom}*;
function = identifier '(' [arglist] ')';
atom = function | symbol;
prec8 = '(' atom ')' | atom;
prec7 = [('+' | '-' | '~')] prec8;
prec6 = prec7 ['!'];
prec5 = [prec6 '**'] prec6;
prec4 = [prec5 ('*' | '/' | '%' | 'd')] prec5;
prec3 = [prec4 ('+' | '-')] prec4;
(* <| and >| are rotate-left and rotate-right, respectively. They assume the nearest C size. *)
prec2 = [prec3 ('<<' | '>>' | '<|' | '>|')] prec3;
prec1 = [prec2 ('&' | '|' | '^')] prec2;
expr = prec1 $;

我遇到的问题是，d当运算符和以下任何字母数字字符串之间不存在空格时，运算符将被拉入标识符规则。虽然语法本身是LL（2），但我不知道问题出在哪里。

例如，4d6停止解析器，因为它被解释为4 d6，其中d6是标识符。应该发生的是它被解释为4 d
6，并且d是一个运算符。在LL解析器中，确实如此。

一种可能的解决方案是禁止d以标识符开头，但这将禁止诸如这样的功能drop命名。

问题答案：

您的示例的问题在于Grakonameguard默认情况下启用了该功能，并且该功能不允许仅解析d何时开始d6。

要禁用此功能，请实例化您自己的Buffer并将其传递给生成的解析器的实例：

from grako.buffering import Buffer
from myparser import MyParser

# get the text
parser = MyParser()
parser.parse(Buffer(text, nameguard=False), 'expre')

Bitbucket存储库中的Grako提示版本在--no- nameguard生成的解析器中添加了命令行选项。

grako的规则优先级问题

微信关注