스칼라 파서 결합 자의 역 추적?

Question

스칼라의 파서 결합자가 역 추적하지 않는 것처럼 보입니다.

copy in to out . 

되돌아와 구문 분석을 용이해야한다 : 나는 문법 (아래 참조)를 올바르게 다음 "STMT"을 구문 분석 할 수 없습니다가

stmt: (to out(copy in)) 

또는 내가 뭔가를 놓친 게 뭐죠?

파서 :

당신은 2.8 PackratParsers를 사용하려면

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

. packrat 파서가 유일한 backtracking 파서라고 생각합니다.

수정 : 2015 년 중반부터 fastparse을 사용해야합니다. 훨씬 빠르지 만 사용하기 쉽습니다 (특히 구문 분석을 통해 데이터 구조를 만들 때).

Answer 2

문제는 되돌아 오지 않습니다. scala.util.parsing.combinator의 표준 | 연산자는 역 추적을 수행합니다. 문제는 왼쪽 재귀입니다 (expr → call → args → smplargs → expr). 실제로 Packrat 파싱이 도움이 될 수 있습니다.