@@ -0,0 +1,752 @@
+package yokohama.unit.translator;%0D%0A%0D%0Aimport groovy.lang.Binding;%0D%0Aimport groovy.lang.GroovyShell;%0D%0Aimport static org.junit.Assert.assertEquals;%0D%0Aimport org.junit.Test;%0D%0A%0D%0Apublic class GroovyContract implements Contract %7B%0D%0A    @Override%0D%0A    public void assertSatisfied(Object obj, String condition) %7B%0D%0A        Binding binding = new Binding();%0D%0A        GroovyShell shell = new GroovyShell(binding);%0D%0A        binding.setVariable(%22obj%22, obj);%0D%0A        binding.setVariable(%22invariant%22, shell.evaluate(condition));%0D%0A        Object result = shell.evaluate(%22invariant(obj)%22);%0D%0A        assertEquals(condition, true, result);%0D%0A    %7D%0D%0A    %0D%0A    @Test%0D%0A    public void test() %7B%0D%0A        assertSatisfied(%22helloworld%22, %22(%7B it.startsWith(%5C%22hello%5C%22) %7D)%22);%0D%0A    %7D%0D%0A%7D%0D%0A

Add GroovyContract class