2

我正在dup illegal arguments exception输入以下代码。

package tests.kiama

import org.junit.runner.RunWith
import org.scalatest.FunSuite
import org.scalatest.junit.JUnitRunner
import org.kiama.rewriting.Rewriter._

@RunWith(classOf[JUnitRunner])
class KiamaRewrite extends FunSuite {
    test("test1") {
        abstract class E
        case class B(l: E, r: E) extends E
        case class P() extends E
        case class Q() extends E
        case class PP() extends E
        case class QQ() extends E

        val t = B(P(), Q())
        val d = rule {
            case P() => PP()
            case Q() => QQ()
        }

        val s = bottomup(d)(t)
        println("done")
    }
}

例外:

java.lang.RuntimeException: dup illegal arguments: public tests.kiama.KiamaRewrite$$anonfun$1$B$2(tests.kiama.KiamaRewrite$$anonfun$1,tests.kiama.KiamaRewrite$$anonfun$1$E$1,tests.kiama.KiamaRewrite$$anonfun$1$E$1) (PP(),QQ()), expects 3

我正在使用 kiama 图书馆。http://code.google.com/p/kiama/

4

1 回答 1

2

Kiamadup方法负责创建与现有实例相同类型的新实例。dup使用反射来查找构造函数并抱怨构造函数参数与给定的参数不匹配。在您的测试中,它试图创建一个B具有两个子节点的节点,但B构造函数具有三个参数,因为B它是KiamaRewrite.

Betc 类声明移出,KiamaRewrite测试通过。

于 2012-12-28T22:04:14.030 回答