Errori e malfunzionamenti in Parser Combinators di Scala

Question

Vorrei implementare un parser per alcune lingue definite utilizzando Scala Parser Combinators. Tuttavia, il software che compilerà la lingua non implementa tutte le funzionalità della lingua, quindi mi piacerebbe fallire se si utilizzano queste funzionalità. Ho cercato di creare un piccolo esempio di seguito:

object TestFail extends JavaTokenParsers { 
    def test: Parser[String] = 
    "hello" ~ "world" ^^ { case _ => ??? } | 
    "hello" ~ ident ^^ { case "hello" ~ id => s"hi, $id" } 
} 

cioè il parser riesce a "ciao" + un identificativo, ma non riesce se l'identificatore è "mondo". Vedo che esistono parser fail() ed err() nella classe Parsers, ma non riesco a capire come usarli, poiché restituiscono Parser [Nothing] al posto di una stringa. La documentazione non sembra coprire questo caso d'uso ...

Answer 1

In questo caso si vuole err, non failure, dal momento che se il primo parser in una disgiunzione non ti basta passare alla seconda, che non è quello che volere.

L'altra questione è che ^^ è l'equivalente di map, ma si desidera flatMap, dal momento che è un err("whatever")Parser[Nothing], non un Nothing. È possibile utilizzare il metodo flatMap su Parser, ma in questo contesto è più idiomatico per utilizzare il (completamente equivalente) >> operator:

object TestFail extends JavaTokenParsers { 
    def test: Parser[String] = 
    "hello" ~> "world" >> (x => err(s"Can't say hello to the $x!")) | 
    "hello" ~ ident ^^ { case "hello" ~ id => s"hi, $id" } 
} 

Oppure, un po 'più semplice:

object TestFail extends JavaTokenParsers { 
    def test: Parser[String] = 
    "hello" ~ "world" ~> err(s"Can't say hello to the world!") | 
    "hello" ~ ident ^^ { case "hello" ~ id => s"hi, $id" } 
} 

Entrambi gli approcci dovrebbero Fai quello che vuoi.

Answer 2

È possibile utilizzare ^? metodo:

object TestFail extends JavaTokenParsers { 
    def test: Parser[String] = 
    "hello" ~> ident ^? (
     { case id if id != "world" => s"hi, $id" }, 
     s => s"Should not use '$s' here." 
) 
}