ひとまず完成した。DesignByContract_v0.1.zipclass Foo { @Invariant(enableds={true, true}) @PreCondition(exps={"$1.doubleValue() == 10", "$2.intValue() > 0"}) @PostCondition(exps={"$1.doubleValue() == 10", "$2.intValue() > 0"}) int invaliant…