@@ -0,0 +1,638 @@
+package yokohama.unit.contract;%0D%0A%0D%0Aimport org.junit.Test;%0D%0Aimport yokohama.unit.annotations.Invariant;%0D%0A%0D%0Apublic class GroovyContractTest %7B%0D%0A    @Test%0D%0A    public void test() %7B%0D%0A        @Invariant(%22(%7B it.count %3E= 0 %7D)%22)%0D%0A        class Counter %7B%0D%0A            private int count = 0;%0D%0A            public int getCount() %7B%0D%0A                return count;%0D%0A            %7D%0D%0A            public void incr() %7B%0D%0A                count++;%0D%0A            %7D%0D%0A        %7D%0D%0A        Counter counter = new Counter();%0D%0A        new GroovyContract().assertSatisfied(counter);%0D%0A        counter.incr();%0D%0A        new GroovyContract().assertSatisfied(counter);%0D%0A    %7D%0D%0A%7D

Add GroovyContractTest