Scala: я могу пошагово переместить combinator синтаксический анализатор для локальной жадности?

Question

Scala: я могу пошагово переместить combinator синтаксический анализатор для локальной жадности?

Предположим, что мне выразили неоднозначный язык в combinator синтаксическом анализаторе. Существует ли способ сделать определенные выражения локально жадными? Вот пример того, что я имею в виду.

import scala.util.parsing.combinator._

object Example extends JavaTokenParsers {
  def obj: Parser[Any] = (shortchain | longchain) ~ anyrep

  def longchain: Parser[Any] = zero~zero~one~one
  def shortchain: Parser[Any] = zero~zero

  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
  def main(args: Array[String]) {
    println(parseAll(obj, args(0) ))
  }
}

После компиляции я могу выполнить его следующим образом:

$ scala Example 001111
[1.7] parsed: ((0~0)~List(1, 1, 1, 1))

Я хотел бы так или иначе сообщить первой части obj быть локально жадным и соответствие с longchain. Если я передвигаю порядок, он соответствует longchain, но это не из-за жадности.

def obj: Parser[Any] = (longchain | shortchain) ~ anyrep

9

scala parsing combinators

задан Eugene Yokota 5 April 2010 в 03:24

1 ответ

Другие вопросы по тегам:

scala parsing combinators

Похожие вопросы:

score 14 · Accepted Answer

Используйте ||| :

object Example extends JavaTokenParsers {
  def obj: Parser[Any] = (shortchain ||| longchain) ~ anyrep

  def longchain: Parser[Any] = zero~zero~one~one
  def shortchain: Parser[Any] = zero~zero

  def anyrep: Parser[Any] = rep(any)
  def any: Parser[Any] = zero | one
  def zero: Parser[Any] = "0"
  def one: Parser[Any] = "1"
  def main(args: Array[String]) {
    println(parseAll(obj, args(0) ))
  }
}

scala> Example.main(Array("001111"))
[1.7] parsed: ((((0~0)~1)~1)~List(1, 1))