4

プログラミング言語Iconのインタプリタを書こうとしています。このプロセスのステップの1つは、Iconのパーサーを作成することです。これは、次の方法で実行しました。

import java.io.FileReader
import scala.util.parsing.combinator.syntactical._
import scala.util.parsing.combinator.RegexParsers
import scala.util.parsing.combinator.PackratParsers
import scala.util.parsing.combinator.JavaTokenParsers

abstract class expr
case class CstInt(val value : Int) extends expr
case class FromTo(val from : expr, val to : expr) extends expr
case class Write(val value : expr) extends expr
case class And(val e1 : expr, val e2 : expr) extends expr
case class Or(val e1 : expr, val e2 : expr) extends expr

object ExprParser extends JavaTokenParsers with PackratParsers{

lazy val exp : PackratParser[expr] = andexp | exp2

lazy val exp2 : PackratParser[expr] = fromTo | exp3

lazy val exp3 :PackratParser[expr] = orexp | exp4 

lazy val exp4 : PackratParser[expr] = integer | exp5

lazy val exp5 : PackratParser[expr] = write 

lazy val integer : PackratParser[expr] = wholeNumber ^^ { s => CstInt(s.toInt)}

lazy val  write : PackratParser[Write] =  "write" ~> "(" ~> exp <~ ")" ^^ {  e => Write(e)}

lazy val fromTo : PackratParser[FromTo] = ("(" ~> integer) ~ ("to" ~> integer <~ ")") ^^ { case from ~ to => FromTo(from, to)}

lazy val andexp : PackratParser[And] = exp ~ ("&" ~> exp) ^^ { case e1 ~ e2 => And(e1, e2)}

lazy val orexp : PackratParser[Or] = exp ~ ("|" ~> exp) ^^ { case e1 ~ e2 => Or(e1, e2)}

def parseInput(input: String) : expr =
    parseAll (exp, input) match {
        case Success(tree, _) => tree
        case e: NoSuccess => throw new IllegalArgumentException(e.toString())
    }

}

object Interpret {
def main(args : Array[String]) : Unit = {
    println(ExprParser.parseInput(args(0)))
    }
}

ただし、次の式を解析しようとすると、いくつかの問題が発生しました。

write((1 to 4) | 4)

このエラーが発生します：

java.lang.IllegalArgumentException: [9.17] failure: `)' expected but ` ' found

一方、構文解析

write((1 to 4) & 4)

うまく動作します。orexpパーサーをfromtoパーサーの上のexpグループに移動すると、最初の式は正常に機能します。ただし、これはIconによって指定されたルールに準拠しておらず、根本的な問題を解決しません。

誰かが解決策のアイデアを持っていますか？Scalaのドキュメントによると、packratパーサーと通常のパーサーを混在させても問題ありません。

4

2 に答える 2

2

わかりました。Scalaのpackratパーサーに関する論文を読みましたが、この文法はそのままでは機能しないのではないかと思います。問題はfromTo、exp内部のようにwrite、そしてそれwrite自体が失敗することです（そして、他の選択肢がないので、外部expは失敗します）。それは決して戻って「まあ、また有効な別のものがあるかどうか見てみましょう」expと言うことはありません。

ただし、このテキストfromToを見ると、文法の一部として括弧が付いていることがわかりません。それらの括弧をそのレベルから削除するように単に書き直された場合、それは機能します：

object ExprParser extends JavaTokenParsers with PackratParsers{
  lazy val exp : PackratParser[expr] = andexp | exp2
  lazy val exp2 : PackratParser[expr] = fromTo | exp3
  lazy val exp3 :PackratParser[expr] = orexp | exp4 
  lazy val exp4 : PackratParser[expr] = integer | exp5
  lazy val exp5 : PackratParser[expr] = write | exp6
  lazy val exp6 : PackratParser[expr] = "(" ~> exp <~ ")"
  lazy val integer : PackratParser[expr] = wholeNumber ^^ { s => CstInt(s.toInt)}
  lazy val  write : PackratParser[Write] =  "write" ~> "(" ~> exp <~ ")" ^^ {  e => Write(e)}
  lazy val fromTo : PackratParser[FromTo] = integer ~ ("to" ~> integer) ^^ { case from ~ to => FromTo(from, to)}
  lazy val andexp : PackratParser[And] = exp ~ ("&" ~> exp) ^^ { case e1 ~ e2 => And(e1, e2)}
  lazy val orexp : PackratParser[Or] = exp3 ~ ("|" ~> exp) ^^ { case e1 ~ e2 => Or(e1, e2)}
}
于 2011-06-16T22:49:29.860 に答える
0

私はこれの第一人者ではありませんが、あなたの問題を解決するために、私は最初にあなたの表現を次のように1行にグループ化しました：

lazy val exp : PackratParser[expr] = (andexp | orexp | fromTo | integer | write)

そして、私はあなたが持っていた順序を変更しました-fromToはorexpの前にリストされていました。

今はうまくいくようです。

アンドレ

于 2011-06-18T17:13:43.813 に答える