parsing - 解析！=在scala中

Question

我需要解析表单的语句

var1!=var2
var1==var2

等等。我有以下构造：

lazy val Line : Parser[Any] = (Expr ~ "!=" ~ Expr)^^ {e => SMT( "(not (= " + e._1._1 + " " +  e._2 + "))")} | (Expr ~ "==" ~ Expr)^^ {e => SMT( "(" + (e._1._2) + " " + e._1._1 + " " +  e._2 + ")")}

"==" 的第二部分工作得很好，返回 me (== var1 var2)，但第一部分只是不解析。无论我尝试解析什么而不是“！=”，都不会识别“！=”或“！=”或“！=”。

当然我可以在将它交给解析器之前替换“！=”，但是有没有更优雅的方法？

Answer 1

看看这个最小的例子（Scala 2.9.2）：

import scala.util.parsing.combinator.syntactical._
import scala.util.parsing.combinator._

sealed trait ASTNode

case class Eq(v1: String, v2: String) extends ASTNode
case class Not(n: ASTNode) extends ASTNode

object MyParser extends StandardTokenParsers {
  lexical.delimiters += ("==", "!=")

  lazy val line = (
      (ident ~ ("==" ~> ident)) ^^ { case e1 ~ e2 => Eq(e1, e2) }
    | (ident ~ ("!=" ~> ident)) ^^ { case e1 ~ e2 => Not(Eq(e1, e2)) }
  )

  def main(code: String) = {
    val tokens = new lexical.Scanner(code)

    line(tokens) match {
      case Success(tree, _) => println(tree)
      case e: NoSuccess => Console.err.println(e)
    }
  }
}

MyParser.main("x == y")
MyParser.main("x != y")