Scala: Puis-je pousser un analyseur de combinateur à être localement gourmand?

Question

Supposons que j'ai un langage ambigu exprimé dans l'analyseur de combinatoire. Existe-t-il un moyen de rendre certaines expressions localement gourmandes? Voici un exemple de ce que je veux dire.

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))) 
    } 
} 

Après la compilation, je peux courir comme suit:

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

Je voudrais demander en quelque sorte la première partie de obj être localement avide et correspondre avec longchain. Si je change d'ordre, cela correspond à longchain, mais ce n'est pas à cause de la gourmandise.

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

Answer 1

Utilisation |||:

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))