parsing - Scala PacktRat 解析器将运算符限制为一个

Question

目前我在 Scala 2.9.2 中使用 Scala PackratParsers
生产看起来像这样:

  lazy val andExpression: PackratParser[Expression] = equalityExpression | expression ~ "&" ~ expression ^^ {
      case x ~"&"~y => AndExpr(x,y)
    }

  lazy val orExpression: PackratParser[Expression] = andExpression | ( expression ~ "|" ~ expression ) ^^ {
      case x ~"|"~y => OrExpr(x,y)
    }

它适用于以下输入

"a & b", "a | c", "(a & b) | c"

然而，我刚刚发现我的解析器太贪婪了。

"a && b", "a &&& b", "a ||||| b"

它解析得很好。我相信我只是缺少组合器上的显式匹配器计数。确切地说是什么 e ~ "&".{1} ~ e ?如何只匹配一个运算符的出现，仅此而已？

我正在编写的解析器将表达式视为类似于 XPath

lazy val absolutePath: PackratParser[NodePath] = "/" ~ relativePath ^^ {
    case "/" ~ rel => NodePath( rel.nodeExpr, true );

  }  

  lazy val relativePath: PackratParser[NodePath] = repsep( nodeExpression , "/" ) ^^ {
    case x => 
        if ( debug) printf("x=%s NodePath\n",x ); 
        NodePath( x , false )

你是对的。

   lazy val nodeExpression: PackratParser[Token] = qname | variable | step 

   lazy val expression = orExpression | nodeExpression | variable | literal | function | ...

因为你可以有空 NodePath( List[QName]() )然后“是啊!”表达式为 empy，因此“x &”和“& x”被成功解析。因此我的解析器看起来很贪婪。

让我重新表述这个问题，我如何确保 relativeExpression包含至少一个 QName ?

本质上是字符串集 ( "x" , "/x", "x/y", "/x/y", ... )应该是有效的 XPath 之类的表达式，但不是 "" ? ;-)

Answer 1

"&"和 "|"只匹配一个字符。我能想到的唯一解释就是expression可以是空的，也可以是本身 &或 | .