Я пытаюсь соответствовать этому синтаксису:
pgm ::= exprs
exprs ::= expr [; exprs]
expr ::= ID | expr . [0-9]+
Мой scala packrat синтаксический анализатор combinator похож на это:
import scala.util.parsing.combinator.PackratParsers
import scala.util.parsing.combinator.syntactical._
object Dotter extends StandardTokenParsers with PackratParsers {
lexical.delimiters ++= List(".",";")
def pgm = repsep(expr,";")
def expr :Parser[Any]= ident | expr~"."~num
def num = numericLit
def parse(input: String) =
phrase(pgm)(new PackratReader(new lexical.Scanner(input))) match {
case Success(result, _) => println("Success!"); Some(result)
case n @ _ => println(n);println("bla"); None
}
def main(args: Array[String]) {
val prg = "x.1.2.3;" +
"y.4.1.1;" +
"z;" +
"n.1.10.30"
parse(prg);
}
}
Но это не работает. Любой это "соответствует жадный" и говорит мне:
[1.2] failure: end of input expected
x.1.2.3;y.4.1.1;z;n.1.10.30
или если я изменяюсь |
к a |||
Я получаю stackoverflow:
Exception in thread "main" java.lang.StackOverflowError
at java.lang.Character.isLetter(Unknown Source)
at java.lang.Character.isLetter(Unknown Source)
at scala.util.parsing.combinator.lexical.Lexical$$anonfun$letter$1.apply(Lexical.scala:32)
at scala.util.parsing.combinator.lexical.Lexical$$anonfun$letter$1.apply(Lexical.scala:32)
...
Я, которого понимают kindoff, почему я получаю ошибки; что я могу сделать для парсинга синтаксиса как вышеупомянутое? Не кажется что тайным мне
Править: На основе бумаги, на которую ссылаются в http://scala-programming-language.1934581.n4.nabble.com/Packrat-parser-guidance-td1956908.html, я узнал, что моя программа на самом деле не использовала новый packrat синтаксический анализатор.
Т.е. изменение Parser[Any]
кому: PackratParser[Any]
и используйте lazy val
вместо def
Я переписал вышеупомянутое к этому:
import scala.util.parsing.combinator.PackratParsers
import scala.util.parsing.combinator.syntactical._
object Dotter extends StandardTokenParsers with PackratParsers {
lexical.delimiters ++= List(".",";")
lazy val pgm : PackratParser[Any] = repsep(expr,";")
lazy val expr :PackratParser[Any]= expr~"."~num | ident
lazy val num = numericLit
def parse(input: String) =
phrase(pgm)(new PackratReader(new lexical.Scanner(input))) match {
case Success(result, _) => println("Success!"); Some(result)
case n @ _ => println(n);println("bla"); None
}
def main(args: Array[String]) {
val prg = "x.1.2.3 ;" +
"y.4.1.1;" +
"z;" +
"n.1.10.30"
parse(prg);
}
}