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 = []

И дополнительно: есть ли какое-либо сообщение об ошибке типа "ожидаемое foo в позиции 123"?

Answer 1

Для начала, первое правило соответствует пустой строке. Возможно, вы захотите попробовать что-то вроде:

pattern   = { tag | function }+ $ ;

Да, сгенерированный парсер вызовет исключение, если он не сможет проанализировать входную строку; Обратите внимание $в приведенном выше правиле: он сообщает парсеру, что он должен видеть конец ввода в этой позиции. Без этого парсер рад, что преуспел, проанализировав только часть ввода.

Тогда я не думаю, что именованные элементы внутри именованных элементов будут давать желаемые результаты.

Это версия грамматики, которая может производить то, что вы хотите:

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