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

解析空字符串和 "bad" 字符串（语法无法匹配）都会导致空 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 = []

此外：是否有类似 'expected foo at position 123' 的错误消息？

Answer 1

首先，第一条规则确实匹配空字符串。也许您想尝试类似的东西：

pattern   = { tag | function }+ $ ;

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

那么，我认为命名元素中的命名元素不会产生预期的结果。

这是一个可以生成您想要的语法版本：

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

Grako - 如何进行错误处理？

Grako - How to do error handling?

python

ebnf