maskatプロジェクトでは正式発表はされていませんが、JavaEEフレームワークが採用されそうな勢いです。先に公開したプラグインとあわせてmaskatプロジェクトへ寄贈したので、そのうち公開されると思います。現行の最新版は↓maksat JavaEE フレームワークhttp…

@Invariant(exps={Exp.EQUAL}, values={"10.0"})public int invaliantMethod(double d, int x) {・・・}とこんな感じで書くと、CGLIBでうまいことチェックを入れるようにしてみた。とりあえず、うまくいってるけど、どうしても、String型と他の型の比較にな…