解析GraphQL模式意外失败

如何解决解析GraphQL模式意外失败

作为Clojure GraphQL库的一部分，我们使用以下语法来解析GraphQL模式定义：

https://github.com/walmartlabs/lacinia/blob/master/resources/com/walmartlabs/lacinia/schema.g4

直到最近（可能是吃我们自己的狗粮）之后，才有效地破解了以下有效SDL：

directive @auth (
              logFailure: Boolean = true
            ) on FIELD_DEFinitioN

以下是解析错误：

clojure.lang.ExceptionInfo: Failed to parse GraphQL schema.
    errors: ({:locations [{:line 2,:column nil}],:message
              "mismatched input 'true' expecting {'{','[',EXECUTABLE_DIRECTIVE_LOCATION,TYPE_SYstem_DIRECTIVE_LOCATION,'type','implements','interface','schema','enum','union','input','directive','extend','scalar','on','fragment','query','mutation','subscription','value',BooleanValue,Name,NullValue,IntValue,FloatValue,StringValue,BlockStringValue}"}
             {:locations [{:line 3,:message "mismatched input ')' expecting ':'"})

因此，尽管语法中的规则将true和false匹配为BooleanValue，将null匹配为NullValue，解析器仍然失败。

我已经在语法中进行了一些重击...重新排序规则，以确保在其他操作之前检查BooleanValue，但是我仍然遇到相同的错误。我不确定如何在这里找到根本问题。

这里显然有什么不对吗？

解决方法

问题在于词法分析器将永远不会产生BooleanValue令牌：

K_TRUE         : 'true'         ;
K_FALSE        : 'false'        ;
...

BooleanValue
    : K_TRUE
    | K_FALSE
    ;

因为K_TRUE和K_FALSE在BooleanValue之前定义。 ANTLR的词法分析器是这样工作的：

为词法分析器规则匹配尽可能多的字符
每当有2个或更多匹配相同字符的词法分析器规则时，让该规则首先定义“赢”

解决方案是将BooleanValue提升为解析器：

K_TRUE         : 'true'         ;
K_FALSE        : 'false'        ;
...

booleanValue
    : K_TRUE
    | K_FALSE
    ;

...

value
    : IntValue
    | FloatValue
    | StringValue
    | BlockStringValue
    | booleanValue
    | NullValue
    | enumValue
    | arrayValue
    | objectValue
    ;

，您的输入将被正确解析：

顺便说一句，NullValue也是如此：因为K_NULL是在其之前定义的，所以它永远不会被创建为令牌。最简单的方法就是将其作为词法分析器规则删除，然后在解析器规则中直接使用K_NULL。