التراجع في مجمعات محلل Scala؟

Question

يبدو أن مجموعات المحللون في Scala لا تتراجع. لدي قواعد اللغة (انظر القاع) والتي لا تستطيع تحليل ما يلي "STMT" بشكل صحيح:

copy in to out .

يجب أن يكون ذلك سهل التحليل مع التراجع:

stmt: (to out(copy in))

أم هل فاتني شيء؟

محلل:

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

تريد استخدامها PackratParsers في 2.8. أعتقد أن محلل Packrat هو محلل التراجع الوحيد.

تحرير: اعتبارًا من منتصف العام 2015 ، يجب استخدامك Fastparse في حين أن. ليس فقط أسرع بكثير ، ولكن أيضًا أسهل في الاستخدام (خاصة عند إنشاء هياكل البيانات من التحليل).

Answer 2

مشكلتك ليست التراجع. المعيار | المشغل في scala.util.parsing.combinator سوف تفعل التراجع. مشكلتك هي التقسيم الأيسر (expr → call → args → smplargs → expr). قد يساعد التحليل باكرات بالفعل في ذلك.