2

我正在尝试为包含类 C 表达式的语言创建一个 TatSu 解析器。我对表达式有以下语法规则：

identifier =
    /[a-zA-Z][A-Za-z0-9_]*/
    ;

expression =
    or_expr
    ;

or_expr =
    '||'<{and_expr}+
    ;

and_expr =
    '&&'<{bitwise_or_expr}+
    ;

bitwise_or_expr =
    '|'<{bitwise_xor_expr}+
    ;

bitwise_xor_expr =
    '^'<{bitwise_and_expr}+
    ;

bitwise_and_expr =
    '&'<{equality_expr}+
    ;

equality_expr =
    ('==' | '!=')<{comparison_expr}+
    ;

comparison_expr =
    ('<' | '<=' | '>' | '>=')<{bitshift_expr}+
    ;

bitshift_expr =
    ('<<' | '>>')<{additive_expr}+
    ;

additive_expr =
    ('+' | '-')<{multiplicative_expr}+
    ;

multiplicative_expr =
    ('*' | '/' | '%')<{unary_expr}+
    ;

unary_expr =
    '+' ~ atom
    | '-' ~ atom
    | '~' ~ atom
    | '!' ~ atom
    | atom
    ;

atom =
    literal
    | helper_call
    | parenthesized
    | var_or_param
    ;

literal =
    value:float type:`float`
    | value:integer type:`int`
    | value:char type:`char`
    | value:string type:`string`
    | value:bool type:`int`
    | value:null type:`null`
    ;

helper_call =
    function:identifier '(' ~ params:expression_list ')'
    ;

var_or_param =
    identifier
    ;

parenthesized =
    '(' ~ @:expression ')'
    ;

我在atom规则上遇到了麻烦。解析以下内容时（作为andexpression之间的部分）：=;

lastTime = ts + interval;

我得到了这个例外：

tatsu.exceptions.FailedToken: (27:41) expecting '(' :
                lastTime = ts + interval;
                                        ^
helper_call
atom
unary_expr
multiplicative_expr
...

helper_call当var_or_param规则应该匹配得很好时，它试图使其符合规则却失败了。事实证明，原因是FailedSemantics语义操作引发的错误var_or_param。一旦我解决了这个问题，解析就会按预期工作。

这就提出了一个问题：如果FailedSemantics影响解析逻辑，当出现语义错误时，什么是正确的方法来提醒用户，但解析逻辑在其他方面是正确的，不应该尝试不同的选择或规则？例如，声明前的类型不匹配或变量使用？（理想情况下，仍然会显示发生错误的行号。）

4

1 回答 1

2

FailedSemantics 确实会影响解析。FailedParse它在解析逻辑中被翻译成 a 。

如果解析应该停止，那么继续使用FailedSemantics.

在其他情况下，这取决于您。

TatSu 的设计使得大多数语义检查都是在解析成功后通过 walker 或其他方式完成的。

于 2021-03-24T23:52:50.187 回答