perl - Parse::RecDescent 和带引号的运算符

Question

我有以下内容：

((x=2 or y=3 ) and (r=3 and c=3) or (x=5 and g=6))

我定义：

Token : /\w \= \d/
operator or|and
expression : token operator(s)
quoted_expression : "("expression")"
query : expression (s)|quoted_expression(s)

但是我在解析上述条件时遇到问题，知道如何解析上述条件吗？

Answer 1

在核心，你想要

expr    : log_or

log_or  : log_or 'or' log_and
        | log_and

log_and : log_and 'and' cmp
        | cmp

cmp     : cmp /=|<[>=]?|>=?/ term
        | term

term    : '(' expr ')'
        | IDENT
        | NUMBER

消除左递归并添加必要的代码块后，您会得到以下结果：

my $grammar = <<'__EOS__';

   {
      # The code in rules is also covered by these pragmas.
      use strict;
      use warnings;
   }

   parse    : expr /\Z/ { $item[1] }

   # ----------------------------------------
   # Rules

   expr     : log_or { $item[1] }

   # ---vvv--- Lowest precedence ---vvv---

   log_or   : log_and log_or_[ $item[1] ]
   log_or_  : 'or' log_and log_or_[ [ $item[1], $arg[0], $item[2] ] ]
            | { $arg[0] }

   log_and  : cmp log_and_[ $item[1] ]
   log_and_ : 'and' cmp log_and_[ [ $item[1], $arg[0], $item[2] ] ]
            | { $arg[0] }

   cmp      : term cmp_[ $item[1] ]
   cmp_     : /=|<[>=]?|>=?/ term cmp_[ [ $item[1], $arg[0], $item[2] ] ]
            | { $arg[0] }

   # ---^^^--- Highest precedence ---^^^---

   term     : '(' expr ')' { $item[2] }
            | IDENT  { [ $item[0], $item[1] ] }
            | NUMBER { [ $item[0], $item[1] ] }

   # ----------------------------------------
   # Tokens

   IDENT    : /\w+/
   NUMBER   : /\d+/

__EOS__