Scala çözümleyici kombinatorlerinde backtracking?

Question

Scala'nın ayrıştırıcı birleştiricileri geriye dönmüyor gibi görünüyor.

copy in to out . 

Backtracking ile ayrıştırmak için kolay olmalıdır: Bir dilbilgisi (altta) doğru aşağıdaki "stmt" ayrıştırmak olamaz sahip

stmt: (to out(copy in)) 

veya bir şey eksik?

Ayrıştırıcı:

Sen 2.8'de PackratParsers kullanmak istediğiniz

type ExprP = Parser[Expr] 
type ValueP = Parser[ValExpr] 
type CallP = Parser[Call] 
type ArgsP = Parser[Seq[Expr]] 

val ident  = "[a-zA-Z\\+\\-\\*/%><\\\\\\=]+".r 
val sqstart = "\\["       .r 
val sqend  = "\\]"       .r 
val del  = ","       .r 
val end  = "\\."       .r 

def stmt: ExprP  = expr <~ end 
def expr: ExprP  = ucall | call | value 
def value: ValueP = ident ^^ {str => IdentExpr(str)} 
def call: CallP  = (args ~ ident ~ expr) ^^ {case args ~ method ~ upon => Call(args, method, upon)} 
def ucall: CallP  = (ident ~ expr) ^^ {case method ~ upon => Call(Seq(), method, upon)} 
def args: ArgsP  = advargs | smplargs 
def smplargs: ArgsP = expr ^^ {e => Seq(e)} 
def advargs: ArgsP = (sqstart ~> repsep(expr, del) <~ sqend) ^^ {seq => seq} 

Answer 1

. Ben packrat ayrıştırıcı tek backtracking ayrıştırıcı olduğunu düşünüyorum.

Düzenleme: 2015 yılı ortasında, bunun yerine fastparse kullanmalısınız. Sadece çok daha hızlı değil, aynı zamanda kullanımı daha kolay değil (özellikle veri yapılarını ayrıştırmadan oluştururken).

Answer 2

Sorununuz geriye dönük değil. scala.util.parsing.combinator'daki standart | operatörü, geri izleme işlemini gerçekleştirecektir. Sorununuz sola dönülmüştür (expr →→ args → smplargs → expr). Packrat ayrıştırma gerçekten bununla yardımcı olabilir.