Design by Contract(5)
ひとまず完成した。
DesignByContract_v0.1.zip
class Foo {
@Invariant(enableds={true, true})
@PreCondition(exps={"$1.doubleValue() == 10", "$2.intValue() > 0"})
@PostCondition(exps={"$1.doubleValue() == 10", "$2.intValue() > 0"})
int invaliantMethod(Double d, int x);
}