add some proto tests

generator/src/main/java/fr/inria/diversify/transformation/AddMethodInvocation.java

@@ -27,8 +27,57 @@ public class AddMethodInvocation extends SingleTransformation {
     CtMethod parentMethod;
     CtInvocation aInv;
 
-    String jPos, jType, jSC;
     boolean jStatic;
+    String jPos, jType, jSC;
+
+    public CtStatement getTryInv() {
+        return tryInv;
+    }
+
+    public CtStatement getTp() {
+        return tp;
+    }
+
+    public CtField getWell() {
+        return well;
+    }
+
+    public CtClass getParentClass() {
+        return parentClass;
+    }
+
+    public CtMethod getParentMethod() {
+        return parentMethod;
+    }
+
+    public CtInvocation getaInv() {
+        return aInv;
+    }
+
+    public boolean isjStatic() {
+        return jStatic;
+    }
+
+    public String getjPos() {
+        return jPos;
+    }
+
+    public String getjType() {
+        return jType;
+    }
+
+    public String getjSC() {
+        return jSC;
+    }
+
+    public boolean isInsertIsStatic() {
+        return insertIsStatic;
+    }
+
+    public CtStatement getInvocation() {
+
+        return invocation;
+    }
 
     public AddMethodInvocation(CtStatement tp, CtStatement invocation) {
         System.out.println("tp: " + tp);

generator/src/test/java/fr/inria/diversify/transformation/query/AddMethodInvocationQuerryTest.java

@@ -0,0 +1,68 @@
+package fr.inria.diversify.transformation.query;
+
+import fr.inria.diversify.runner.InputConfiguration;
+import fr.inria.diversify.runner.InputProgram;
+import fr.inria.diversify.transformation.AddMethodInvocation;
+import fr.inria.diversify.util.InitUtils;
+import org.junit.Test;
+
+import java.io.File;
+import java.io.FileInputStream;
+
+import static org.junit.Assert.*;
+
+/**
+ * Created by nharrand on 23/01/17.
+ */
+public class AddMethodInvocationQuerryTest {
+
+    InputProgram inputProgram;
+
+    public void setUp(boolean isStatic, boolean isInternal) {
+        try {
+            FileInputStream propertiesFile = new FileInputStream(new File("src/test/resources/jDummy/addMI/addMI_"
+                    + (isStatic ? "s" : "ns") + "_" + (isInternal ? "i" : "e") + ".properties"));
+            InputConfiguration inputConfiguration = new InputConfiguration(propertiesFile);
+
+            inputProgram = InitUtils.initInputProgram(inputConfiguration);
+
+            InitUtils.initSpoon(inputProgram, false);
+        } catch (Exception e) {
+            e.printStackTrace();
+        }
+    }
+
+    public static boolean containsString(Iterable<String> s, String v) {
+        for(String str : s) {
+            if(str.compareTo(v) == 0) return true;
+        }
+        return false;
+    }
+
+    @Test
+    public void query() throws Exception {
+        setUp(true, true);
+        AddMethodInvocationQuerry q = new AddMethodInvocationQuerry(inputProgram);
+
+        while(q.hasNextTransformation()) {
+            AddMethodInvocation t = (AddMethodInvocation) q.query();
+            //assertTrue(t.isjStatic());
+        }
+
+
+        setUp(true, false);
+        q = new AddMethodInvocationQuerry(inputProgram);
+
+        while(q.hasNextTransformation()) {
+            AddMethodInvocation t = (AddMethodInvocation) q.query();
+            assertTrue(t.isjStatic());
+        }
+
+    }
+
+    @Test
+    public void hasNextTransformation() throws Exception {
+
+    }
+
+}

generator/src/test/java/fr/inria/diversify/transformation/query/LoopFlipQueryTest.java

@@ -29,7 +29,7 @@ public class LoopFlipQueryTest {
     @Before
     public void setUp() {
         try {
-            FileInputStream propertiesFile = new FileInputStream(new File("src/test/resources/jDummy/loopflip.properties"));
+            FileInputStream propertiesFile = new FileInputStream(new File("src/test/resources/jDummy/loopflip/loopflip.properties"));
             InputConfiguration inputConfiguration = new InputConfiguration(propertiesFile);
 
             inputProgram = InitUtils.initInputProgram(inputConfiguration);

generator/src/test/resources/jDummy/addMI/addMI_ns_e.properties

@@ -0,0 +1,15 @@
+project=src/test/resources/jDummy/addMI/
+javaVersion=8
+nbRun=2
+timeOut=-1
+runner=simple
+transformation.type=addMI
+
+addmi.internalMethods=false
+addmi.externalMethods=true
+addmi.staticMethods=false
+addmi.nonstaticMethods=true
+addmi.dumpMethodsAfterSuccess=false
+addmi.shuffleCandidate=false
+addmi.shuffleMethods=false
+

generator/src/test/resources/jDummy/addMI/addMI_ns_i.properties

@@ -0,0 +1,15 @@
+project=src/test/resources/jDummy/addMI/
+javaVersion=8
+nbRun=2
+timeOut=-1
+runner=simple
+transformation.type=addMI
+
+addmi.internalMethods=true
+addmi.externalMethods=false
+addmi.staticMethods=false
+addmi.nonstaticMethods=true
+addmi.dumpMethodsAfterSuccess=false
+addmi.shuffleCandidate=false
+addmi.shuffleMethods=false
+

generator/src/test/resources/jDummy/addMI/addMI_s_e.properties

@@ -0,0 +1,15 @@
+project=src/test/resources/jDummy/addMI/
+javaVersion=8
+nbRun=2
+timeOut=-1
+runner=simple
+transformation.type=addMI
+
+addmi.internalMethods=false
+addmi.externalMethods=true
+addmi.staticMethods=true
+addmi.nonstaticMethods=false
+addmi.dumpMethodsAfterSuccess=false
+addmi.shuffleCandidate=false
+addmi.shuffleMethods=false
+

generator/src/test/resources/jDummy/addMI/addMI_s_i.properties

@@ -0,0 +1,15 @@
+project=src/test/resources/jDummy/addMI/
+javaVersion=8
+nbRun=2
+timeOut=-1
+runner=simple
+transformation.type=addMI
+
+addmi.internalMethods=true
+addmi.externalMethods=false
+addmi.staticMethods=true
+addmi.nonstaticMethods=false
+addmi.dumpMethodsAfterSuccess=false
+addmi.shuffleCandidate=false
+addmi.shuffleMethods=false
+

generator/src/test/resources/jDummy/addMI/src/main/java/inria/A.java

@@ -0,0 +1,66 @@
+package inria;
+
+
+
+/**
+ * Hello world!
+ *
+ */
+public class A
+{
+    public byte b;
+    public short s;
+    public int i;
+    public long l;
+    public float f;
+    public double d;
+    public char c;
+    public boolean bo;
+
+    public A(byte b, short s, int i, long l, float f, double d, char c, boolean bo) {
+        this.b = b;
+        this.s = s;
+        this.i = i;
+        this.l = l;
+        this.f  = f;
+        this.d = d;
+        this.c = c;
+        this.bo = bo;
+    }
+
+    public static void printHello() {
+        System.out.println("Hello");
+    }
+
+    public static A clone(A a) {
+        A res = new A(a.b,a.s,a.i,a.l,a.f,a.d,a.c,a.bo);
+        return res;
+    }
+
+    public int getI() {
+        return i;
+    }
+
+    public int addI(int a) {
+        return  a + i;
+    }
+
+    public void print() {
+        System.out.println("A: " + this.toString());
+    }
+
+    public void addA(A a) {
+        this.b = a.b;
+        this.s = a.s;
+        this.i = a.i;
+        this.l = a.l;
+        this.f = a.f;
+        this.d = a.d;
+        this.c = a.c;
+        this.bo = a.bo;
+    }
+
+    public void addB(B b) {
+        this.i += b.getI();
+    }
+}

generator/src/test/resources/jDummy/addMI/src/main/java/inria/App.java

@@ -0,0 +1,73 @@
+package inria;
+
+
+
+/**
+ * Hello world!
+ *
+ */
+public class App 
+{
+    public static void main( String[] args ) {
+
+        System.out.println("0: ");
+        A a = new A((byte) 0, (short) 0, (int) 0, (long) 0, (float) 0.0, (double) 0.0, '0', false);
+        B b = new B(a);
+        A ab = b.ba(a);
+        ab.print();
+        System.out.println("1: " + loops());
+        System.out.println("2: " + conditions(15));
+    }
+
+    public static int loops(){
+        int s = 0;
+        for(int i = 0 ; 5 >= i; i = i + 1) {
+            s += i;
+        }
+
+        int[] array = {1,2,3,4,5};
+        for(int i : array) {
+            s += i;
+        }
+
+        int i = 0;
+        while(i < 5) {
+            s += i;
+            i++;
+        }
+
+        i = 0;
+        do {
+            s += i;
+            i++;
+        } while (i < 5);
+        return s;
+    }
+
+    public static int conditions(int i) {
+        int r;
+        if((i % 3) == 0) {
+            r = 100;
+        } else {
+            r = 200;
+        }
+        if((i % 3) == 0) {
+            r += 10;
+        } else if ((i % 3) == 0) {
+            r += 20;
+        } else {
+            r += 30;
+        }
+        switch(i % 3) {
+            case 0:
+                r += 1;
+                break;
+            case 1:
+                r += 2;
+                break;
+            default:
+                r += 3;
+        }
+        return r;
+    }
+}

generator/src/test/resources/jDummy/addMI/src/main/java/inria/B.java

@@ -0,0 +1,19 @@
+package inria;
+
+/**
+ * Created by nharrand on 23/11/16.
+ */
+public class B {
+    int i;
+    public B(A a) {
+        this.i = a.i;
+    }
+
+    public A ba(A a) {
+        return new A(a.b,a.s,a.i,a.l,a.f,a.d,a.c,a.bo);
+    }
+
+    public int getI() {
+        return i;
+    }
+}

generator/src/test/resources/jDummy/loopflip.properties → generator/src/test/resources/jDummy/loopflip/loopflip.properties

@@ -1,4 +1,4 @@
-project=src/test/resources/jDummy
+project=src/test/resources/jDummy/loopflip/
 javaVersion=8
 nbRun=2
 timeOut=-1

generator/src/test/resources/jDummy/loopflip/pom.xml

@@ -0,0 +1,27 @@
+<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
+  xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
+  <modelVersion>4.0.0</modelVersion>
+
+  <groupId>inria</groupId>
+  <artifactId>java-dummy</artifactId>
+  <version>1.0-SNAPSHOT</version>
+  <packaging>jar</packaging>
+
+  <name>java-dummy</name>
+  <url>http://maven.apache.org</url>
+
+  <properties>
+    <maven.compiler.source>1.8</maven.compiler.source>
+    <maven.compiler.target>1.8</maven.compiler.target>
+    <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
+  </properties>
+
+  <dependencies>
+    <dependency>
+      <groupId>junit</groupId>
+      <artifactId>junit</artifactId>
+      <version>3.8.1</version>
+      <scope>test</scope>
+    </dependency>
+  </dependencies>
+</project>