Design by Contract(2)

@Invariant(exps={Exp.EQUAL}, values={"10.0"})
public int invaliantMethod(double d, int x) {
・・・
}
とこんな感じで書くと、CGLIBでうまいこと
チェックを入れるようにしてみた。

とりあえず、うまくいってるけど、
どうしても、String型と他の型の比較になるので、
そのへんをどうしようか・・・ 検討中。