Grako -如何处理错误？

Question

如何处理Grako的错误？

EBNF (MyGrammar.ebnf)：

pattern   = { tag | function }* ;
tag       = tag:( "%" name:id "%" );
function  = function:("$" name:id "()" );
id        = ?/([^\\%$,()=])+/? ;

我正在生成解析器

python -m grako --whitespace '' MyGrammar.ebnf > my_parser.py

解析空字符串和“坏”字符串(语法无法匹配)都会导致空AST闭包。

parser = MyGrammarParser()
ast = parser.parse(u"%test%", rule_name='pattern')     #ast contains something
ast = parser.parse(u"", rule_name='pattern')           #ast = []
ast = parser.parse(u"$bad $test", rule_name='pattern') #ast = []

另外:是否有类似于“在123位置的预期foo”之类的错误消息？

Answer 1

首先，第一个规则与空字符串匹配。也许你会想试试这样的东西：

pattern   = { tag | function }+ $ ;

是的，如果不能解析输入字符串，生成的解析器将引发异常；请注意上述规则中的$：它告诉解析器它应该在该位置看到输入的结尾。没有它，解析器很乐意成功地只解析了部分输入。

然后，我认为命名元素中的命名元素不会产生所需的结果。

这是语法的一个版本，它可能产生您想要的结果：

pattern   = { tag | function }+ $ ;
tag       = ( "%" tag:id "%" );
function  = ("$" function:id "()" );
id        = ?/([^\\%$,()=])+/? ;