Scala: Posso spostare un parser combinatore di essere localmente avidi?
-
24-09-2019 - |
Domanda
Supponiamo che io sono un linguaggio ambiguo espresso in combinatore parser. C'è un modo per rendere certe espressioni a livello locale avidi? Ecco un esempio di ciò che intendo.
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) ))
}
}
Dopo la compilazione, che può essere eseguito come segue:
$ scala Example 001111
[1.7] parsed: ((0~0)~List(1, 1, 1, 1))
vorrei in qualche modo istruire la prima parte della obj
ad essere localmente avidi e abbinare con longchain
. Se posso passare l'ordine intorno, che corrisponda alla longchain
, ma che non è a causa della golosità.
def obj: Parser[Any] = (longchain | shortchain) ~ anyrep
Soluzione
Usa |||
:
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))
Autorizzato sotto: CC-BY-SA insieme a attribuzione
Non affiliato a StackOverflow