Парсер "Sprache" Семантика настоящего

Question

Я пишу синтаксический анализатор, который соответствует Системе для управления междоменной идентификацией: спецификация фильтрации протокола. Я смог проанализировать практически любое выражение с помощью Sprache, кроме оператора "pr". Не могу обернуть мою голову, как заставить это работать должным образом.

Вот основной материал разбора:

   {
        And = Operator("and", "And");
        Or = Operator("or", "Or");

        Le = Operator("le", "LessThanOrEqual");
        Lt = Operator("lt", "LessThan");
        Gt = Operator("gt", "GreaterThan");
        Ge = Operator("ge", "GreaterThanOrEqual");
        Eq = Operator("eq", "Equal");
        Ne = Operator("ne", "NotEqual");
        Co = Operator("co", "Contains");
        Sw = Operator("sw", "StartsWith");
        Ew = Operator("ew", "EndsWith");

        Pr = Operator("pr", "Present");

        ...


        Operand = (Parentheses
            .XOr(Literal.Or(AttrPath.Token()))
            .XOr(CaseInsensitiveString)).Token();

        //compareOp = "eq" / "ne" / "co" /
        //        "sw" / "ew" /
        //        "gt" / "lt" /
        //        "ge" / "le"
        CompareExpression = Parse.XChainOperator(Le.Or(Lt).XOr(Ge.Or(Gt)).XOr(Eq.Or(Ne)).XOr(Sw.Or(Ew)).XOr(Co).XOr(Pr), Operand, FilterExpression.Binary);

        PresentsExpression = Parse.XChainRightOperator(Pr, Operand, FilterExpression.Binary).Or(CompareExpression);

        // logExp    = FILTER SP ("and" / "or") SP FILTER
        AndExpression = Parse.XChainOperator(And, CompareExpression, FilterExpression.Binary);

        // logExp    = FILTER SP ("and" / "or") SP FILTER
        OrExpression = Parse.XChainOperator(Or, AndExpression, FilterExpression.Binary);
        Filter = OrExpression;
    }
    private static Parser<string> Operator(string op, string opName)
    {
        return Parse.String(op).Token().Return(opName);
    }

Вот где я добавляю разбор "pr":

 Parse.XChainRightOperator(Pr, Operand, FilterExpression.Binary).Or(CompareExpression);

Этот фильтр не работает: title pr and addresses[type eq \"work\"].streetAddress eq \"workStreet\"
И это нормально

  addresses[type eq \"work\"].streetAddress eq \"workStreet\" 
and (userType eq \"Employee\" or userType eq \"ParttimeEmployee\")

Может быть, кто-то может помочь мне с этим.

Редактировать: Может быть, я должен цепочки операторов с XChainRightOperator в какой-то момент, потому что pr заголовок работает нормально. Но цепочки расширений предназначены для бинарных выражений, а мне нужно унарное.

Answer 1

Я нашел ответ. Вот правильный код разбора:

    Operand = (Parentheses
        .XOr(Literal.Or(AttrPath.Token()))
        .XOr(CaseInsensitiveString)).Token();

    // compareOp = "eq" / "ne" / "co" /
    //        "sw" / "ew" /
    //        "gt" / "lt" /
    //        "ge" / "le"
    Comparison = Parse.XChainOperator(Le.Or(Lt).XOr(Ge.Or(Gt)).XOr(Eq.Or(Ne)).XOr(Sw.Or(Ew)).XOr(Co).XOr(Pr), Operand, FilterExpression.Binary);

    // attrPath SP "pr"
    Presence = Operand.SelectMany(operand => Pr, (operand, pr) => FilterExpression.Unary(pr, operand));

    // attrExp = (attrPath SP "pr") /
    //   (attrPath SP compareOp SP compValue)
    AttributeExpression = Presence.Or(Comparison);

    // logExp    = FILTER SP ("and" / "or") SP FILTER
    LogicalExpression = Parse.XChainOperator(Or.Or(And), AttributeExpression, FilterExpression.Binary);
    Filter = LogicalExpression;

Хитрость заключалась в том, чтобы сначала проверять операнд и операцию после него, используя Or вместо XOr в AttributeExpression = Presence.Or(Comparison);