凯马:重复非法参数例外

时间:2012-12-28 14:46:15

标签: scala

我在以下代码中收到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/

1 个答案:

答案 0 :(得分:2)

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

B等类声明移出KiamaRewrite并通过测试。